A toolbox for automating visual software engineering

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 2306, Issue , 2002, Pages 189-202

  Baresi, Luciano ^a   Pezzè, Mauro ^b  

^a POLITECNICO DI MILANO   (Italy)

^b UNIVERSITY OF MILANO BICOCCA   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

FORMAL LANGUAGES; FORMAL METHODS; SEMANTICS; SYNTACTICS;

CUSTOMIZABLE; DYNAMIC SEMANTIC; FORMAL MODEL; GRAPH GRAMMAR; KEY FACTORS; LARGE INDUSTRIAL APPLICATIONS; SOFTWARE SYSTEMS; SYNTACTIC MANIPULATION;

SOFTWARE ENGINEERING;

EID: 84958767631     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-45923-5_13     Document Type: Conference Paper

References (35)

1. M. Andries, G. Engels, and J. Rekers. How to Represent a Visual Program? In Proceedings of International Workshop on Theory of Visual Languages (1996).
2. Aonix. Structure Environment: Using the StP/SE Editors (1998).
3. R. Bardohl, M. Minas, A. Schuerr, and G. Taentzer. Application of graph transformation to visual languages. Handbook of Graph Grammars and Computing by Graph Transformation, volume II: Applications, Languages and Tools, pp. 105-180 (1999).
4. L. Baresi. Formal Customization of Graphical Notations. PhD thesis, Dipartimento di Elettronica e Informazione – Politecnico di Milano, 1997. in Italian.
5. L. Baresi, F. Consorti, M. Di Paola, A. Gargiulo, and M. Pezze. LEMMA: A Language for an Easy Medical Models Analysis. Journal of Medical Systems - Plenum Publishing Co., 21(6):369-388 (1997).
6. L. Baresi, A. Orso, and M. Pezze. Introducing Formal Methods in Industrial Practice. In Proceedings of the 20th International Conference on Software Engineering, pp. 56-66. ACM Press (1997).
7. L. Baresi and M. Pezze. On Formalizing UML with High-Level Petri Nets. In G. Agha and F. De Cindio (eds.) Concurrent Object-Oriented Programming and Petri Nets (a special volume in the Advances in Petri Nets series); 2001, pages 271-300. Volume 2001 of Lecture Notes in Computer Science.
8. L. Baresi and M. Pezze. A formal Definition of Structured Analysis with Programmable Graph Grammars. In Proceedings of AGTIVE99:, volume 1779 of Lecture notes in Computer Science, pages 193–208. Springer/Verlag, 1999.
9. G. Booch, J. Rumbaugh, and I. Jacobson. The Unified Modeling Language User Guide. The Addison-Wesley Object Technology Series (1998).
10. M. Burnett and Marla J. Baker. A Classification System for Visual Programming Languages. Journal of Visual Languages and Computing, pp. 287-300 (1994).
11. A. Caloini, G. Magnani, and M. Pezze. A Technique for Designing Robotic Control Software Based on Petri Nets. IEEE Transactions on Control Systems (1997).
12. CJ International. IsAGRAPH 3.3 Documentation (1999).
13. T. De Marco. Structured Analysis and System Specification. Prentice-Hall (1978).
14. O. Fargemand and A. Olsen. Introduction to SDL-92. Computer Networks and ISDN Systems, 26:1143-1167 (1994).
15. P. Findeisen. The Metaview System. Technical report, University of Alberta (Canada) (1994).
16. R. B. France and M. M. Larrondo-Petrie. From Structured Analysis to Formal Specifications: State of the Theory. In Proceedings of Computer Science Conference, pp. 249-256. ACM Press (1994).
17. J.A. Goguen and Luqi. Formal Methods and Social Context in Software Development. In 6th International Conference on Theory and Practice of Software Development (TAPSOFT’95), number 915 in Lecture Notes in Computer Science, pp. 62-81. Springer-Verlag, (invited talk), Aarhus (Denmark) (1995).
18. D. Harel and B. Rumpe. Modeling Languages: Syntax, Semantics and All That Stuff - Part I: The Basic Stuff. Faculty of Mathematics and Computer Science, The Weizmann Institute of Science, Israel, MCS00-16, September 2000.
19. D. J. Hatley and I. A. Pirbhai. Strategies for Real-Time System Specification. Dorset House, New York (1987).
20. Honeywell. Dome Extensions Manual (ver. 5.2.2) (1999).
21. IEC. Part 3: Programming Languages, IEC 1131-3. Technical report, International Electrotechnical Commission - Geneva (1993).
22. A. S. Karrer and W. Scacchi. Meta-Environments for Software Production. Technical report, University of Southern California, Atrium Laboratory (1994).
23. S. Kelly, K. Lyytinen, and M. Rossi. MetaEdit+ A Fully Configurable Multi-User and Multi- Tool CASE and CAME Environment. In Proceedings of CAiSE’96, volume 1080, pp. 1-21. Springer-Verlag, Lecture Notes in Computer Science (1996).
24. C. Kronlof, editor. Method Integration - Concepts and Case Studies. John Wiley & Sons (1993).
25. Lincoln Software Limited. What is a Meta-Tool? (white paper), see http://www.ipsys.com/mc-wp.htm.
26. Luqi. Real-time constraints in a rapid prototyping language. Computer Languages, 18(2):77-103 (1993).
27. T.S.E. Maibaum and B. Rumpe. Automated Software Engineering: Special Issue on Precise Semantics for Software Modeling Techniques Volume 7, Issue 1, Kluwer Academic Publishers, March 2000.
28. Mark V Systems. ObjectMaker User’s Guide (1997).
29. METACase Consulting. ABC To Metacase Technology. Technical report (1999).
30. M. Nagl. Set theoretic approaches to graph grammars. In H. Ehrig, M. Nagl, G. Rozenberg, and A. Rosenfeld, editors, Graph Grammars and Their Application to Computer Science, volume 291 of Lecture Notes in Computer Science, pp. 41-54. Springer-Verlag (1987).
31. M. Pezze. Cabernet: A Customizable Environment for the Specification and Analysis of Real- Time Systems. Technical report, Dipartimento di Elettronica e Informazione, Politecnico di Milano, Italy (1994).
32. Rational Software Corporation. Rational Rose 2001: User’s Manuals (2001).
33. S. Reiss. Connecting Tools using Message Passing in the FIELD Program Development Environment. IEEE Software, pp. 57-67 (1990).
34. J. Rekers and A. Schuerr. A Graph Based Framework for the Implementation of Visual Environments. In Proceedings of VL’96 12th International IEEE Symposium on Visual Languages. IEEE-CS Press (1996).
35. H. Saiedian. An Invitation to Formal Methods. IEEE Computer, pp. 16-30 (1996).