SODOS: a software documentation support environment—its definition
IEEE Transactions on Software Engineering
IEEE Transactions on Software Engineering
Maintaining knowledge about temporal intervals
Communications of the ACM
Program design by informal English descriptions
Communications of the ACM
Abstract data types and software validation
Communications of the ACM
Structured Analysis and System Specification
Structured Analysis and System Specification
Creating formal specifications from requirements documents
ACM SIGSOFT Software Engineering Notes
KBMS: A Knowledge-Based System for Modeling Software System Specifications
IEEE Transactions on Knowledge and Data Engineering
Developing Document Analysis and Data Extraction Tools for Entity Modelling
NLDB '00 Proceedings of the 5th International Conference on Applications of Natural Language to Information Systems-Revised Papers
On the Automatization of Database Conceptual Modelling through Linguistic Engineering
NLDB '00 Proceedings of the 5th International Conference on Applications of Natural Language to Information Systems-Revised Papers
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
Eliciting formal models of software engineering processes
CASCON '94 Proceedings of the 1994 conference of the Centre for Advanced Studies on Collaborative research
A quantitative and qualitative analysis of factors affecting software processes
Journal of Systems and Software
Natural Language Engineering
Ontology Based Requirements Analysis: Lightweight Semantic Processing Approach
QSIC '05 Proceedings of the Fifth International Conference on Quality Software
Requirements validation via automated natural language parsing
Journal of Management Information Systems - Special section: Information technology and its organizational impact
Conceptual modelling tool for novice designers
International Journal of Metadata, Semantics and Ontologies
On the Identification of Goals in Stakeholders' Dialogs
Innovations for Requirement Analysis. From Stakeholders' Needs to Formal Designs
Extracting conceptual graphs from Japanese documents for software requirements modeling
APCCM '09 Proceedings of the Sixth Asia-Pacific Conference on Conceptual Modeling - Volume 96
From requirements to models: feedback generation as a result of formalization
CAiSE'11 Proceedings of the 23rd international conference on Advanced information systems engineering
SBEAVER: a tool for modeling business vocabularies and business rules
KES'06 Proceedings of the 10th international conference on Knowledge-Based Intelligent Information and Engineering Systems - Volume Part III
Hi-index | 0.00 |