Introduction to Algebraic Specification. Part 1: Formal Methods for Software Development
暂无分享,去创建一个
Hartmut Ehrig | Fernando Orejas | Ingo Claßen | Bernd Mahr | F. Orejas | H. Ehrig | B. Mahr | I. Claßen
[1] Hartmut Ehrig,et al. Specification of modular systems , 1986, IEEE Transactions on Software Engineering.
[2] Hartmut Ehrig,et al. ACT ONE - An Algebraic Specification Language with two Levels of Semantics , 1983, ADT.
[3] Berthold Hoffmann,et al. Program Development by Specification and Transformation , 1993, Lecture Notes in Computer Science.
[4] Joseph A. Goguen,et al. Putting Theories Together to Make Specifications , 1977, IJCAI.
[5] C. A. R. Hoare,et al. Communicating Sequential Processes (Reprint) , 1983, Commun. ACM.
[6] Joseph A. Goguen,et al. Introducing Institutions , 1983, Logic of Programs.
[7] J. J. Horning,et al. PRELIMINARY REPORT ON THE LARCH SHARED LANGUAGE , 1983 .
[8] Johann A. Makowsky,et al. An axiomatic approach to semantics of specification languages , 1983, Theoretical Computer Science.
[9] David Lorge Parnas,et al. A technique for software module specification with examples , 1972, CACM.
[10] Friedrich Ludwig Bauer,et al. The wide spectrum language CIP-L , 1985 .
[11] Robin Milner,et al. Communication and concurrency , 1989, PHI Series in computer science.
[12] Donald Sannella,et al. Toward Formal Development of Programs from Algebraic Specifications: Implementations Revisited (Extended Abstract) , 1987, TAPSOFT, Vol.1.
[13] Horst Hansen. The ACT System: Experiences and Future Enhancements , 1987, ADT.
[14] Fernando Orejas,et al. Implementation and Behavioural Equivalence: A Survey , 1991, COMPASS/ADT.
[15] Hartmut Ehrig,et al. Fundamentals of Algebraic Specification 1: Equations and Initial Semantics , 1985 .
[16] Dines Bjørner,et al. The Vienna Development Method: The Meta-Language , 1978, Lecture Notes in Computer Science.
[17] John V. Guttag,et al. The specification and application to programming of abstract data types. , 1975 .
[18] Iso. Lotos,et al. A Formal Description Technique Based on the Temporal Ordering of Observational Behaviour , 1985 .
[19] Werner Fey,et al. ACT TWO: An Algebraic Module Specification and Interconnection Language , 1991, AMAST.
[20] Hartmut Ehrig,et al. Fundamentals of Algebraic Specification 2: Module Specifications and Constraints , 1990 .
[21] Hartmut Ehrig,et al. Fundamentals of Algebraic Specification 2 , 1990, EATCS Monographs on Theoretical Computer Science.
[22] Hartmut Ehrig,et al. Fundamentals of Algebraic Specification 1 , 1985, EATCS Monographs on Theoretical Computer Science.
[23] Donald Sannella,et al. Extended ML: An Institution-Independent Framework for Formal Program Development , 1985, ADT.