Visual modeling with Rational Rose 2000 and UML (2nd ed.)
Visual modeling with Rational Rose 2000 and UML (2nd ed.)
Speech and Language Processing: An Introduction to Natural Language Processing, Computational Linguistics, and Speech Recognition
Foundations of Knowledge Representation and Reasoning
Foundations of Knowledge Representation and Reasoning
The Semantic Web: The Roles of XML and RDF
IEEE Internet Computing
Two-Level Grammar as an Object-Oriented Requirements Specification Language
HICSS '02 Proceedings of the 35th Annual Hawaii International Conference on System Sciences (HICSS'02)-Volume 9 - Volume 9
A centering approach to pronouns
ACL '87 Proceedings of the 25th annual meeting on Association for Computational Linguistics
Providing a unified account of definite noun phrases in discourse
ACL '83 Proceedings of the 21st annual meeting on Association for Computational Linguistics
T-Clipse: an integrated development environment for two-level grammar
eclipse '03 Proceedings of the 2003 OOPSLA workshop on eclipse technology eXchange
Shallow Knowledge as an Aid to Deep Understanding in Early Phase Requirements Engineering
IEEE Transactions on Software Engineering
Formal Methods For Quality Of Service Analysis In Component-Based Distributed Computing
Journal of Integrated Design & Process Science
ACM SIGSOFT Software Engineering Notes
NLDB'12 Proceedings of the 17th international conference on Applications of Natural Language Processing and Information Systems
Hi-index | 0.00 |
In software engineering a system requirements document written in a natural language (NL) needs to be translated into one of the formal specification languages for system execution. When this translation is to be automated, resolution of the ambiguity in the document and explicit definition of implicit domain knowledge are necessary. In our approach, Contextual Natural Language Processing is used to overcome the ambiguity and the domain knowledge is expressed in DARPA Agent Markup Language (DAML). The result is a formal representation of the informal requirements in NL for prototyping and even for implementation.