Sciweavers

RE
2010
Springer
13 years 6 months ago
Domain Engineering with Event-B: Some Lessons We Learned
Domain modeling is an important aspect of software engineering. This paper presents our experience of modeling land transportation domain in the formal framework of Event-B. The do...
Atif Mashkoor, Jean-Pierre Jacquot