Coming and Going from UML to B: A Proposal to Support Traceability in Rigorous IS Development.
Regine LaleauFiona PolackPublished in: ZB (2002)
Keyphrases
- tool support
- software engineering
- decision support
- support systems
- software architecture
- enabling technologies
- model driven engineering
- design tools
- modeling language
- support environment
- conceptual modeling
- development process
- information processing
- end users
- artificial intelligence
- formal methods
- knowledge management
- model driven development
- open source