IRTAW '87 Proceedings of the first international workshop on Real-time Ada issues
Please: a language combining imperative and logic programming
ACM SIGPLAN Notices
ICSE '88 Proceedings of the 10th international conference on Software engineering
Tools to support formal methods
ICSE '89 Proceedings of the 11th international conference on Software engineering
LCD-reification: a formal method for developing Prolog programs
IWSSD '89 Proceedings of the 5th international workshop on Software specification and design
Control and Definition Modularization: an Improved Software Design Technique for Organizing Programs
IEEE Transactions on Software Engineering
Querying of Executable Software Specifications
IEEE Transactions on Software Engineering
Full functional programming in a declarative Ada dialect
TRI-Ada '92 Proceedings of the conference on TRI-Ada '92
Using KIDS as a tool support for VDM
Proceedings of the 18th international conference on Software engineering
Prototyping real-time vision systems: an experiment in DSL design
Proceedings of the 21st international conference on Software engineering
Towards quality requirements via animated formal specifications
Annals of Software Engineering
Specification and Animation of a Bank Transfer using KIDS/VDM
Automated Software Engineering
Executing Formal Specifications with Concurrent Constraint Programming
Automated Software Engineering
Directions in Functional Programming for Real(-Time) Applications
EMSOFT '01 Proceedings of the First International Workshop on Embedded Software
FVision: A Declarative Language for Visual Tracking
PADL '01 Proceedings of the Third International Symposium on Practical Aspects of Declarative Languages
A C++ library for implementing specifications
WIFT '95 Proceedings of the 1st Workshop on Industrial-Strength Formal Specification Techniques
ICSR '98 Proceedings of the 5th International Conference on Software Reuse
Hi-index | 0.00 |