User: Guest  Login
Document type:
techreport 
Author(s):
Campetelli, Alarico; Cengarle, Maria Victoria; Gaponova, Irina; Harhurin, Alexander; Ratiu, Daniel; Thyssen, Judith 
Title:
Specification Techniques 
Abstract:
Model-based development assumes the pervasive use of models along all software development phases. Models are usually built using modelling tools. Behind each tool there is a modelling language that comprises one or more specification techniques. A specification technique represents the essential ideas (archetypal view) behind a modelling (sub-)language. Thus, concrete modelling languages instantiate one or more specification techniques. Currently, there are quite a number of specification techn...    »
 
Keywords:
specification paradigms, modelling languages, modelling tools 
Classification:
A.1, D.2.1, F.3.1, F.4.3 
Contracting organization:
Technische Universität München 
Year:
2010 
Pages:
87