Laquso Shared

489 views
359 views

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
489
On SlideShare
0
From Embeds
0
Number of Embeds
8
Actions
Shares
0
Downloads
2
Comments
0
Likes
0
Embeds 0
No embeds

No notes for slide

Laquso Shared

  1. 1. LaQuSo Laboratory for Quality Software
  2. 2. Goals <ul><li>Support of relevant ICT research </li></ul><ul><li>Validation of academic results </li></ul><ul><li>Valorization of academic results </li></ul>
  3. 3. Collaborative Effort <ul><li>Dept. of Mathematics and Computer Science </li></ul><ul><li>Information Systems </li></ul><ul><ul><li>EG Databases & Hypermedia </li></ul></ul><ul><ul><li>EG Architecture of Information Systems </li></ul></ul><ul><li>Specification and Verification </li></ul><ul><ul><li>EG Formal Methods </li></ul></ul><ul><ul><li>EG Analysis and Design of Systems </li></ul></ul><ul><li>Software and Systems Engineering </li></ul><ul><ul><li>EG Software Engineering and Technology </li></ul></ul><ul><ul><li>EG Systems Architecture and Networking </li></ul></ul><ul><ul><li>EG Embedded Systems Security </li></ul></ul><ul><li>Algorithms and Visualization </li></ul><ul><ul><li>EG Algorithms </li></ul></ul><ul><ul><li>EG Visualization </li></ul></ul><ul><li>Inst. for Computing and Information Sciences </li></ul><ul><li>Digital Security </li></ul><ul><li>Information and Knowledge Systems </li></ul><ul><li>Informatics for Technical Applications </li></ul><ul><li>Software Technology </li></ul><ul><li>Foundations </li></ul>
  4. 4. Organization
  5. 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. 6. Organization
  7. 7. <ul><li>Code Analysis </li></ul><ul><li>Process Mining </li></ul><ul><li>Security Analysis </li></ul><ul><li>Systems Modeling </li></ul>Focus
  8. 8. PROCESS ANALYSIS / PROCESS MINING <ul><li>Beyond Business Intelligence </li></ul>
  9. 9. Process Mining
  10. 10. Process Mining
  11. 11. <ul><li>Basic Performance Metrics </li></ul><ul><li>Process Model </li></ul><ul><li>Organizational Model </li></ul><ul><li>Social Network Model </li></ul><ul><li>Decision Point Analysis </li></ul><ul><li>Auditing & Security </li></ul>Process Mining
  12. 12. Process Mining Specification Log Conformance check
  13. 13. Process Mining
  14. 14. Process Mining
  15. 15. CODE ANALYSIS / CODE MINING <ul><li>Dependencies, Metrics, Behavior </li></ul>
  16. 16. Code Analysis Mining Software Code Base Data Report SQUAVISIT <ul><li>Cobol </li></ul><ul><li>Java </li></ul><ul><li>C++, C#, C </li></ul><ul><li>PL/SQL </li></ul><ul><li>ABAP (SAP) </li></ul>
  17. 17. Code Analysis code structure visualization
  18. 18. Code Analysis metrics visualization
  19. 19. Code Analysis code clone detection
  20. 20. Code Analysis static structure – hierarchical dependencies
  21. 21. Code Analysis static structure – cross dependencies
  22. 22. Code Analysis static structure – cross dependencies call graph execution trace
  23. 23. Code Analysis static structure – cross dependencies
  24. 24. Code Analysis static structure – cross dependencies
  25. 25. Code Analysis
  26. 26. Code Evolution Analysis code evolution visualization
  27. 27. Code Evolution Analysis code evolution visualization
  28. 28. Code Evolution Analysis code evolution visualization
  29. 29. Model Analysis design metrics visualization
  30. 30. Model Analysis design metrics visualization
  31. 31. Model Analysis architectural regions of interest
  32. 32. Model Analysis architectural regions of interest
  33. 35. Code Analysis
  34. 36. multivariate graphs
  35. 37. SECURITY ANALYSIS <ul><li>Modeling and verification of security properties </li></ul>
  36. 38. SYSTEMS MODELING <ul><li>Modeling and verification of communicating systems </li></ul>
  37. 39. Systems Modeling self organizing directed graph
  38. 40. Systems Modeling state space as 3D tree of clusters and states
  39. 41. Systems Modeling state space as 3D tree of clusters and states In particular for determining symmetries
  40. 42. Systems Modeling graph of clusters of states
  41. 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

×