Introducing formal specification methods in industrial practice

Proceedings - International Conference on Software Engineering

Volumn , Issue , 1997, Pages 56-66

  Baresi, Luciano ^a   Orso, Alessandro ^a   Pezze, Mauro ^a  

^a POLITECNICO DI MILANO   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER HARDWARE DESCRIPTION LANGUAGES; FORMAL LANGUAGES; FORMAL LOGIC; INDUSTRIAL APPLICATIONS; COMPUTER AIDED SOFTWARE ENGINEERING;

FORMAL SPECIFICATIONS;

COMPUTER AIDED SOFTWARE ENGINEERING; FORMAL LANGUAGES;

FORMAL SPECIFICATION METHODS; SPECIFICATION NOTATIONS;

EID: 0030615494     PISSN: 02705257     EISSN: None     Source Type: None    
DOI: 10.1109/ICSE.1997.610206     Document Type: Conference Paper

References (39)

1. M. Andries G. Engels J. Rekers How to Represent a Visual Program? Proceedings of International Workshop on Theory of Visual Languages Proceedings of International Workshop on Theory of Visual Languages 1996-June
2. L. Baresi Formal Customization of Graphical Notations 1997 Politecnico di Milano
3. L. Baresi V. Braberman M. Felder M. Pezzè F. Pieniazek A Practical Approach to Formal Design of Real-Time Systems Proceedings of the 1996 IEEE International Conference on Systems, Man and Cybernetics 1014 1019 Proceedings of the 1996 IEEE International Conference on Systems, Man and Cybernetics 1996-October
4. H. Bunke Graph-Grammars and Their Application to Computer Science and Biology 73 155 166 1979 Springer-Verlag Programmed Graph Grammars
5. S. C. Choi W. Scacchi SOFTMAN: An Environment for Forward and Reverse Computer-Aided Software Engineering Information and Software Technology 33 9 664 674 Nov. 1991
6. F. Denna A. Re Specifica e Verifica Formale di Processi Clinici June 1996 Politecnico di Milano Italy, Milano
7. CDIF Family of Standards 1994
8. M. Felder C. Ghezzi M. Pezzè High-Level Timed Petri Nets as a Kernel for Executable Specifications Journal of Real-Time Systems 5 2/3 249 272 May 1993
9. K. Finney Mathematical Notation in Formal Specification: Too Difficult for the Masses? IEEE Transactions on Software Engineering 9 6 733 744 1996
10. J. Fischer E. Dimitrov Verification of SDL Protocol Specifications Using Extended Petri Nets In Proceedings of the Workshop on Petri Nets and Protocols of the 16th International Conference on Application and Theory of Petri Nets 1 12 In Proceedings of the Workshop on Petri Nets and Protocols of the 16th International Conference on Application and Theory of Petri Nets 1995
11. R. B. France Semantically Extended Data Flow Diagrams: A Formal Specification Tool IEEE Transactions on Software Engineering 18 4 329 346 1992
12. S. Gerhart D. Craigen T. Ralston Experience with Formal Methods in Critical Systems IEEE Software 11 1 21 28 Jan. 1994
13. C. Ghezzi D. Mandrioli S. Morasca M. Pezzè A Unified High-Level Petri Net Model For Time-Critical Systems IEEE Transactions on Software Engineering 17 2 160 172 Feb. 1991
14. H. Göttler Graph Grammars and Their Application to Computer Science 153 130 142 1983 Springer-Verlag Attribute Graph Grammars for Graphics
15. R. W. Gray V. P. Heuring S. P. Levi A. M. Sloane W. M. Waite Eli: A Complete, Flexible Compiler Construction System Communications of the ACM 35 121 131 Feb. 1992
16. D. Harel Statecharts: A Visual Formalism for Complex Systems Science of Computer Programming 8 1987
17. D. J. Hatley I. A. Pirbhai Strategies for Real-Time System Specification 1987 Dorset House New York
18. M. Hinchey J. Bowen Pretice-Hall International Series in Computer Science 1995 Prentice-Hall Applications of Formal Methods
19. Structure Environment Feb. 1994 Using the StP/SE Editors Interactive Development Environments
20. A. S. Karrer W. Scacchi Meta-Environments for Software Production Dec. 1994 University of Southern California, Atrium Laboratory
21. ObjectMaker User's Guide 1994 Mark V Systems
22. S. Matsuoka S. Takahashi T. Kanada A. Yonezawa A General Framework for Bidirectional Translation between Abstract and Pictorial Data ACM Transactions on Information Systems 10 4 408 437 1992
23. M. Nagl Graph Grammars and their Application to Computer Science and Biology 73 70 126 1979 Springer-Verlag A Tutorial and Bibliographical Survey on Graph Grammars
24. C. Niskier T. Maibaum D. Schwabe A Look Through PRISMA: Towards Pluralistic Knowledge-Based Environments Proceedings of the fifth International Workshop on Software Specification and Design Proceedings of the fifth International Workshop on Software Specification and Design 1989-May
25. D. Notkin The GANDALF Project Journal of Systems and Software 5 5 91 105 May 1985
26. B. Nuseibeh J. Kramer A. Finkelstein A Framework for Expressing the Relationships Between Multiple Views in Requirements Specification IEEE Transactions on Software Engineering Oct. 1994
27. J. K. Ousterhout Professional Computing Series 1993 Addison Wesley TCL and the TK Toolkit
28. S. Owre J. Rushby N. Shankar F. Von Henke Formal Verification for Fault-Tolerant Architectures: Prolegomena to the Design of PVS IEEE Transactions on Software Engineering 21 2 Feb. 1995
29. F. N. Paulish W. Tichy EDGE: An Extenible Graph Editor Software Practice and Experience 20 S1 June 1991
30. M. Pezzè Cabernet:A Customizable Environment for the Specification and Analysis of Real-Time Systems May 1994 Italy Dipartimento di Elettronica e Informazione, Politecnico di Milano
31. T. Reps T. Teitelbaum The Synthesizer Generator ACM SIGSOFT/SIGPLAN Software Engineering Symposium on Practical Software Development Environments ACM SIGSOFT/SIGPLAN Software Engineering Symposium on Practical Software Development Environments 1984-Apr.
32. G. Rozenberg E. Welzl Boundary NLC Graph Grammars — Basic Definitions, Normal Forms, and Complexity Information and Control 69 136 167 1986
33. H. Saiedian An Invitation to Formal Methods IEEE Computer 16 30 Apr. 1996
34. A. Schürr Specification of Graph Translators with Triple Graph Grammars Proceedings of the 20th International Workshop on Graph-Theoretic Concepts in Computer Science 904 151 163 Proceedings of the 20th International Workshop on Graph-Theoretic Concepts in Computer Science 1994
35. L. Shi P. Nixon An Improved Translation of SA/RT Specification Model to High-Level Timed Petri Nets Proceedings of Formal Methods Europe 96 1051 518 537 Proceedings of Formal Methods Europe 96 1996-Mar.
36. K. Smolander P. Marttiin K. Lyytinen V. P. Tahvanainen MetaEdit-A Flexible Graphical Environment for Methodology Modelling Advanced Information Systems Engineering 168 193 1991
37. A. van Lamsweerde B. Delcourt E. Delor M. C. Schayes R. Champagne Generic Lifecycle Support in the ALMA Environment IEEE Transactions on Software Engineering 14 6 720 741 June 1988
38. Y. Yamamoto An Approach to the Generation of Software Life-Cycle Support Systems 1981 University of Michigan
39. P. Zave M. Jackson Where Do Operations Come From? A Multiparadigm Specification Technique IEEE Transactions on Software Engineering 22 7 508 528 1996