Algebraic Concepts for Software Development in ACT ONE, ACT TWO and LOTOS (eingeladener Vortrag)

Starting from general concepts for software development the role of formal methods in the software development process is discussed and basic algebraic specification concepts are introduced. Moreover some main ideas of the algebraic specification languages ACT ONE and ACT TWO and the specification language LOTOS for concurrent and distributed systems are presented and an overview of the tools in the ACT-System is given.

[1]  Friedrich L. Bauer,et al.  The Munich Project CIP , 1988, Lecture Notes in Computer Science.

[2]  Harald Ganzinger.  A Completion Procedure for Conditional Equations , 1987, CTRS.

[3]  Joseph A. Goguen,et al.  The Semantics of CLEAR, A Specification Language , 1979, Abstract Software Specifications.

[4]  Hartmut Ehrig,et al.  Compatibility of Parameter Passing and Implementation of Parameterized Data Types , 1983, Theor. Comput. Sci..

[5]  Hartmut Ehrig,et al.  Equations and initial semantics , 1985 .

[6]  Hartmut Ehrig,et al.  Module specifications and constraints , 1990 .

[7]  Hartmut Ehrig,et al.  Complexity of Algebraic Implementations for Abstract Data Types , 1981, J. Comput. Syst. Sci..

[8]  Claude E. Shannon,et al.  Computers and Automata , 1953, Proceedings of the IRE.

[9]  H. Weber,et al.  Specification of concurrently executable modules and distributed modular systems , 1988, [1988] Proceedings. Workshop on the Future Trends of Distributed Computing Systems in the 1990s.

[10]  Hartmut Ehrig,et al.  Algebraic Specification of Modules and Their Basic Interconnections , 1987, J. Comput. Syst. Sci..

[11]  Hartmut Ehrig,et al.  Fundamentals of Algebraic Specification 2: Module Specifications and Constraints , 1990 .

[12]  Donald Sannella,et al.  Toward Formal Development of Programs from Algebraic Specifications: Implementations Revisited (Extended Abstract) , 1987, TAPSOFT, Vol.1.

[13]  Dines Bjørner,et al.  The Vienna Development Method: The Meta-Language , 1978, Lecture Notes in Computer Science.

[14]  John V. Guttag,et al.  The specification and application to programming of abstract data types. , 1975 .

[15]  J. J. Horning,et al.  PRELIMINARY REPORT ON THE LARCH SHARED LANGUAGE , 1983 .

[16]  H. Brown,et al.  Computational Problems in Abstract Algebra , 1971 .

[17]  Hartmut Ehrig,et al.  Fundamentals of Algebraic Specification 1: Equations and Initial Semantics , 1985 .

[18]  D. Knuth,et al.  Simple Word Problems in Universal Algebras , 1983 .

[19]  Hartmut Ehrig,et al.  Methodology for the Specification of Software Systems: From Formal Requirements to Algebraic Design Specifications , 1981, GI Jahrestagung.

[20]  Hartmut Ehrig,et al.  Parameter Passing in Algebraic Specification Languages , 1984, Theor. Comput. Sci..

[21]  Peter Padawitz,et al.  Computing in Horn Clause Theories , 1988, EATCS Monographs on Theoretical Computer Science.

[22]  Hartmut Ehrig,et al.  Algebraic Implementation of Abstract Data Types , 1982, Theor. Comput. Sci..

[23]  Ingo Claßen,et al.  Revised ACT ONE: Categorical Constructions for an Algebraic Specification Language , 1988, Categorial Methods in Computer Science.

[24]  Joseph A. Goguen,et al.  Introducing Institutions , 1983, Logic of Programs.

[25]  Wilfried Koch,et al.  Einführung in Software Engineering , 1979 .

[26]  Ugo Montanari,et al.  Observability Concepts in Abstract Data Type Specifications , 1976, MFCS.

[27]  Hartmut Ehrig,et al.  Fundamentals of Algebraic Specification 1 , 1985, EATCS Monographs on Theoretical Computer Science.

[28]  Hartmut Ehrig,et al.  Specification of modular systems , 1986, IEEE Transactions on Software Engineering.

[29]  Hartmut Ehrig,et al.  ACT ONE - An Algebraic Specification Language with two Levels of Semantics , 1983, ADT.

[30]  Joseph A. Goguen,et al.  Putting Theories Together to Make Specifications , 1977, IJCAI.