Experiences in Using B and UML in Industrial Development.

Published in: B (2007)

Keyphrases

software engineering
case study
development process
knowledge based systems
design principles
model driven engineering
expert systems
object oriented
knowledge management
software development
quality improvement