Vers une intégration utile de notations semi-formelles et formelles : une expérience en UML et Z.
Sophie DupuyYves LedruMonique Chabre-PeccoudPublished in: Obj. Logiciel Base données Réseaux (2000)
Keyphrases
- modeling language
- unified modeling language
- levels of abstraction
- expert systems
- software engineering
- database design
- endpoints
- metamodel
- uml activity diagrams
- uml profile
- uml models
- specification language
- conceptual models
- formal methods
- databases
- software systems
- software development
- object oriented
- upper bound
- lower bound
- neural network