Using CASL to specify the requirements and the design: A problem specific approach

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

Volumn 1827, Issue , 2000, Pages 106-126

  Choppy, Christine ^a   Reggio, Gianna ^b  

^a UNIVERSITÉ PARIS 13   (France)

^b UNIVERSITY OF GENOA   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

ALGEBRA; INFORMATION SYSTEMS; INFORMATION USE; REUSABILITY;

CASE-STUDIES; CONTROL FRAMES; INVOICE SYSTEMS; PROBLEM FRAMES; REACTIVE SYSTEM; SPECIFIC CLASS; SPECIFICATION AND DESIGNS; SYSTEM SPECIFICATION;

SPECIFICATIONS;

EID: 84947204880     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-44616-3_7     Document Type: Conference Paper

References (16)

1. M. Allemand, C. Attiogbe, and H. Habrias, editors. Proc. of Int. Workshop “Comparing Specification Techniques: What Questions Are Prompted by Ones Particular Method of Specification”. March 1998, Nantes (France). IRIN - Universite de Nantes, 1998.
2. E. Astesiano, B. Krieg-Bruckner, and H.-J. Kreowski, editors. IFIP WG 1.3 Book on Algebraic Foundations of System Specification. Springer Verlag, 1999.
3. E. Astesiano and G. Reggio. Labelled Transition Logic: An Outline. Technical Report DISI–TR–96–20, DISI – Università di Genova, Italy, 1996.
4. E. Astesiano and G. Reggio. Formalism and Method. T.C.S., 236, 2000.
5. D. Bjørner, S. Kousoube, R. Noussi, and G. Satchok. Michael Jackson’s Problem Frames: Towards Methodological Principles of Selecting and Applying Formal Software Development Techniques and Tools. In M.G. Hinchey and Liu ShaoYing, editors, Proc. Intl.Conf. on Formal Engineering Methods, Hiroshima, Japan, 12-14 Nov.1997. IEEE CS Press, 1997.
6. C. Choppy and G. Reggio. Using CASL to Specify the Requirements and the Design: A Problem Specific Approach – Complete Version. Technical Report DISI-TR-99-33, DISI – Università di Genova, Italy, 1999. ftp://ftp.disi.unige.it/person/ReggioG/ChoppyReggio99a.ps.
7. G. Costa and G. Reggio. Specification of Abstract Dynamic Data Types: A Temporal Logic Approach. T.C.S., 173(2), 1997.
8. E. Gamma, R. Helm, R. Johnson, and J. Vlissides. Design Patterns: Elements of Reusable Object-Oriented Software. Addison-Wesley, 1995.
9. W. Grieskamp, M. Heisel, and H. Dörr. Specifying Safety-Critical Embedded Systems with Statecharts and Z: An Agenda for Cyclic Software Components. In E. Astesiano, editor, Proc. FASE’98, number 1382 in LNCS. Springer Verlag, Berlin, 1998.
10. M. Heisel. Agendas – A Concept to Guide Software Development Activities. In R. N. Horspool, editor, Proceedings Systems Implementation 2000. Chapman & Hall, 1998.
11. M. Jackson. Software Requirements & Specifications: a Lexicon of Practice, Principles and Prejudices. Addison-Wesley, 1995.
12. P.D. Mosses. CoFI: The Common Framework Initiative for Algebraic Specification and Development. In M. Bidoit and M. Dauchet, editors, Proc. TAPSOFT’97, number 1214 in LNCS, Berlin, 1997. Springer Verlag.
13. The CoFI Task Group on Language Design. Casl The Common Algebraic Specification Language Summary. Version 1.0. Technical report, 1999. Available on http://www.brics.dk/Projects/CoFI/Documents/CASL/Summary/.
14. P. Poizat, C. Choppy, and J.-C. Royer. From Informal Requirements to COOP: a Concurrent Automata Approach. In J.M. Wing, J. Woodcock, and J. Davies, editors, FM’99 - Formal Methods, World Congress on Formal Methods in the Development of Computing Systems, number 1709 in LNCS. Springer Verlag, Berlin, 1999.
15. 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.
16. M. Roggenbach and T. Mossakovski. Basic Data Types in Casl. CoFI Note L- 12. Technical report, 1999. http://www.brics.dk/Projects/CoFI/Notes/L-12/