A Goal-Based Approach to Guide the Design of an Abstract Event-B Specification.

Abderrahman Matoussi Frédéric Gervais Régine Laleau

Published in: ICECCS (2011)

Keyphrases

high level
e learning
case study
software architecture
optimal design
design goals
artificial intelligence
website
database systems
user interface
design principles
engineering design
design decisions
design methodology
event recognition