Your SlideShare is downloading. ×
Laquso Shared
Upcoming SlideShare
Loading in...5
×

Thanks for flagging this SlideShare!

Oops! An error has occurred.

×
Saving this for later? Get the SlideShare app to save on your phone or tablet. Read anywhere, anytime – even offline.
Text the download link to your phone
Standard text messaging rates apply

Laquso Shared

279

Published on

Published in: Technology, Business
0 Comments
0 Likes
Statistics
Notes
  • Be the first to comment

  • Be the first to like this

No Downloads
Views
Total Views
279
On Slideshare
0
From Embeds
0
Number of Embeds
0
Actions
Shares
0
Downloads
1
Comments
0
Likes
0
Embeds 0
No embeds

Report content
Flagged as inappropriate Flag as inappropriate
Flag as inappropriate

Select your reason for flagging this presentation as inappropriate.

Cancel
No notes for slide

Transcript

  • 1. LaQuSo Laboratory for Quality Software
  • 2. Goals
    • Support of relevant ICT research
    • Validation of academic results
    • Valorization of academic results
  • 3. Collaborative Effort
    • Dept. of Mathematics and Computer Science
    • Information Systems
      • EG Databases & Hypermedia
      • EG Architecture of Information Systems
    • Specification and Verification
      • EG Formal Methods
      • EG Analysis and Design of Systems
    • Software and Systems Engineering
      • EG Software Engineering and Technology
      • EG Systems Architecture and Networking
      • EG Embedded Systems Security
    • Algorithms and Visualization
      • EG Algorithms
      • EG Visualization
    • Inst. for Computing and Information Sciences
    • Digital Security
    • Information and Knowledge Systems
    • Informatics for Technical Applications
    • Software Technology
    • Foundations
  • 4. Organization
  • 5. Organization prof. dr. ir. J.F. Groote HG 6.29 dr. J.I. den Hartog dr. A.O.D. Spiesens HG 5.95 dr. ir. I. Barosan HG 8.61
  • 6. Organization
  • 7.
    • Code Analysis
    • Process Mining
    • Security Analysis
    • Systems Modeling
    Focus
  • 8. PROCESS ANALYSIS / PROCESS MINING
    • Beyond Business Intelligence
  • 9. Process Mining
  • 10. Process Mining
  • 11.
    • Basic Performance Metrics
    • Process Model
    • Organizational Model
    • Social Network Model
    • Decision Point Analysis
    • Auditing & Security
    Process Mining
  • 12. Process Mining Specification Log Conformance check
  • 13. Process Mining
  • 14. Process Mining
  • 15. CODE ANALYSIS / CODE MINING
    • Dependencies, Metrics, Behavior
  • 16. Code Analysis Mining Software Code Base Data Report SQUAVISIT
    • Cobol
    • Java
    • C++, C#, C
    • PL/SQL
    • ABAP (SAP)
  • 17. Code Analysis code structure visualization
  • 18. Code Analysis metrics visualization
  • 19. Code Analysis code clone detection
  • 20. Code Analysis static structure – hierarchical dependencies
  • 21. Code Analysis static structure – cross dependencies
  • 22. Code Analysis static structure – cross dependencies call graph execution trace
  • 23. Code Analysis static structure – cross dependencies
  • 24. Code Analysis static structure – cross dependencies
  • 25. Code Analysis
  • 26. Code Evolution Analysis code evolution visualization
  • 27. Code Evolution Analysis code evolution visualization
  • 28. Code Evolution Analysis code evolution visualization
  • 29. Model Analysis design metrics visualization
  • 30. Model Analysis design metrics visualization
  • 31. Model Analysis architectural regions of interest
  • 32. Model Analysis architectural regions of interest
  • 33.  
  • 34.  
  • 35. Code Analysis
  • 36. multivariate graphs
  • 37. SECURITY ANALYSIS
    • Modeling and verification of security properties
  • 38. SYSTEMS MODELING
    • Modeling and verification of communicating systems
  • 39. Systems Modeling self organizing directed graph
  • 40. Systems Modeling state space as 3D tree of clusters and states
  • 41. Systems Modeling state space as 3D tree of clusters and states In particular for determining symmetries
  • 42. Systems Modeling graph of clusters of states
  • 43. Visiting Address: TU/e campus, Hoofdgebouw 5.91 Den Dolech 2, Eindhoven Mailing Address: HG 5.91 Postbus 513 5600 MB Eindhoven Telephone: 040-2472526 Fax: 040-2474252 Email: [email_address] Web Site: www.laquso.com

×