Orthogonal Latin squares: an application of experiment design to compiler testing
Communications of the ACM
Parallel program design: a foundation
Parallel program design: a foundation
Design and validation of computer protocols
Design and validation of computer protocols
Object-oriented software engineering
Object-oriented software engineering
Synthesis of Communication Protocols: Survey and Assessment
IEEE Transactions on Computers - Special issue on protocol engineering
Hierarchical Performance Evaluation Based on Formally Specified Communication Protocols
IEEE Transactions on Computers - Special issue on protocol engineering
Object-oriented modeling and design
Object-oriented modeling and design
TTCN: the international notation for specifying tests of communications systems
Computer Networks and ISDN Systems - Formal description technique (FDT) languages for protocols
OSI protocol conformance testing: IS 9646 explained
OSI protocol conformance testing: IS 9646 explained
Risk Management for Software Projects
IEEE Software
An efficient recovery procedure for fault tolerance in distributed systems
Journal of Systems and Software - Special issue on fault tolerance in real-time systems
Automatic synthesis of state machines from trace diagrams
Software—Practice & Experience
Industrial and academic protocol testing: the gap and the means of convergence
Computer Networks and ISDN Systems
A framework for evaluating specification methods for reactive systems: experience report
Proceedings of the 17th international conference on Software engineering
Using partial-order methods in the formal validation of industrial concurrent programs
ISSTA '96 Proceedings of the 1996 ACM SIGSOFT international symposium on Software testing and analysis
Metrics and Models in Software Quality Engineering
Metrics and Models in Software Quality Engineering
Software Engineering Risk Management: A Just-in-Time Approach
Software Engineering Risk Management: A Just-in-Time Approach
OSI Conformance Testing Methodology and TTCN
OSI Conformance Testing Methodology and TTCN
Operational Profiles in Software-Reliability Engineering
IEEE Software
Protocol verification: the first ten years, the next ten years; some personal observations
Proceedings of the IFIP WG6.1 Tenth International Symposium on Protocol Specification, Testing and Verification X
The first ten years, the next ten years
Proceedings of the IFIP WG6.1 Tenth International Symposium on Protocol Specification, Testing and Verification X
What Makes Industries Believe in Formal Methods
Proceedings of the IFIP TC6/WG6.1 Thirteenth International Symposium on Protocol Specification, Testing and Verification XIII
An Engineering Approach to Formal Methods
Proceedings of the IFIP TC6/WG6.1 Thirteenth International Symposium on Protocol Specification, Testing and Verification XIII
Supporting Evolution of SDL-based Systems: Industrial Experience
Proceedings of the IFIP TC6 Eighth International Conference on Formal Description Techniques VIII
A New Approach for Protocols Performance Evaluation Using Estelle Specifications
Proceedings of the IFIP TC6 Eighth International Conference on Formal Description Techniques VIII
Test Generation by Exposing Control and Data Dependencies Within System Specifications in SDL
FORTE '93 Proceedings of the IFIP TC6/WG6.1 Sixth International Conference on Formal Description Techniques, VI
A Framework for the Design for Testability of Communication Protocols
Proceedings of the IFIP TC6/WG6.1 Sixth International Workshop on Protocol Test systems VI
Hierarchical Simulation of Layered Protocol Architectures Using Formal Specifications
Proceedings of the IFIP TC6 Task Force/WG6.4 Fifth International Conference on Data Communication Systems and their Performance: High Speed Networks and Their Performance
A practical strategy for testing pair-wise coverage of network interfaces
ISSRE '96 Proceedings of the The Seventh International Symposium on Software Reliability Engineering
Cleanroom Software Engineering
IEEE Software
Hi-index | 0.24 |
In this paper, we describe a quality-directed perspective on the lifecycle process of designing and assembling communications systems and services. We claim this perspective addresses some of the industrial concerns of quality and productivity for the protocol engineering process, while allowing for some of the best formal techniques known for protocol synthesis, verification, conformance testing and performance assessment. We hope that this perspective will assist in the development of a generic conceptual framework which enables the evolution, integration and practical application of protocol engineering models, methods, languages and tools.