Dynamic systems with implicit state

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

Volumn 1577, Issue , 1999, Pages 114-128

  Gaudel, Marie Claude ^a   Khoury, Carole ^a   Zamulin, Alexandre ^b  

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

^b A P ERSHOV INSTITUTE OF INFORMATICS SYSTEMS   (Russian Federation)

Author keywords

[No Author keywords available]

Indexed keywords

ALGEBRA; SPECIFICATIONS;

ACCESS FUNCTION; ALGEBRAIC SPECIFICATIONS; GLOBAL CHANGE; INTERNAL MEMORY; S STATE; STATE BASED;

SOFTWARE ENGINEERING;

EID: 84947920874     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-49020-3_8     Document Type: Conference Paper

References (26)

1. E. Astesiano and E. Zucca. D-oids: a model for dynamic data types. Mathematical Structures in Computer Science, 5(2):257–282, 1995.
2. P. Dauchy. D´eveloppement et exploitation d’une sp´ecification alg´ebrique du logiciel embarqué d’un métro. Thèse, Universit´e de Paris-Sud, Orsay, 1992.
3. P. Dauchy and M.-C. Gaudel. Algebraic specifications with implicit state. Rapport interne 887, Laboratoire de Recherche en Informatique, February 1994.
4. R. Diaconescu and K. Futatsugi. CafeOBJ Report, volume 6 of AMAST series in Computing. World Scientific Publishing Co. Pte. Ltd, 1998.
5. H. Ehrig and B. Mahr. Fundamentals of algebraic specification, Equations and Initial Semantics, volume 6 of EATCS Monographs on Theoretical Computer science. Springer-Verlag, 1985.
6. H. Ehrig and F. Orejas. Dynamic abstract data types: An informal proposal. In Bull. of EATCS, volume 53, pages 162–169, 1994.
7. M.-C. Gaudel. Algebraic Specifications, chapter 22. Software Engineer’s Reference Book, McDermid, J., ed. Butterworths, 1991.
8. M.-C. Gaudel, P. Dauchy, and C. Khoury. A formal specification of the steamboiler control problem by algebraic specifications with implicit state. In Formal Methods for Industrial Applications, Specifiying and Programming the Steam Boiler Control, volume 1165 of LNCS, 1996.
9. M.-C. Gaudel, C. Khoury, and A. Zamulin. Dynamic systems with implicit state. Rapport interne 1172, Laboratoire de Recherche en Informatique, May 1998.
10. M. Gogolla and R. Herzig. An algebraic semantics for the object specification language TROLL-light. In Recent Trends in Data Type Specifications, volume 906 of LNCS, pages 290–306, 1995.
11. J. Goguen and R. Diaconescu. Towards an algebraic semantics for the object paradigm. In Recent Trends in Data Type Specifications, volume 785 of LNCS, 1994.
12. M. Grosse-Rhode. Concurrent state transformation on abstract data types. In Recent Trends in Data Type Specification, volume 1130 of LNCS, pages 222–236, 1996.
13. M. Grosse-Rhode. Algebra transformation systems and their composition. In Fundamental Approaches to Software Engineering, volume 1382 of LNCS, pages 107–122, 1998.
14. Y. Gurevich. Evolving Algebras 1993: Lipari Guide, In Specification and Validation Methods, pages 9–36. Oxford University Press, 1995.
15. Y. Gurevich and J. Huggins. The semantics of the C programming language. In Computer Science Logic, volume 702 of LNCS, pages 274–309, 1993.
16. T. Hartmann, G. Saake, R. Jungclaus, P. Hartel, and J. Kush. Revised version of the modelling language TROLL. Technical Report 03, Technishe Universitaet Braunschweig, Informatik-Berichte, 1994.
17. C.-B. Jones. Systematic Software Development using VDM. Prentice Hall International series in computer science, 1989.
18. C. Khoury, M.-C. Gaudel, and P. Dauchy. AS-IS. Rapport interne 1119, Laboratoire de Recherche en Informatique, August 1997.
19. J. Meseguer. Conditional rewriting logic as a unified model of concurrency. Theoretical Computer Science, 96(1):73–155, April 1992.
20. J. Meseguer and Winkler. Parallel programming in Maude. In Research Directions in High-Level Parallel Programming Languages, volume 574 of LNCS, pages 253–293, 1992.
21. H. Reichel. An approach to object semantics based on terminal coalgebras. In Recent Trends in Data Type Specifications, volume 906 of LNCS, pages 129–152, 1995.
22. J.-M. Spivey. The Z Notation, A reference manual. Prentice Hall International series in computer science, 1987.
23. A.-V. Zamulin. Specification of an Oberon compiler by means of a typed gurevich machine. Technical Report 58939450090000701, Institute of Informatics Systems of the Siberian Division of the Russian Academy of Sciences, Novosibirsk, 1996.
24. A.-V. Zamulin. Typed Gurevich Machines. Technical Report 36, Institute of Informatics Systems, Novosibirsk, 1996.
25. A.-V. Zamulin. Typed Gurevich Machines Revisited. In Joint NCC&ISS Bulletin, volume 7 of Comp. Science, pages 95–121, 1997.
26. E. Zucca. From static to dynamic data-types. In Mathematical Foundations of Computer Science, volume 1113 of LNCS, pages 579–590, 1996