A Language for Configuring Multi-level Specifications
暂无分享,去创建一个
[1] Gillian Ann Hill. A language for configuring systems , 2001 .
[2] James E. Rumbaugh,et al. Object-oriented analysis and design (OOAD) , 2003 .
[3] Steven J. Vickers. Geometric logic as a Specification Language , 1994, Theory and Formal Methods.
[4] Hartmut Ehrig,et al. Fundamentals of Algebraic Specification 2: Module Specifications and Constraints , 1990 .
[5] Catherine Oriat,et al. Detecting equivalence of modular specifications with categorical diagrams , 2000, Theor. Comput. Sci..
[6] Joseph A. Goguen,et al. Introducing Institutions , 1983, Logic of Programs.
[7] Donald Sannella,et al. Toward formal development of programs from algebraic specifications: Implementations revisited , 1987, TAPSOFT, Vol.1.
[8] T. S. E. Maibaum,et al. Logical Specification and Implementation , 1984, FSTTCS.
[9] Hartmut Ehrig,et al. Fundamentals of Algebraic Specification 1: Equations and Initial Semantics , 1985 .
[10] Donald Sannella,et al. Architectural Specifications in CASL , 1998, AMAST.
[11] Steven J. Vickers,et al. Presheaves as Configured Specifications , 2001, Formal Aspects of Computing.
[12] Joseph A. Goguen,et al. Putting Theories Together to Make Specifications , 1977, IJCAI.
[13] Francisco Durán,et al. Structured Theories and Institutions , 2003, CTCS.
[14] Joseph A. Goguen,et al. The Semantics of CLEAR, A Specification Language , 1979, Abstract Software Specifications.
[15] Hartmut Ehrig,et al. Algebraic Theory of Modular Specification Development , 1988, ADT.
[16] José Luiz Fiadeiro,et al. On local modularity and interpolation in entailment systems , 2002, Inf. Process. Lett..
[17] Chen C. Chang,et al. Model Theory: Third Edition (Dover Books On Mathematics) By C.C. Chang;H. Jerome Keisler;Mathematics , 1966 .