An Implementation-Oriented Semantics for Module Composition (1997)

by Joseph Goguen , Will Tracz
Citations:34 - 14 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
5 Tossing Algebraic Flowers down the Great Divide – Joseph Goguen - 1999
Towards an Algebraic Semantics for the Object Paradigm\Lambda – unknown authors A hidden agenda( – Joseph Goguena, Grant Malcolmb
145 Toward formal development of programs from algebraic specifications: implementations revisited (Extended Abstract) – Donald Sannella, Andrzej Tariecki
131 Introducing OBJ – Joseph A. Goguen, Timothy Winkler, José Meseguer, Kokichi Futatsugi, Jean-Pierre Jouannaud - 1993
11 A Hidden Herbrand Theorem: Combining the Object and Logic Paradigms – Joseph Goguen, Grant Malcolm, Tom Kemp - 1998
750 Architectural Styles and the Design of Network-based Software Architectures – Roy Thomas Fielding - 2000
715 A classification and comparison framework for software architecture description languages – Nenad Medvidovic, Richard N. Taylor - 2000