Integrating Domain Specific Language Design in the Software Life Cycle

  title={Integrating Domain Specific Language Design in the Software Life Cycle},
  author={Philipp W. Kutter and Daniel Schweizer and Lothar Thiele},
Domain Speciic Languages help to split the software live cycle in diierent 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 speciication language has been designed, formally speciied, and nally an implementation has been generated from the speciication. Using Abstract State… CONTINUE READING
Highly Cited
This paper has 24 citations. REVIEW CITATIONS

From This Paper

Topics from this paper.


Publications citing this paper.
Showing 1-10 of 14 extracted citations


Publications referenced by this paper.
Showing 1-10 of 25 references

Beyond decision support

  • S. B. Codd, C. T. Salley.
  • 1998

Das cubix-metamodell

  • R. Marti
  • 1997
1 Excerpt

Montages : Speci cations of realistic programming languages

  • A. Pierantonio.
  • J . UCS
  • 1997

On the construction of correct compiler backends : An asm approach

  • T. Gaul
  • Journal of Universal Computer Science
  • 1997

The formal speci cation of Oberon

  • A. Pierantonio
  • J . UCS
  • 1997

Toward a mathematical semantics for computer languages

  • D. S. Scott, C. Strachey.
  • Computers and Automata
  • 1997

and A

  • M. Anlau, P. W. Kutter
  • Pierantonio. Montages-Homepage,
  • 1997
1 Excerpt

Similar Papers

Loading similar papers…