TECHNIQUES FOR A RIGOROUS DESIGN OF LANGUAGES AND APPLICATIONS

This book has been conceived, realized and printed with the support of the CNCSIS – UEFISCSU research project ”Extensive Metamodeling-based Framework for Specifying, Implementing and Validating Languages and Applications”, acronym EMF SIVLA (CUEM - SIVLA in Romanian). As both the project and the book titles suggest, the present work has been focused on using modeling and rigorous specification techniques in producing software. The development paradigm has been Model Driven-Engineering (MDE) and the main instrument used to support the development of reliable and predictable software has been the Design by Contract (DBC) method. At the model and metamodel levels, assertions have been specified using Object Constraint Language (OCL), the standard language proposed by the Object Management Group (OMG).