CHIOREAN Dan, PETRAȘCU Vladiela, PETRAȘCU Dragoș
TECHNIQUES FOR A RIGOROUS DESIGN OF LANGUAGES AND APPLICATIONS

 
  LITERE, TEATRU ŞI FILM
   
  978-973-595-349-2
  2014
 
  DISPONIBIL LA CERERE
  buc. add to cart
   
REZUMAT: 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).