On the Specification and Synthesis of Communicating Processes
IEEE Transactions on Software Engineering
Formalization of Protocol Engineering Concepts
IEEE Transactions on Computers - Special issue on protocol engineering
Early Experience with the Visual Programmer's WorkBench
IEEE Transactions on Software Engineering
Synthesis of communications protocols: an annotated bibliography
ACM SIGCOMM Computer Communication Review
Transformational partitioning for co-design of multiprocessor systems
ICCAD '97 Proceedings of the 1997 IEEE/ACM international conference on Computer-aided design
A survey of structured and object-oriented software specification methods and techniques
ACM Computing Surveys (CSUR)
Software Testing Based on SDL Specifications with Save
IEEE Transactions on Software Engineering
Using business rules within a design process of active databases
Data warehousing and web engineering
FORM: A Frame-Oriented Representation Method for Digital Telecommunication System Design
EDTC '96 Proceedings of the 1996 European conference on Design and Test
Formal Methods of Analysis of System Properties
Cybernetics and Systems Analysis
Using design fragments to modularize the design of communications in concurrent systems
IWSSD '93 Proceedings of the 7th international workshop on Software specification and design
Modeling of business rules for active database application specification
Advanced topics in database research vol. 1
Automatic Modeling and Analysis of MSC-specified Systems
Fundamenta Informaticae - Concurrency Specification and Programming (CS&P 2004)
Automatic Modeling and Analysis of MSC-specified Systems
Fundamenta Informaticae - Concurrency Specification and Programming (CS&P 2004)
| Hi-index | 0.01 |