Structuring and modularizing algebraic specifications: The PLUSS specification language, evolutions and perspectives

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

Volumn 577 LNCS, Issue , 1992, Pages 3-18

  Gaudel, Marie Claude ^a  

^a UFR 919 Laboratoire d'Informatique Pour la Mécanique et les Sciences de l'Ingénieur   (France)

Author keywords

[No Author keywords available]

Indexed keywords

ABSTRACT DATA TYPES; FORMAL SPECIFICATION; SPECIFICATION LANGUAGES;

ALGEBRAIC APPROACHES; ALGEBRAIC SPECIFICATION LANGUAGES; ALGEBRAIC SPECIFICATIONS; CASE-STUDIES; DATA TYPE; POSSIBLE FUTURES;

ALGEBRA;

EID: 84947953280     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-55210-3_169     Document Type: Conference Paper

References (35)

1. Goguen, J.A., Thatcher, J.W. and Wagner E.G., “An initial algebra approach to the specification, correctness and implementation of abstract data types”, in Current Trends in Programming Methodology, Vol.4: Data Structuring, edited by R.T. Yeh, pp.80-149, Prentice-Hall, 1978.
2. Bidoit M., “The stratified loose approach: a generalization of initial and loose semantics”, in Recent Trends in Data Type Specification, selected papers of the 5th Workshop on Specifications of Abstract Data Types, Gullane, Ecosse, Springer-Verlag L.N.C.S. no332, pp. 1-22, Sept. 1987.
3. Bidoit M., “PLUSS, un langage pour le développement de spécifications algébriques modulaires”, thèse d'Etat, Université de Paris-Sud, Orsay, Mai 1989.
4. Broy M., opening lecture of the 6th IEEE International Worshop on Software Specification and Design, Como, Sept. 1991.
5. Bidoit M. and Biebow B., “Application de la méthode de spécification et de programmation des exceptions et des erreurs à des exemples choisis en téléphonie”, rapport final du poste 4 du marché DAII no 82.35.033, Sept. 1983.
6. Bernot G., Bidoit M., Choppy C., “Abstract data types with exception handling: an initial approach based on a distinction between exceptions and errors”, Theoretical Computer Science, Vol.46, No 1, Janvier 1986, pp.13-46.
7. Bidoit M., Biebow B., Gaudel M.-C., Gresse C., Guiho G., “Exception handling: formal specification and systematic program construction”, I.E.E.E. Transactions on Software Engineering, Vol. SE-11, No3, March 1985, pp.242-252.
8. Burstall, R. M. and Goguen, J.A., “Putting theories together to make specifications”, in Proceedings of the 5th International Joint Conference on Artificial Intelligence, Cambridge, 1977, pp. 1045-1058.
9. Burstall, R. M. and Goguen, J.A., “The semantics of CLEAR, a specification language”, in Proceedings of the Advanced Course on Abstract Software Specifications, Copenhagen, LNCS no 86, pp.292-332, Springer-Verlag, 1980.
10. Bidoit, M., Gaudel, M-C. and Mauboussin, A., “How to make algebraic specifications more understandable? An experiment with the PLUSS specification language”, Science of Computer Programming, 46-1, pp. 1-38, June 1989.
11. Bidoit M., Kreowski H.-J., Lescanne P., Orejas F. and Sannella D. “Algebraic System Specification and Development: a survey and annotated bibliography”, LNCS no 501, Springer-Verlag, 1991.
12. Bernot G. and Le Gall P., “Exception handling and term labelling”,submitted for publication.
13. Dauchy P., forthcoming thesis, Université de Paris-Sud, 1992.
14. Despeyroux-Savonitto J., “An algebraic specification of a Pascal compiler”, SIGPLAN notices, vol. 18, no 12, 1983.
15. Dauchy P., Marre B., “Test data Selection from the Algebraic Specification of a module of an Automatic Subway”, European Software Engineering Conference: ESEC'91, Milan, Oct. 1991, LNCS no 550, pp. 80-100.
16. Dauchy P., Ozello P., “Experiments with Formal Specifications on MAGGALY”, Second International Conference on Applications of Advanced Technologies in Transportation Engineering, Mineapolis, August 1991.
17. Ehrig H., Fey W., and Hansen H., “ACT-ONE: an algebraic specification language with two levels of semantics”, Technische Universität Berlin, 1983.
18. Futatsugi, K., Goguen, J.A., Jouannaud, J-P. and Meseguer, J., “Principles of OBJ2”, in Proceedings of the 12th ACM Symposium on Principles Of Programming Languages, 1987, pp. 51-60.
19. Gaudel, M.-C., “Towards Structured Algebraic Specifications”, in Esprit'85 Status Report, pp.493-510, North-Holland,1986.
20. Gaudel M-C., “Algebraic Specifications”, Chapter 22 in Software Engineer's Reference Book, John Mc Dermid ed., Butterworths, 1991.
21. Guiho G., Automatic Programming using abstract data types. Key-note Lecture, IJCAI 83, Karlsrühe, Aug. 83.
22. Goguen, J. A. and Burstall, R.M., “Introducing Institutions”, in Proceedings of the Logics of Programming Workshop, Carnegie-Mellon University, LNCS no 164, pp. 221-256, Springer-Verlag, 1984.
23. Guttag, J.V. and Horning, J.J., “Report on the Larch shared language”, Science of Computer Programming, vol. 6. pp. 103-134, 1986.
24. Gaudel, M.-C. and Moineau, Th., “A theory of Software Reusability”, in proceedings of European Symposium On Programming: ESOP'88, LNCS no 300, pp. 115-130, Springer-Verlag, 1988.
25. Guttag, J.V., “The specification and application to programming of abstract data types”, Ph. D. Thesis, University of Toronto, 1975.
26. Kaplan S., “Algebraic specification of Concurrent Systems”, Theoretical Computer Science, No 1, Volume 69, pp. 69-115, Dec. 1989.
27. Moineau Th., “Réutilisation de Logiciel: une Approche Algébrique, son Application à Ada et les outils associés”, Nouvelle thèse, Université Paris-Sud, Orsay, Janvier 1991.
28. Mauboussin A., Bidoit M., Gaudel M-C., Hagelstein J., Perdrix H., “From an ERAE Requirement Specification to a PLUSS Algebraic Specification: a case study”, METEOR Workshop, Algebraic Methods II, Mierlo, Septembre 1989, LNCS no 490, pp 395-432.
29. Moineau Th. and Gaudel M-C., “Software reusability through formal specifications”, in proceedings of the 1st International Workshop on Software Reusability, Dordmund, July 1991.
30. Nielsen M., Havelund K., Wagner K. and George C., “The RAISE Language, Method and Tools”, in Proceedings of VDM'88, LNCS no 328, pp. 376-405, Springer-Verlag,1988.
31. Saake G. and Sernadas A., eds., “Information Systems-correctness and reusability”, Proceedings of Worshop IS-CORE'91, ESPRIT BRA WG 3023, London, Sept. 1991, Informatik-Berichte 91-03, Technische Universität Braunschweig.
32. Sannella, D.T, Sokolowski S. and Tarlecki, A., “Toward formal development of programs from algebraic specifications: parameterisation revisited”, Bericht 6/90, Universität Bremen, April 1990.
33. Sannella, D.T and Tarlecki, A. “Extended ML: an institution-independent framework for formal program development”, In Proceedings Workshop on Category Theory and Computer Programming, Guilford, LNCS no 240, pp.364-389, Springer-Verlag, 1986.
34. Sannella, D.T. and Wirsing, M., “A kernel language for algebraic specification and implementation”, in Proceedings Colloquium on Foundations of Computation Theory, Linkoping, LNCS no 158, pp.413-427, Springer-Verlag, 1983.
35. Zilles S.N., “Algebraic specifications of abstract data types”, Computation Structures Group memo 119, Laboratory of Computer Science, MIT, 1974.