A software design method and its application to protocol and communication software development
- 1 September 1988
- journal article
- Published by Elsevier in Computer Networks and ISDN Systems
- Vol. 15 (4) , 245-267
- https://doi.org/10.1016/0169-7552(88)90062-1
Abstract
No abstract availableKeywords
This publication has 32 references indexed in Scilit:
- Executable logic specifications for protocol service interfacesIEEE Transactions on Software Engineering, 1988
- Spanner: A Tool for the Specification, Analysis, and Evaluation of ProtocolsIEEE Transactions on Software Engineering, 1987
- Semiautomatic Implementation of Communication ProtocolsIEEE Transactions on Software Engineering, 1987
- Verification of NBS Class 4 Transport ProtocolIEEE Transactions on Communications, 1986
- Mechanical verification and automatic implementation of communication protocolsIEEE Transactions on Software Engineering, 1986
- A validation of the OSI session layer protocolComputer Networks and ISDN Systems, 1986
- Protocol Validation by Maximal Progress State ExplorationIEEE Transactions on Communications, 1984
- Technologies for Network Architecture and ImplementationIBM Journal of Research and Development, 1983
- A Meta-Implementation for Systems Network ArchitectureIEEE Transactions on Communications, 1982
- General Technique for Communications Protocol ValidationIBM Journal of Research and Development, 1978