Denotational semantics: a methodology for language development
Denotational semantics: a methodology for language development
Modular first-order specifications of operational semantics
on Programs as data objects
The semantics of programming languages: an elementary introduction using structural operational semantics
Eli: a complete, flexible compiler construction system
Communications of the ACM
PCCTS reference manual: version 1.00
ACM SIGPLAN Notices
A meta-environment for generating programming environments
ACM Transactions on Software Engineering and Methodology (TOSEM)
A mathematical definition of full Prolog
Science of Computer Programming
Evolving algebras 1993: Lipari guide
Specification and validation methods
The semantics of the C++ programming language
Specification and validation methods
On the need for a popular formal semantics
ACM SIGPLAN Notices
Programming pearls: little languages
Communications of the ACM
An axiomatic basis for computer programming
Communications of the ACM
Denotational Semantics: The Scott-Strachey Approach to Programming Language Theory
Denotational Semantics: The Scott-Strachey Approach to Programming Language Theory
A Discipline of Programming
The Realizable Benefits of a Language Prototyping Language
IEEE Transactions on Software Engineering
Occam: Specification and Compiler Correctness - Part I: The Primary Model
PROCOMET '94 Proceedings of the IFIP TC2/WG2.1/WG2.2/WG2.3 Working Conference on Programming Concepts, Methods and Calculi
The Semantics of the C Programming Language
CSL '92 Selected Papers from the Workshop on Computer Science Logic
Formal aspects of and development environments for Montages
Algebraic'97 Proceedings of the 2nd international conference on Theory and Practice of Algebraic Specifications
XASM - An Extensible, Component-Based ASM Language
ASM '00 Proceedings of the International Workshop on Abstract State Machines, Theory and Applications
| Hi-index | 0.00 |
Domain Specific Languages help to split the software live cycle in different independent cycles. While the use of the newly created language is just an additional tool in the established cycle, the language live cycle is independent and opens the doors for the application of formal methods. We report on an industrial case study, where a driver specification language has been designed, formally specified, and finally an implementation has been generated from the specification. Using Abstract State Machines and Montages for the language specification, it was possible that the industrial partners learned how to maintain and extend the language specification. On the other hand the formal semantics of the method allows to apply different verification-oriented methods to the artifacts.