Login / Signup
Supporting Reuse in Event B Development: Modularisation Approach.
Alexei Iliasov
Elena Troubitsyna
Linas Laibinis
Alexander B. Romanovsky
Kimmo Varpaaniemi
Dubravka Ilic
Timo Latvala
Published in:
ASM (2010)
Keyphrases
</>
decision support
support systems
software engineering
event detection
real world
case study
decision support system
information processing
design process
development process
software reuse
ontology development
reusable components