An automatic generation approach of B Specifications From UML Diagrams.

Seidali Rehab Elhillali Kerkouche Allaoua Chaoui

Published in: ICDIM (2012)

Keyphrases

uml diagrams
software design
constraint language
unified modeling language
design patterns
software engineers
uml class diagrams
high level
software engineering
artificial intelligence
software systems
database
machine learning
formal specification
class diagram