System design with Ada
A programmer's apprentice: a session with KBEmacs
Readings in artificial intelligence and software engineering
Report on a knowledge-based software assistant
Readings in artificial intelligence and software engineering
Empirical studies of programming knowledge
Readings in artificial intelligence and software engineering
CCITT SDL: overview of the language and its application
Computer Networks and ISDN Systems - CCITT SDL
Artificial intelligence and software engineering
ICSE '87 Proceedings of the 9th international conference on Software Engineering
Communications in the mercury system
Proceedings of the Twenty-First Annual Hawaii International Conference on Software Track
Practical visual techniques in system design: with applications to Ada
Practical visual techniques in system design: with applications to Ada
Paradigms for process interaction in distributed programs
ACM Computing Surveys (CSUR)
Designing reactive systems for strong traceability
Designing reactive systems for strong traceability
A Calculus of Communicating Systems
A Calculus of Communicating Systems
On horizontal specification architectures and their aspect-oriented implementations
Transactions on Aspect-Oriented Software Development II
Hi-index | 0.00 |
This paper introduces design fragments as a fundamental component of a design process for strong traceability in the design of concurrent systems. Design fragments represent reusable alternatives for the independent design of the communication requirements in a concurrent system. They are defined with formal relations to segments of communicating state machines, and are applied such that they satisfy the semantics of the communications defined by the specification. This paper introduces the concept of design fragments, the approach to developing and using them, along with an illustrative example.