Extending Development Graphs with Hiding
暂无分享,去创建一个
[1] J. Adámek,et al. Locally presentable and accessible categories , 1994 .
[2] Till Mossakowski,et al. Static semantic analysis and theorem proving for CASL , 1997, WADT.
[3] Joseph A. Goguen,et al. Institutions: abstract model theory for specification and programming , 1992, JACM.
[4] Dieter Hutter,et al. System Description: inka 5.0 - A Logic Voyager , 1999, CADE.
[5] Robert Harper,et al. Structured Theory Presentations and Logic Representations , 1994, Ann. Pure Appl. Log..
[6] José Meseguer,et al. May I Borrow Your Logic? , 1993, MFCS.
[7] Donald Sannella,et al. Towards Formal Development of Programs from Algebraic Specifications: Model-Theoretic Foundations , 1992, ICALP.
[8] Tomasz Borzyszkowski. Logical systems for structured specifications , 2002, Theor. Comput. Sci..
[9] Dieter Hutter,et al. The Verification Support Environment VSE , 1992 .
[10] José Meseguer,et al. May I Borrow Your Logic? (Transporting Logical Structures Along Maps) , 1997, Theor. Comput. Sci..
[11] Donald Sannella,et al. Specifications in an Arbitrary Institution , 1988, Inf. Comput..
[12] Dieter Hutter,et al. Towards an Evolutionary Formal Software-Development Using CASL , 1999, WADT.
[13] Martin Wirsing,et al. Proof Systems for Structured Specifications with Observability Operators , 1997, Theor. Comput. Sci..
[14] Till Mossakowski,et al. Semantics of Architectural Specifications in CASL , 2001, FASE.