Concepts of Object Paradigm for an Approach to Modular Specification of Communication Protocols (1999)

Cached

Download Links

by Jörg Fischer , C Fl Jorg Fischer , Otto-von-guericke-universitat Magdeburg , Fakultat Fur Informatik
Citations:1 - 0 self

Active Bibliography

Algebraic System Specification and Development: Survey and Annotated Bibliography - Second Edition - – Martin Gogolla, Zhenyu Qian, Hélène Kirchner, Markus Wolf (Eds.), Maura Cerioli, Maura Cerioli, Universit`a Degli Studi Di Genova, Prof Dr, Bernd Krieg-Brückner, Bernd Krieg-bruckner - 1997
Modular Specifications: Constructions With Finite Colimits, Diagrams, Isomorphisms – Catherine Oriat - 1996
Types as Theories – Joseph Goguen Programming, Joseph A. Goguen - 1991
3 On the Compositionality and Analysis of Algebraic High-Level Nets – Johan Lilius, Johan Lilius - 1991
2 A Distributed Architecture Definition Language: a DADL – Ron Burback - 1998
8 Higher Order Functions Considered Unnecessary for Higher Order Programming – Joseph A. Goguen - 1990
3 Constructing Specifications and Modules in a KZ-Doctrine – Gillian Hill - 1994
1 Detecting Isomorphisms of Modular Specifications with Diagrams – Catherine Oriat - 1995
unknown title – unknown authors
7 A new semantics for Clear – D. T. Sannella
5 Category-based Modularisation for Equational Logic Programming – Razvan Diaconescu - 1996
14 Structured theory presentations and logic representations – Robert Harper, Donald Sannella, Andrzej Tarlecki - 1994
Structured Formal Development with Quotient Types in Isabelle/HOL – Maksym Bortin, Christoph Lüth, Deutsches Forschungszentrum, Künstliche Intelligenz
8 A Survey of Formal Software Development Methods – Donald Sannella - 1988
19 Parameterized Programming and Software Architecture – Joseph A. Goguen - 1996
A Meta-theory for Structured Presentations in the COC – Sherri Shulman - 1997
The C++0x “Concepts” Effort – Jeremy G. Siek - 2011
7 Specification Languages – Donald Sannella, Martin Wirsing - 1999
3 Tossing Algebraic Flowers down the Great Divide – Joseph Goguen - 1999