Institutions : abstract model theory for specification and programming von GOGUEN, J. A, BURSTALL, R. M

Volltext

Parameterized Programming von Goguen, Joseph A.

Volltext

An object-oriented tool for tracing requirements von Pinheiro, F.A.C., Goguen, J.A.

Volltext

Formal methods: promises and problems von Luqi, Goguen, J.A.

Volltext

Zero, connected, empty von GOGUEN, Ryoko Amadee, GOGUEN, Joseph Amadee

Volltext

Initial Algebra Semantics and Continuous Algebras von Goguen, J. A., Thatcher, J. W., Wagner, E. G., Wright, J. B.

Volltext

The semantics of clear, a specification language von Burstall, R. M., Goguen, J. A.

Volltext

The Logic of Inexact Concepts von Goguen, J. A.

Volltext

Order-sorted algebra I: equational deduction for multiple inheritance, overloading, exceptions and partial operations von Goguen, Joseph A., Meseguer, José

Volltext

A categorial theory of objects as observed processes von Ehrich, H. -D., Goguen, J. A., Sernadas, A.

Volltext

Reusing and Interconnecting Software Components von Goguen, J A

Volltext

How to prove algebraic inductive hypotheses without induction: With applications to the correctness of data type implementation von Goguen, J. A.

Volltext

Correctness of recursive parallel nondeterministic flow programs von Goguen, J.A., Meseguer, J.

Volltext

Order-Sorted Algebra Solves the Constructor-Selector, Multiple Representation, and Coercion Problems von Meseguer, J., Goguen, J.A.

Volltext

Introducing institutions von Goguen, J. A., Burstall, R. M.

Volltext

Modular algebraic specification of some basic geometrical constructions von Goguen, Joseph A.

Volltext

Semantics of computation von Goguen, J. A.

Volltext

Fuzzy Sets and Systems: Theory and Applications von Goguen, J. A.

Volltext

L-fuzzy sets von Goguen, J.A

Volltext

Fundamentals of Algebraic Specification 1: Equations and Initial Semantics von Goguen, J. A., Meseguer, J.

Volltext