|
П |
Algebras, Theories and Freeness: An Introduction for Computer Scientists |
1982 |
Burstall R. M., Goguen J. A. |
|
|
Univ.Edinburgh |
|
19.03.2004 |
|
СТ |
More Thoughts on Specification and Verification |
1981 |
Goguen J. A. |
|
|
|
ACM SIGSOFT |
01.08.2000 |
|
СТ |
Formal Methods: Promises and Problems |
1997 |
Goguen J. A. |
|
|
|
Software |
15.03.1997 |
|
СТ |
An Introduction to Category-based Equational Logic |
1995 |
Goguen J. A., Diaconescu R. |
Lecture Notes in Computer Science |
|
|
Algebraic Methodology and Software Technology |
13.09.1995 |
|
СТ |
Formal Methods and Social Context in Software Development |
1995 |
Goguen J. A. |
|
|
|
Lecture Notes in Computer Science |
16.06.1995 |
|
СТ |
Towards a Provably Correct Compiler for OBJ3 |
1994 |
Hamel L. H., Goguen J. A. |
|
|
|
Lecture Notes in Computer Science |
12.10.1994 |
|
СТ |
Towards an Algebraic Semantics for the Object Paradigm |
1994 |
Goguen J. A., Diaconescu R. |
|
|
|
Lecture Notes in Computer Science |
03.06.1994 |
|
СТ |
Order-sorted algebra I: equational deduction for multiple inheritance, overloading, expetions and partial operations |
1992 |
Goguen J. A., Meseguer J. |
|
|
|
Theoretical Computer Science |
26.12.1992 |
|
СТ |
Institutions: Abstract Model Theory for Spesification and Programming |
1992 |
Goguen J. A., Burstall R. M. |
|
|
|
J. of the ACM |
04.03.1992 |
