CASL user manual: Introduction to using the Common Algebraic Specification Language

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

Volumn 2900, Issue , 2003, Pages

  Bidoit, Michel ^a   Mosses, Peter D ^a  

^a NONE

Author keywords

[No Author keywords available]

Indexed keywords

EID: 33244473146     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: None     Document Type: Article

References (37)

1. J.-R. Abrial, E. Börger, and H. Langmaack, editors. Formal Methods for Industrial Applications: Specifying and Programming the Steam Boiler Control, LNCS Vol. 1165. Springer, 1996.
2. E. Astesiano, M. Bidoit, B. Krieg-Brückner, P. D. Mosses, D. Sannella, and A. Tarlecki. CASL: The Common Algebraic Specification Language. Theoretical Comput. Sci., 286(2):153-196, 2002.
3. E. Astesiano, H.-J. Kreowski, and B. Krieg-Brückner, editors. Algebraic Foundations of Systems Specification. IFIP State-of-the-Art Reports. Springer, 1999.
4. S. Autexier, D. Hutter, T. Mossakowski, and A. Schairer. The development graph manager MAYA (system description). In H. Kirchner and C. Ringeissen, editors, Algebraic Methods and Software Technology, 9th International Conference, AMAST 2002, Saint-Gilles-les-Bains, Reunion Island, France, Proceedings, LNCS Vol. 2422, pages 495-502. Springer, 2002.
5. S. Autexier and T. Mossakowski. Integrating HOL-CASL into the development graph manager MAYA. In A. Armando, editor, Frontiers of Combining Systems, 4th International Workshop, FroCoS 2002, Santa Margherita Ligure, Italy, Proceedings, LNCS Vol. 2309, pages 2-17. Springer, 2002.
6. J. A. Bergstra, J. Heering, and P. Klint. The algebraic specification formalism ASF. In J. A. Bergstra, J. Heering, and P. Klint, editors, Algebraic Specification, ACM Press Frontier Series. Addison-Wesley, 1989.
7. M. Bidoit. Development of modular specifications by stepwise refinements using the PLUSS specification language. In C. Rattray and R. G. Clark, editors, Unified Computation Laboratory: Modelling, Specifications, and Tools, pages 171-192. Oxford Univ. Press, 1992.
8. M. Bidoit, C. Chevenier, C. Pellen, and J. Ryckbosch. An algebraic specification of the steam-boiler control system. In Abrial et al. [1], pages 79-108.
9. M. Bidoit, M.-C. Gaudel, and A. Mauboussin. How to make algebraic specifications more understandable? An experiment with the PLUSS specification language. Science of Computer Programming, 12(1):1-38, 1989.
10. M. Bidoit, H.-J. Kreowski, P. Lescanne, F. Orejas, and D. Sannella, editors. Algebraic System Specification and Development. LNCS Vol. 501. Springer, 1991.
11. M. Bidoit, D. Sannella, and A. Tarlecki. Architectural specifications in CASL. Formal Aspects of Computing, 13:252-273, 2002.
12. M. G. J. van den Brand, H. A. de Jong, P. Klint, and P. Olivier. Efficient annotated terms. Software, Practice & Experience, 30:259-291, 2000.
13. M. G. J. van den Brand, A. van Deursen, J. Heering, H. A. de Jong, M. de Jonge, T. Kuipers, P. Klint, L. Moonen, P. A. Olivier, J. Scheerder, J. J. Vinju, E. Visser, and J. Visser. The ASF+SDF Meta-Environment: A component-based language development environment. In R. Wilhelm, editor, Compiler Construction, 10th International Conference, CC 2001, Genova, Italy, Proceedings, LNCS Vol. 2027, pages 365-370. Springer, 2001.
14. M. Broy, C. Facchi, R. Grosu, R. Hettler, H. Hußmann, D. Nazareth, F. Regensburger, O. Slotosch, and K. Stølen. The requirement and design specification language SPECTRUM: An informal introduction (v 1.0). Technical Report TUM-I9311, TUM-I9312, Institut für Informatik, Technische Universität München, 1993.
15. R. M. Burstall and J. A. Goguen. The semantics of CLEAR, a specification language. In D. Bjørner, editor, Abstract Software Specifications, 1979 Copenhagen Winter School, Proceedings, LNCS Vol. 86, pages 292-332. Springer, 1980.
16. M. Cerioli, M. Gogolla, H. Kirchner, B. Krieg-Brückner, Z. Qian, and M. Wolf, editors. Algebraic System Specification and Development: Survey and Annotated Bibliography. BISS Monographs. Shaker, 2nd edition, 1997.
17. M. Cerioli and G. Reggio, editors. Recent Trends in Algebraic Development Techniques, 15th International Workshop, WADT 2001, Joint with the CoFI WG Meeting, Genova, Italy, 2001, Selected Papers, LNCS Vol. 2267. Springer, 2001.
18. F. Chen, G. Rosu, and R. P. Venkatesan. Rule-based analysis of dimensional safety. In R. Nieuwenhuis, editor, Rewriting Techniques and Applications, 14th International Conference, RTA 2003, Valencia, Spain, Proceedings, LNCS Vol. 2706, pages 197-207. Springer, 2003.
19. I. Claßen, H. Ehrig, and D. Wolz. Algebraic Specification Techniques and Tools for Software Development. AMAST Series in Computing Vol. 1. World Scientific, 1993.
20. CoFI (The Common Framework Initiative). CASL Reference Manual. LNCS, IFIP Series. Springer, 2004. To appear.
21. CoFI (The Common Framework Initiative) Tools Group. Home page. http://www.cofi.info/Tools.
22. A. van Deursen, J. Heering, and P. Klint, editors. Language Prototyping: An Algebraic Specification Approach. AMAST Series in Computing Vol. 5. World Scientific, 1996.
23. J. A. Goguen and R. M. Burstall. Institutions: Abstract model theory for specification and programming. J. ACM, 39(1):95-146, 1992.
24. J. A. Goguen, T. Winkler, J. Meseguer, K. Futatsugi, and J.-P. Jouannaud. Introducing OBJ3. In J. Goguen and G. Malcolm, editors, Software Engineering with OBJ: Algebraic Specification in Action. Kluwer, 1992.
25. J. V. Guttag and J. J. Horning. Larch: Languages and Tools for Formal Specification. Springer, 1993.
26. S. Kahrs, D. Sannella, and A. Tarlecki. The definition of Extended ML: A gentle introduction. Theoretical Comput. Sci., 173:445-484, 1997.
27. J. Loeckx, H.-D. Ehrich, and M. Wolf. Specification of Abstract Data Types. Wiley/Teubner, 1996.
28. T. Mossakowski. CASL: From semantics to tools. In S. Graf and M. Schwartzbach, editors, Tools and Algorithms for the Construction and Analysis of Systems, 6th International Conference, TACAS 2000, Berlin, Germany, Proceedings, LNCS Vol. 1785, pages 93-108. Springer, 2000.
29. T. Mossakowski. Relating CASL with other specification languages: The institution level. Theoretical Comput. Sci., 286:367-475, 2002.
30. T. Mossakowski, Kolyang, and B. Krieg-Brückner. Static semantic analysis and theorem proving for CASL. In F. Parisi-Presicce, editor, Recent Trends in Algebraic Development Techniques, 12th International Workshop, WADT'97, Tarquinia, Italy, 1997, Selected Papers, LNCS Vol. 1376, pages 333-348. Springer, 1998.
31. L. C. Paulson. Isabelle: A Generic Theorem Prover. LNCS Vol. 828. Springer, 1994.
32. M. Roggenbach and L. Schröder. Towards trustworthy specifications I: Consistency checks. In Cerioli and Reggio [17], pages 305-327.
33. D. Sannella. The Common Framework Initiative for algebraic specification and development of software: Recent progress. In Cerioli and Reggio [17], pages 328-343.
34. D. Sannella and A. Tarlecki. Foundations of Algebraic Specification and Formal Program Development. To appear.
35. D. Sannella and A. Tarlecki. Essential concepts of algebraic specification and program development. Formal Aspects of Computing, 9:229-269, 1997.
36. M. Wirsing. Structured algebraic specifications: A kernel language. Theoretical Comput. Sci., 42:123-249, 1986.
37. M. Wirsing. Algebraic specification. In J. van Leeuwen, editor, Handbook of Theoretical Computer Science, volume B, chapter 13. Elsevier Science Publishers, Amsterdam; and MIT Press, 1990.