Communicating sequential processes
Communicating sequential processes
A theory of abstract data types for program development: bridging the gap?
Proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT) on Formal Methods and Software, Vol.2: Colloquium on Software Engineering (CSE)
Parallel program design: a foundation
Parallel program design: a foundation
A compositional proof system on a category of labelled transition systems
Information and Computation - Selections from 1988 IEEE symposium on logic in computer science
The temporal logic of reactive and concurrent systems
The temporal logic of reactive and concurrent systems
Constructing specification morphisms
Journal of Symbolic Computation - Special issue on automatic programming
Handbook of logic in computer science (vol. 4)
Interconnecting formalisms: supporting modularity, reuse and incrementality
SIGSOFT '95 Proceedings of the 3rd ACM SIGSOFT symposium on Foundations of software engineering
Dynamic structure in software architectures
SIGSOFT '96 Proceedings of the 4th ACM SIGSOFT symposium on Foundations of software engineering
Categorical semantics of parallel program design
Science of Computer Programming - Special issue: on formal specifications: foundations, methods, tools and applications: selected papers from the FMTA '95 conference (29–31 May 1995, Konstancin n. Warsaw, Poland)
Using Explicit State to Describe Architechtures
FASE '99 Proceedings of the Second Internationsl Conference on Fundamental Approaches to Software Engineering
On the Emergence of Properties in Component-Based Systems
AMAST '96 Proceedings of the 5th International Conference on Algebraic Methodology and Software Technology
Algebraic Semantics of Coordination or What Is in a Signature
AMAST '98 Proceedings of the 7th International Conference on Algebraic Methodology and Software Technology
Semantics of Architectural Connectors
TAPSOFT '97 Proceedings of the 7th International Joint Conference CAAP/FASE on Theory and Practice of Software Development
Design of Reactive Control Systems for Event-Drivem Operations
FME '97 Proceedings of the 4th International Symposium of Formal Methods Europe on Industrial Applications and Strengthened Foundations of Formal Methods
Specware: Formal Support for Composing Software
MPC '95 Mathematics of Program Construction
Parameterising (Algebraic) Specifications on Diagrams
ASE '98 Proceedings of the 13th IEEE international conference on Automated software engineering
Management of Evolving Specifications using Category Theory
ASE '98 Proceedings of the 13th IEEE international conference on Automated software engineering
LICS '96 Proceedings of the 11th Annual IEEE Symposium on Logic in Computer Science
Putting theories together to make specifications
IJCAI'77 Proceedings of the 5th international joint conference on Artificial intelligence - Volume 2
Towards a system model for ensembles
Formal modeling
| Hi-index | 0.00 |
Although the contribution of Category Theory as a mathematical platform for supporting software development, in the wake of Goguen's approach to General Systems, is now reasonably recognised, accepted and even used, the emergence of new modelling techniques and paradigms associated with the "New-Economy" suggests that the whole approach needs to be revisited. In this paper, we propose some revisions capitalising on the lessons that we have learned in using categorical techniques for formalising recent developments on Software Architectures, Coordination Technologies, and Service-Oriented Software Development in general.