Proxy: an interpreter for rapid prototyping
ACM SIGPLAN Notices
Towards a canonical specification of document structures
SIGDOC '92 Proceedings of the 10th annual international conference on Systems documentation
Using ABC to prototype VDM specifications
ACM SIGPLAN Notices
Aslantest: a symbolic execution tool for testing Aslan formal specifications
ISSTA '94 Proceedings of the 1994 ACM SIGSOFT international symposium on Software testing and analysis
Using KIDS as a tool support for VDM
Proceedings of the 18th international conference on Software engineering
Formal refinement patterns for goal-driven requirements elaboration
SIGSOFT '96 Proceedings of the 4th ACM SIGSOFT symposium on Foundations of software engineering
Inferring Declarative Requirements Specifications from Operational Scenarios
IEEE Transactions on Software Engineering
Trace-Based Load Characterization for Generating Performance Software Models
IEEE Transactions on Software Engineering
Logic program based action specifications
SAC '95 Proceedings of the 1995 ACM symposium on Applied computing
Formal specification: a roadmap
Proceedings of the Conference on The Future of 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
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
Consistent database sampling as a database prototyping approach
Journal of Software Maintenance: Research and Practice
Requirements interaction management
ACM Computing Surveys (CSUR)
Challenges in the successful transfer of formal methods technology into industrial applications
Information and Software Technology
Hi-index | 0.00 |