[图书][B] Categories for software engineering
JL Fiadeiro - 2005 - books.google.com
Why Another Book on Category Theory? In the past ten years, several books have been
published on category t-ory either by computer scientists or having computer scientists as a …
published on category t-ory either by computer scientists or having computer scientists as a …
Temporal theories as modularisation units for concurrent system specification
J Fiadeiro, T Maibaum - Formal aspects of Computing, 1992 - Springer
In this paper, we bring together the use of temporal logic for specifying concurrent systems,
in the tradition initiated by A. Pnueli, and the use of tools from category theory as a means for …
in the tradition initiated by A. Pnueli, and the use of tools from category theory as a means for …
Software engineering, the software process and their support
MM Lehman - Software Engineering Journal, 1991 - IET
Computers are being applied more and more widely, penetrating ever deeper into the very
fabric of society. Mankind is becoming increasingly dependent on the availability of software …
fabric of society. Mankind is becoming increasingly dependent on the availability of software …
Sharing actions and attributes in modal action logic
M Ryan, J Fiadeiro, T Maibaum - … TACS'91 Sendai, Japan, September 24 …, 1991 - Springer
Distributed systems may be specified in Structured Modal Action Logic by decomposing
them into agents which interact by sharing attributes (memory) as well as actions. In the …
them into agents which interact by sharing attributes (memory) as well as actions. In the …
Software package requirements and procurement
A Finkelstein, G Spanoudakis… - Proceedings of the 8th …, 1996 - ieeexplore.ieee.org
The paper outlines the problems of specifying requirements and deploying these
requirements in the procurement of software packages. Despite the fact that software …
requirements in the procurement of software packages. Despite the fact that software …
[图书][B] UML 2 semantics and applications
K Lano - 2009 - Wiley Online Library
UML 2 semantics and applications UML 2 SEMANTICS AND APPLICATIONS Page 2 UML 2
SEMANTICS AND APPLICATIONS Edited by KEVIN LANO A JOHN WILEY & SONS, INC …
SEMANTICS AND APPLICATIONS Edited by KEVIN LANO A JOHN WILEY & SONS, INC …
[图书][B] Algebraic specification techniques in object oriented programming environments
R Breu - 1991 - books.google.com
The main aim of this monograph is to provide a framework for the integrated design of object-
oriented programs with algebraic specification techniques. The design method pursued …
oriented programs with algebraic specification techniques. The design method pursued …
[图书][B] Object-oriented specification of information systems: The TROLL language
R Jungclaus, G Saake, T Hartmann, C Sernadas - 1991 - researchgate.net
In this report we present the language TROLL. It is a language particularly suited to be used
in the early stages of information system design where the problem domain or Universe of …
in the early stages of information system design where the problem domain or Universe of …
A categorial theory of objects as observed processes
HD Ehrich, JA Goguen, A Sernadas - … , The Netherlands, May 28–June 1 …, 1991 - Springer
The semantic domain for object-oriented languages and systems outlined in this paper is an
amalgamation of two approaches: the objects-as-sheaves approach of the second author …
amalgamation of two approaches: the objects-as-sheaves approach of the second author …
On the nature of events: another perspective in concurrency
We introduce yet another event-based formalism, that of event automata, which unifies
various concepts to be found in the literature. A characteristic property of these automata is …
various concepts to be found in the literature. A characteristic property of these automata is …