Synthesis of Communication Protocols: Survey and Assessment
IEEE Transactions on Computers - Special issue on protocol engineering
Formal specification and use case generation for a mobile telephony system
Computer Networks and ISDN Systems
A practical method for verifying event-driven software
Proceedings of the 21st international conference on Software engineering
Insight: reverse engineer case tool
Proceedings of the 21st international conference on Software engineering
Formal Methods for Early Fault Detection
FTRTFT '96 Proceedings of the 4th International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems
From Scenarios to Timed Automata: Building Specifications from Users Requirements
APSEC '95 Proceedings of the Second Asia Pacific Software Engineering Conference
Precise specification of use case scenarios
FASE'07 Proceedings of the 10th international conference on Fundamental approaches to software engineering
Towards synthesis of petri nets from scenarios
ICATPN'06 Proceedings of the 27th international conference on Applications and Theory of Petri Nets and Other Models of Concurrency
Can i execute my scenario in your net? viptool tells you!
ICATPN'06 Proceedings of the 27th international conference on Applications and Theory of Petri Nets and Other Models of Concurrency
Hi-index | 0.00 |
Wider adoption of formal specification languages in industry is impeded by the lack of support for early development phases and for integration with older, legacy software. Methodology aimed at improving this situation is presented. The methodology uses message sequence charts as a ''front-end'' specification language and systematically applies an automatic synthesis technique to produce executable specifications in the telecommunications standard Specification and Description Language. Applications of the automatic synthesis technique for both forward and reverse engineering are demonstrated.