Towards Test-Driven Semantics Specification

@inproceedings{Soltenborn2009TowardsTS,
  title={Towards Test-Driven Semantics Specification},
  author={Christian Soltenborn and Gregor Engels},
  booktitle={MoDELS},
  year={2009}
}
Behavioral models are getting more and more important within the software development cycle. To get the most use out of them, their behavior should be defined formally. As a result, many approaches exist which aim at specifying formal semantics for behavioral languages (e.g., Dynamic Meta Modeling (DMM), Semantic Anchoring). Most of these approaches give rise to a formal semantics which can e.g. be used to check the quality of a particular language instance, for instance using model checking… CONTINUE READING
10 Citations
16 References
Similar Papers

References

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

Graphical Modeling Framework

  • Eclipse Foundation
  • http://www.eclipse.org/ modeling/gmf/
  • 2009
Highly Influential
4 Excerpts

DSL Tools

  • Microsoft
  • http://msdn.microsoft.com/en-us/library/bb126235…
  • 2009
2 Excerpts

Domain-Specific Development with Visual Studio DSL Tools

  • S. Cook, G. Jones, S. Kent, A. Wills
  • Addison-Wesley Professional
  • 2007
2 Excerpts

Similar Papers

Loading similar papers…