Hierarchical Performance Evaluation Based on Formally Specified Communication Protocols
IEEE Transactions on Computers - Special issue on protocol engineering
Supporting evolution and maintenance by using a flexible automatic code generator
Proceedings of the 17th international conference on Software engineering
On parallelizing and optimizing the implementation of communication protocols
IEEE/ACM Transactions on Networking (TON)
Hardware/software co-design of an ATM network interface card: a case study
Proceedings of the 6th international workshop on Hardware/software codesign
A survey of structured and object-oriented software specification methods and techniques
ACM Computing Surveys (CSUR)
Application of high level interface-based design to telecommunications system hardware
Proceedings of the 36th annual ACM/IEEE Design Automation Conference
Heterogeneous modeling and simulation of embedded systems in El Greco
CODES '00 Proceedings of the eighth international workshop on Hardware/software codesign
Mixed-level cosimulation for fine gradual refinement of communication in SoC design
Proceedings of the conference on Design, automation and test in Europe
A generic wrapper architecture for multi-processor SoC cosimulation and design
Proceedings of the ninth international symposium on Hardware/software codesign
A Formal Model for SDL Specifications Based on Timed Rewriting Logic
Automated Software Engineering
Verification of Estelle-Specified Communication Protocols Using High-Level Petri Nets
Programming and Computing Software
χSuds-SDL: A Tool for Testing Software Architecture Specifications
Software Quality Control
Collaborative process patterns for e-Business
ACM SIGGROUP Bulletin
A hierarchy of communication models for message sequence charts
Science of Computer Programming
Specification and Design of Embedded Hardware-Software Systems
IEEE Design & Test
Software Testing Based on SDL Specifications with Save
IEEE Transactions on Software Engineering
Design Principles for Application Integration
CAiSE '00 Proceedings of the 12th International Conference on Advanced Information Systems Engineering
Towards a Framework for Comparing Process Modelling Languages
CAiSE '02 Proceedings of the 14th International Conference on Advanced Information Systems Engineering
Automatic Generation of a Software Performance Model Using an Object-Oriented Prototype
MASCOTS '95 Proceedings of the 3rd International Workshop on Modeling, Analysis, and Simulation of Computer and Telecommunication Systems
HyperMSCs with Connectors for Advanced Visual System Modelling and Testing
SDL '01 Proceedings of the 10th International SDL Forum Copenhagen on Meeting UML
Formal Modeling in a Commercial Setting: A Case Study
FM '99 Proceedings of the Wold Congress on Formal Methods in the Development of Computing Systems-Volume I - Volume I
Formal modeling in a commercial setting: a case study
Journal of Systems and Software
Bisimulation analysis of SDL-expressed protocols: a case study
CASCON '00 Proceedings of the 2000 conference of the Centre for Advanced Studies on Collaborative research
?SUDS-SDL: A Tool for Diagnosis and Understanding Software Specifications
APSEC '99 Proceedings of the Sixth Asia Pacific Software Engineering Conference
Meeting the Challenge of Large-Scale Software Development in an Educational Environment
CSEET '97 Proceedings of the 10th Conference on Software Engineering Education and Training
Detection of Response Time Failures of Real-Time Software
ISSRE '97 Proceedings of the Eighth International Symposium on Software Reliability Engineering
Hierarchical Supervisors For Automatic Detection Of Software Failures
ISSRE '97 Proceedings of the Eighth International Symposium on Software Reliability Engineering
Coverage testing software architectural design in SDL
Computer Networks: The International Journal of Computer and Telecommunications Networking - ITU-T system design languages (SDL)
Smart debugging software architectural design in SDL
Journal of Systems and Software - Special issue: Computer software & applications
Object-oriented technologies for automated manufacturing systems development
International Journal of Computer Applications in Technology
Modeling and verification of the SDL-specified communication protocols using high-level Petri nets
Programming and Computing Software
An agent-based approach for supporting quality of service in distributed multimedia systems
Computer Communications
Validation of SDL-based architectural design models using communication-based coverage criteria
Information and Software Technology
| Hi-index | 0.00 |