A Two-Variable Fragment of English
Journal of Logic, Language and Information
Tools for producing formal specifications: a view of current architectures and future directions
Annals of Software Engineering
M2Z: A Tool for Translating a Natural Language Software Specification into Z
ICFEM '02 Proceedings of the 4th International Conference on Formal Engineering Methods: Formal Methods and Software Engineering
A semantically-derived subset of English for hardware verification
ACL '99 Proceedings of the 37th annual meeting of the Association for Computational Linguistics on Computational Linguistics
Real-time specification patterns
Proceedings of the 27th international conference on Software engineering
Reasoning about inconsistencies in natural language requirements
ACM Transactions on Software Engineering and Methodology (TOSEM)
On the Systematic Analysis of Natural Language Requirements with CIRCE
Automated Software Engineering
Fourth international workshop on Software quality assurance: in conjunction with the 6th ESEC/FSE joint meeting
Formalization and validation of a subset of the European Train Control System
Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering - Volume 2
A computational framework for authoring and searching product design specifications
Advanced Engineering Informatics
Faithfully formalizing OSEK/VDX operating system specification
Proceedings of the Third Symposium on Information and Communication Technology
Validation of requirements for hybrid systems: A formal approach
ACM Transactions on Software Engineering and Methodology (TOSEM)
An algorithm for transforming design text ROM diagram into FBS model
Computers in Industry
| Hi-index | 0.00 |