Specifications in an arbitrary institution
Information and Computation - Semantics of Data Types
Algebraic system specification and development
Algebraic system specification and development
Institutions: abstract model theory for specification and programming
Journal of the ACM (JACM)
Object-oriented analysis and design with applications (2nd ed.)
Object-oriented analysis and design with applications (2nd ed.)
The definition of extended ML: a gentle introduction
Theoretical Computer Science - Special issue: algebraic development techniques
A formal basis for architectural connection
ACM Transactions on Software Engineering and Methodology (TOSEM)
The Unified Modeling Language user guide
The Unified Modeling Language user guide
Theoretical Computer Science
A technique for software module specification with examples
Communications of the ACM
On the criteria to be used in decomposing systems into modules
Communications of the ACM
An axiomatic basis for computer programming
Communications of the ACM
Introduction to Multiagent Systems
Introduction to Multiagent Systems
Moving Between Logical Systems
Selected papers from the 11th Workshop on Specification of Abstract Data Types Joint with the 8th COMPASS Workshop on Recent Trends in Data Type Specification
Heterogeneous Development Graphs and Heterogeneous Borrowing
FoSSaCS '02 Proceedings of the 5th International Conference on Foundations of Software Science and Computation Structures
The Semantics of CLEAR, A Specification Language
Proceedings of the Abstract Software Specifications, 1979 Copenhagen Winter School
Proceedings of the Carnegie Mellon Workshop on Logic of Programs
The Early Search for Tractable Ways of Reasoning about Programs
IEEE Annals of the History of Computing
Towards managing dynamic reconfiguration of software systems in a categorical setting
ICTAC'10 Proceedings of the 7th International colloquium conference on Theoretical aspects of computing
Hi-index | 0.00 |