A framework for defining logics
Journal of the ACM (JACM)
Type-theoretical grammar
The object constraint language: precise modeling with UML
The object constraint language: precise modeling with UML
The Cornell program synthesizer: a syntax-directed programming environment
Communications of the ACM
Handbook of logic in computer science
TLCA '95 Proceedings of the Second International Conference on Typed Lambda Calculi and Applications
The KeY Approach: Integrating Object Oriented Design and Formal Verification
JELIA '00 Proceedings of the European Workshop on Logics in Artificial Intelligence
iContract - The Java(tm) Design by Contract(tm) Tool
TOOLS '98 Proceedings of the Technology of Object-Oriented Languages and Systems
Multilingual authoring using feedback texts
COLING '98 Proceedings of the 17th international conference on Computational linguistics - Volume 2
XML and multilingual document authoring: convergent trends
COLING '00 Proceedings of the 18th conference on Computational linguistics - Volume 1
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
Modular architecture for a toolset supporting OCL
UML'00 Proceedings of the 3rd international conference on The unified modeling language: advancing the standard
An extensible proof text editor
LPAR'00 Proceedings of the 7th international conference on Logic for programming and automated reasoning
Journal of Functional Programming
Realization of natural language interfaces using lazy functional programming
ACM Computing Surveys (CSUR)
On the specification of parameterizable business components
TEAA'06 Proceedings of the 2nd international conference on Trends in enterprise application architecture
Multilingual syntax editing in GF
CICLing'03 Proceedings of the 4th international conference on Computational linguistics and intelligent text processing
Verification of object-oriented software: The KeY approach
Verification of object-oriented software: The KeY approach
Natural language generation from class diagrams
Proceedings of the 8th International Workshop on Model-Driven Engineering, Verification and Validation
A library of OCL specification patterns for behavioral specification of software components
CAiSE'06 Proceedings of the 18th international conference on Advanced Information Systems Engineering
Simplifying transformations of OCL constraints
MoDELS'05 Proceedings of the 8th international conference on Model Driven Engineering Languages and Systems
Translating formal software specifications to natural language
LACL'05 Proceedings of the 5th international conference on Logical Aspects of Computational Linguistics
| Hi-index | 0.00 |
We describe foundations and design principles of a tool that supports authoring of informal and formal software requirements specifications simultaneously and from a single source. The tool is an attempt to bridge the gap between completely informal requirements specifications (as found in practice) and formal ones (as needed in formal methods). The user is supported by an interactive syntax-directed editor, parsers and linearizers. As a formal specification language we realize the Object Constraint Language, a substandard of the UML, on the informal side a fragment of English. The implementation is based on the Grammatical Framework, a generic tool that combines linguistic and logical methods.