References

  1. M. van Amstel, M. van den Brand & L. Engelen (2010): An Exercise in Iterative Domain-Specific Language Design. In: Proceedings of the Joint ERCIM Workshop on Software Evolution (EVOL) and International Workshop on Principles of Software Evolution (IWPSE). ACM, Antwerp, Belgium, pp. 48–57, doi:10.1145/1862372.1862386.
  2. M.F. van Amstel, M.G.J. van den Brand, Z. Proti\'c & T. Verhoeff (2008): Transforming Process Algebra Models into UML State Machines: Bridging a Semantic Gap?. In: Proceedings of the First International Conference on Model Transformation (ICMT'08), LNCS 5063. Springer, Zürich, Switserland, pp. 61–75, doi:10.1007/978-3-540-69927-9.
  3. D. Baum (2003): NQC Programmer's Guide.
  4. J. A. Bergstra (1989): Algebraic Specification, chapter 1, pp. 1–66. ACM.
  5. M.G.J. van den Brand & P. Klint (2007): ATerms for manipulation and exchange of structured data: It's all about sharing. Information and Software Technology 49, pp. 55–64, doi:10.1016/j.infsof.2006.08.009.
  6. M. van den Brand et al. (2001): The ASF+SDF Meta-Environment: a Component-Based Language Development Environment. In: Proceedings of Compiler Construction 2001 (CC 2001), LNCS 2027. Springer-Verlag, London, UK, pp. 365–370, doi:10.1007/3-540-45306-7_26.
  7. A. van Deursen, P. Klint & J. Visser (2000): Domain-Specific Languages: An Annotated Bibliography. SIGPLAN Notices 35(6), pp. 26–36, doi:10.1145/352029.352035.
  8. D. Di Ruscio et al. (2006): A Practical Experiment to Give Dynamic Semantics to a DSL for Telephony Services Development. Technical Report. Laboratoire d'Informatique de Nantes-Atlantique (LINA), doi:10.1.1.101.6120.
  9. S. Eker, J. Meseguer & A. Sridharanarayanan (2002): The Maude LTL Model Checker. In: Proceedings of the 4th International Workshop on Rewriting Logic and Its Applications (WRLA 2002), ENTCS 71. Elsevier, Amsterdam, doi:10.1016/S1571-0661(05)82534-4.
  10. J. Ellson et al. (2002): Graphviz — Open Source Graph Drawing Tools. In: International Symposium on Graph Drawing, LNCS 2265. Springer-Verlag, pp. 594–597, doi:10.1007/3-540-45848-4_57.
  11. H. Garavel, F. Lang, R. Mateescu & W. Serwe (2011): CADP 2010: A Toolbox for the Construction and Analysis of Distributed Processes. In: TACAS, LNCS 6605. Springer, pp. 372–387, doi:10.1007/978-3-642-19835-9_33.
  12. R.J. van Glabbeek & P. Weijland (1996): Branching time and abstraction in bisimulation semantics. Journal of the ACM 43, pp. 555–600, doi:10.1145/233551.233556.
  13. J.F. Groote et al. (2006): The Formal Specification Language mCRL2. In: MMOSS, Dagstuhl Seminar Proceedings 06351. Available at http://drops.dagstuhl.de/opus/volltexte/2007/862.
  14. G.J. Holzmann (1997): The Model Checker SPIN. IEEE Transactions on Software Engineering 23(5), pp. 279–295, doi:10.1109/32.588521.
  15. J. Hooman & M.B. van der Zwaag (2006): A Semantics of Communicating Reactive Objects with Timing. International Journal on Software Tools for Technology Transfer (STTT) 8(2), pp. 97–112, doi:10.1007/s10009-005-0207-8.
  16. Prototyping SLCO Semantics Project. http://code.google.com/p/prototyping-slco-semantics/.
  17. J.E. Rivera, F. Durán & A. Vallecillo (2009): Formal Specification and Analysis of Domain Specific Models Using Maude. Simulation 85, pp. 778–792, doi:10.1177/0037549709341635.
  18. V. Rusu (2011): Embedding Domain-Specific Modelling Languages in Maude Specifications. SIGSOFT Softw. Eng. Notes 36, pp. 1–8, doi:10.1145/1921532.1921557.
  19. D.A. Sadilek & G. Wachsmuth (2008): Prototyping Visual Interpreters and Debuggers for Domain-Specific Modelling Languages. In: Proceedings of European conference on Model Driven Architecture: Foundations and Applications, LNCS 5095. Springer-Verlag, pp. 63–78, doi:10.1007/978-3-540-69100-6_5.
  20. D. C. Schmidt (2006): Model-Driven Engineering. Computer 39(2), pp. 25–31, doi:10.1109/MC.2006.58.
  21. B.D. Theelen et al. (2007): Software/Hardware Engineering with the Parallel Object-Oriented Specification Language. In: Proceedings of IEEE/ACM International Conference on Formal Methods and Models for Codesign (MEMOCODE'07). IEEE, Nice, France, pp. 139–148, doi:10.1109/MEMCOD.2007.371231.
  22. E. Visser (1997): Syntax Definition for Language Prototyping. University of Amsterdam.
  23. B.-Y. Wang (2005): μ-Calculus Model Checking in Maude. ENTCS 117, pp. 135–152, doi:10.1016/j.entcs.2004.06.025.

Comments and questions to: eptcs@eptcs.org
For website issues: webmaster@eptcs.org