The korrigan environment

Journal of Universal Computer Science

Volumn 7, Issue 1, 2001, Pages 19-36

  Choppy, Christine ^a   Poizat, Pascal ^b   Royer, Jean Claude ^b  

^a UNIVERSITÉ PARIS 13   (France)

^b UNIVERSITÉ DE NANTES   (France)

Author keywords

Computer Aided Software Engineering; Software Libraries

Indexed keywords

EID: 0007933043     PISSN: 0958695X     EISSN: None     Source Type: Journal    
DOI: None     Document Type: Article

References (35)

1. [All00] Michel Allemand. Verification of properties involving logical and physical timing features. In Génie Logiciel & Ingénierie de Systèmes & leurs Applications, ICSSEA'2000, December 2000.
2. [AR99] Pascal André and Jean-Claude Royer. An Algebraic Approach to the Specification of Heterogeneous Software Systems. In 14th Workshop on Algebraic Development Techniques, Bonas, Prance, September 1999.
3. [Ayc98] John Aycock. Compiling Little Languages in Python. In 7th International Python Conference, Houston, Texas, November 1998. www.foretec.com/python/workshops/1998-11/proceedings.html.
4. [BB88] Tommaso Bolognesi and Ed. Brinksma. Introduction to the ISO Specification Language LOTOS. Computer Networks and ISDN Systems, 14(1):25-29, 1988.
5. [BGGK97] Robert Büssow, Robert Geisler, Wolfgang Grieskamp, and Marcus Klar. The μSZ Notation Version 1.0. Technical Report 97-26, TU Berlin, FB 13, 1997.
6. [BHS91] Ferenc Belina, Dieter Hogrefe, and Amardeo Sarma. SDL with Applications from Protocol Specification. The BCS Practitioner. Prentice Hall, 1991.
7. +98] P. Borovansky, C. Kirchner, H. Kirchner, P.E. Moreau, and C. Ringeissen. An Overview of ELAN. In In C. and H. Kirchner, editors, 2nd International Workshop on Rewriting Logic and its Applications, WRLA'98, volume 15. Elsevier Science B. V., 1998. http://www.elsevier.nl/locate/entcs/volume15.html.
8. [CASL99] The CoFI Task Group on Language Design. CASL The Common Algebraic Specification Language Summary. Version 1.0. Technical report, 1999. http://www.bricks.dk/Projects/CoFI/Documents/CASL/Summary/.
9. [Con99] UML Consortium. The OMG Unified Modeling Language Specification, Version 1.3. Technical report, June 1999. ftp://ftp.omg.org/pub/docs/ad/99-06-08.pdf.
10. [CPR99] Christine Choppy, Pascal Poizat, and Jean-Claude Royer. From Informal Requirements to COOP: a Concurrent Automata Approach. In J.M. Wing and J. Woodcock and J. Davies, editor, FM'99 - Formal Methods, World Congress on Formal Methods in the Development of Computing Systems, volume 1709 of Lecture Notes in Computer Science, pages 939-962. Springer-Verlag, 1999.
11. [CPR00a] Christine Choppy, Pascal Poizat, and Jean-Claude Royer. A Global Semantics for Views. In T. Rus, editor, International Conference on Algebraic Methodology And Software Technology, AMAST'2000, volume 1816 of Lecture Notes in Computer Science, pages 165-180. Springer Verlag, 2000.
12. [CPR00b] Christine Choppy, Pascal Poizat, and Jean-Claude Royer. Specification of Mixed Systems in KORRIGAN with the Support of an UML-Inspired Graphical Notation. Technical report, IRIN, November 2000. submitted to FASE'2001.
13. [GG89] Stephan Garland and John Guttag. An overview of LP, the Larch Prover. In Proc. of the 3rd International Conference on Rewriting Techniques and Applications, volume 355 of Lecture Notes in Computer Science. Springer-Verlag, 1989.
14. [GHD98] Wolfgang Grieskamp, Maritta Heisel, and Heiko Dörr. Specifying Embedded Systems with Statecharts and Z: An Agenda for Cyclic Software Components. In Egidio Astesiano, editor, FASE'98, volume 1382 of Lecture Notes in Computer Science, pages 88-106. Springer Verlag, 1998.
15. +97] Hubert Garavel, Mark Jorgensen, Radu Mateescu, Charles Pécheur, Mihaela Sighireanu, , and Bruno Vivien. CADP'97 - Status, Applications, and Perspectives. In Proceedings of the 2nd COST 247 International Workshop on Applied Formal Methods in System Design, June 1997.
16. [GJS96] Gosling, Joy, and Steele. The Java Language Specification. Addison Wesley, 1996.
17. [Har88] David Harel. On Visual Formalisms. Communications of the ACM, 31(5):514-530, 1988.
18. [HL95] M. Hennessy and H. Lin. Symbolic Bisimulations. Theoretical Computer Science, 138(2):353-389, 1995.
19. +90] David Harel, Hagi Lachover, Ammon Naamad, Amir Pnueli, Michal Politi, Rivi Sherman, Aharon Shtull-Trauring, and Mark Trakhtenbrot. STATEMATE: A Working Environment for the Development of Complex Reactive Systems. IEEE Transactions on Software Engineering, 16(3):403-414, 1990.
20. [KT97] Carron Kirkwood and Muffy Thomas. Towards a Symbolic Modal Logic for LOTOS. In Northern Formal Methods Workshop NFM'96, eWIC, 1997.
21. [Lig91] D. Lightfoot. Formal Specification using Z. Macmillan, 1991.
22. [Lut96] Mark Lutz. Programming Python. O'Reilly & Associates, 1996.
23. [MHSA99] Juan M. Murillo, Juan Hernández, Fernando Sánchez, and Luis A. Alvarez. Coordinated Roles: Promoting Re-usability of Coordinated Active Objects Using Event Notification Protocols. In Paolo Ciancarini and Alexander L. Wolf, editors, 3rd International Conference, COORDINATION'99, volume 1594 of Lecture Notes in Computer Science. Springer-Verlag, 1999.
24. [MKB97] Till Mossakowski and Bernd Krieg-Brückner. Static semantic analysis and theorem proving for Casl. In 12th Workshop on Algebraic Development Techniques, volume 1376 of Lecture Notes in Computer Science, pages 333-348. Springer Verlag, 1997.
25. [Mos97] P. D. Mosses. CoFI: The Common Framework Initiative for Algebraic Specifiation and Development. In M. Bidoit and M. Dauchet, editors, Proc. TAPSOFT'97, number 1214 in Lecture Notes in Computer Science, Berlin, 1997. Springer Verlag.
26. +96] S. Owre, S. Rajan, J.M. Rushby, N. Shankar, and M.K. Srivas. PVS: Combining specification, proof checking, and model checking. In Rajeev Alur and Thomas A. Henzinger, editors, Computer-Aided Verification, CAV '96, volume 1102 of Lecture Notes in Computer Science, pages 411-414. Springer-Verlag, 1996.
27. [PCR99] Pascal Poizat, Christine Choppy, and Jean-Claude Royer. Concurrency and Data Types: a Specification Method. An Example with LOTOS. In J. Fiadero, editor, Recent Trends in Algebraic Development Techniques, Selected Papers of the 13th Workshop on Algebraic Development Techniques, WADT'98, volume 1589 of Lecture Notes in Computer Science, pages 276-291. Springer-Verlag, 1999.
28. [Poi00] Pascal Poizat. Korrigan : un formalisme et une méthode pour la spécification formelle et structurée de systèmes mixtes. PhD thesis, Université de Nantes, November 2000.
29. [RAC99] G. Reggio, E. Astesiano, and C. Choppy. CASL-LTL: A CASL Extension for Dynamic Reactive Systems - Summary. Technical Report DISI-TR-99-34, DISI - Università di Genova, Italy, 1999. ftp://ftp.disi.unige.it/person/ReggioG/ReggioEtAll99a.ps.
30. [Rei95] Wolfgang Reif. The KIV-approach to Software Verification. In M. Broy and S. Jahnichen, editors, KORSO: Methods, Languages, and Tools for the Construction of Correct Software - Final Report, volume 1009 of Lecture Notes in Computer Science. Springer Verlag, 1995.
31. [RH97] J. Rathke and M. Hennessy. Local Model Checking for Value-Passing Processes (Extended Abstract). In Martín Abadi and Takayasu Ito, editors, 3rd International Symposium on Theoretical Aspects of Computer Software TACS'97, volume 1281 of Lecture Notes in Computer Science, pages 250-266. Springer Verlag, 1997.
32. [Roy01] Jean-Claude Royer. An Operational Approach to the Semantics of Classes: Application to Type Checking. Programming and Computer Software, to appear 2001. ISSN 0361-7688.
33. [RR00] G. Reggio and L. Repetto. CASL-Chart : A Combination of Statecharts and of the Algebraic Specification Language CASL. In T. Rus, editor, International Conference on Algebraic Methodology And Software Technology, AMAST'2000, volume 1816 of Lecture Notes in Computer Science, pages 243-257. Springer Verlag, 2000.
34. [SNW93] Vladimiro Sassone, Mogens Nielsen, and Glynn Winskel. A Classification of Models for Concurrency. In Proceedings of Fourth International Conference on Co ncurrency Theory, CONCUR'93, volume 715 of Lecture Notes in Computer Science, pages 82-96. Springer Verlag, 1993.
35. [Str87] Bjarne Stroustrup. The C++ Programming Language. Addison-Wesley, 1987.