Login / Signup
IDF: A framework for the incremental development and conformance verification of UML active primitive components.
Thomas Lambolais
Anne-Lise Courbis
Hong-Viet Luong
Christian Percebois
Published in:
J. Syst. Softw. (2016)
Keyphrases
</>
software engineering
core components
case study
knowledge based systems
main contribution
database design
incremental learning
web services
probabilistic model
model checking
software architecture
design principles
reusable components
model driven engineering