A Larch Specification of the Library Problem
暂无分享,去创建一个
[1] Mehdi T. Harandi,et al. Workshop on software specification and design , 1988, SOEN.
[2] Jeannette M. Wing. A TWO-TIERED APPROACH TO SPECIFYING PROGRAMS , 1983 .
[3] Lawrence Robinson,et al. SPECIAL - A Specification and Assertion Language. , 1976 .
[4] Robert S. Boyer,et al. The Correctness Problem in Computer Science , 1982 .
[5] Hartmut Ehrig,et al. Fundamentals of Algebraic Specification 1 , 1985, EATCS Monographs on Theoretical Computer Science.
[6] Maurice Herlihy,et al. Axioms for concurrent objects , 1987, POPL '87.
[7] Richard A. Kemmerer,et al. Testing Formal Specifications to Detect Design Errors , 1985, IEEE Transactions on Software Engineering.
[8] Dines Bjørner,et al. The Vienna Development Method: The Meta-Language , 1978, Lecture Notes in Computer Science.
[9] David Harel,et al. Statecharts: A Visual Formalism for Complex Systems , 1987, Sci. Comput. Program..
[10] James J. Horning,et al. The Larch Family of Specification Languages , 1985, IEEE Software.