Proceedings of the 2002 ACM symposium on Applied computing
Formal specification of generative component assembly using two-level grammar
SEKE '02 Proceedings of the 14th international conference on Software engineering and knowledge engineering
ICFEM '02 Proceedings of the 4th International Conference on Formal Engineering Methods: Formal Methods and Software Engineering
T-Clipse: an integrated development environment for two-level grammar
eclipse '03 Proceedings of the 2003 OOPSLA workshop on eclipse technology eXchange
A translation approach to component specification
OOPSLA '02 Companion of the 17th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Validation of Distributed Real-Time and Embedded System composition in UniFrame
ACM-SE 42 Proceedings of the 42nd annual Southeast regional conference
A two-dimensional separation of concerns for compiler construction
Proceedings of the 2005 ACM symposium on Applied computing
COLING '02 Proceedings of the 19th international conference on Computational linguistics - Volume 1
OOPSLA '05 Companion to the 20th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Formal Methods For Quality Of Service Analysis In Component-Based Distributed Computing
Journal of Integrated Design & Process Science
Generating Executable Scenarios from Natural Language
CICLing '09 Proceedings of the 10th International Conference on Computational Linguistics and Intelligent Text Processing
The MP (Materialization Pattern) Model for Representing Math Educational Standards
ER '09 Proceedings of the ER 2009 Workshops (CoMoL, ETheCoM, FP-UML, MOST-ONISW, QoIS, RIGiM, SeCoGIS) on Advances in Conceptual Modeling - Challenging Perspectives
A Component Assembly Approach Based On Aspect-Oriented Generative Domain Modeling
Electronic Notes in Theoretical Computer Science (ENTCS)
Proceedings of the 12th Monterey conference on Reliable systems on unreliable networked platforms
Evolution and reuse of language specifications for DSLs (ERLS)
ECOOP'04 Proceedings of the 2004 international conference on Object-Oriented Technology
Natural MDA: controlled natural language for action specifications on model driven development
ODBASE'06/OTM'06 Proceedings of the 2006 Confederated international conference on On the Move to Meaningful Internet Systems: CoopIS, DOA, GADA, and ODBASE - Volume Part I
| Hi-index | 0.00 |
Two-Level Grammar (TLG) is proposed as an object-oriented requirements specification language with a natural language (NL) style but sufficiently formal to allow automatic transformation of the TLG specification into formal specifications in VDM++, an object-oriented version of the Vienna Development Method. The VDM++ specification may be further transformed into Java code or integrated with the Unified Modeling Language (UML) using the IFAD VDM Toolbox. The translation into an executable programming language facilitates rapid prototyping of TLG specifications and the integration with UML allows TLG specification to be used in conjunction with software systems being constructed using UML. This software specification approach is supported by a specification development environment (SDE) for constructing TLG specifications and a natural language processing system to assist in translating an NL requirements specification into TLG. The system described is a useful and constructive tool for automating the production of software systems from NL specifications.