Object-oriented modeling and design
Object-oriented modeling and design
Engineering real time systems: an object-oriented methodology using SDL
Engineering real time systems: an object-oriented methodology using SDL
Design patterns: elements of reusable object-oriented software
Design patterns: elements of reusable object-oriented software
Computer Networks and ISDN Systems - Special issue on SDL and MSC
Methodology for real time systems
Computer Networks and ISDN Systems - Special issue on SDL and MSC
Pattern-oriented software architecture: a system of patterns
Pattern-oriented software architecture: a system of patterns
A Generic Approach to the Formal Specification of Requirements
ICFEM '97 Proceedings of the 1st International Conference on Formal Engineering Methods
Secure and efficient mobile agent application reuse using patterns
SSR '01 Proceedings of the 2001 symposium on Software reusability: putting software reuse in context
A Generic Approach to the Formal Specification of Requirements
ICFEM '97 Proceedings of the 1st International Conference on Formal Engineering Methods
Re-Engineering of the Internet Stream Protocol ST2+ with Formalized Design Patterns
ICSR '98 Proceedings of the 5th International Conference on Software Reuse
Hi-index | 0.00 |
We present an approach to the generic engineering of communication protocols, which combines pattern-based software engineering with the formal description technique (FDT) SDL. Our approach has the potential to reduce the effort for protocol design and assures high quality of the resulting communication subsystem. Actually, we suggest to keep a pool of reusable SDL patterns, which use FDTs to describe generic solutions for recurring design problems. According to specific communication requirements a protocol designer can then select patterns, which are suitably adapted and finally composed to build part of the resulting protocol specification.