Algebraic Concepts for Software Development in ACT ONE, ACT TWO, And LOTOS

This publication has 10 references indexed in Scilit:

• Revised ACT ONE: Categorical constructions for an algebraic specification language
  Published by Springer Nature ,1989
• Toward formal development of programs from algebraic specifications: Implementations revisited
  Acta Informatica, 1988
• A completion procedure for conditional equations
  Published by Springer Nature ,1988
• Specification of modular systems
  IEEE Transactions on Software Engineering, 1986
• Introducing institutions
  Published by Springer Nature ,1984
• Data Type Specification: Parameterization and the Power of Specification Techniques
  ACM Transactions on Programming Languages and Systems, 1982
• Complexity of algebraic implementations for abstract data types
  Journal of Computer and System Sciences, 1981
• Methodology for the Specification of Software Systems: From Formal Requirements to Algebraic Design Specifications
  Informatik-Fachberichte, 1981
• The Vienna Development Method: The Meta-Language
  Lecture Notes in Computer Science, 1978
• Observability concepts in abstract data type specification
  Lecture Notes in Computer Science, 1976