Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

13

RE
2010
Springer

favoriteEmaildiscussreport

168views Software Engineering» more RE 2010»

Domain Engineering with Event-B: Some Lessons We Learned

12 years 11 months ago

Domain Engineering with Event-B: Some Lessons We Learned

Download hal.archives-ouvertes.fr

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 domain exhibits interesting features, such as high levels of non-determinism, complex interactions, stringent safety properties, etc.. Time is an essential multifaceted feature of the domain. We discuss the

Atif Mashkoor, Jean-Pierre Jacquot

Real-time Traffic

Domain Modeling | Essential Multifaceted Feature | Land Transportation Domain | RE 2010 | Software Engineering |

claim paper

Related Content

» Some lessons learned in conducting software engineering surveys in china

» Software Requirements Negotiation Some Lessons Learned

» Requirements Engineering in the Health Care Domain

» Secure Information Systems Engineering Experiences and Lessons Learned from Two Health Car...

» Acquiring and delivering lessons learned for NASA scientists and engineers a dynamic appro...

» Lessons from Using Basic LOTOS

» An ontological model of device function industrial deployment and lessons learned

» CodeCrawler Lessons Learned in Building a Software Visualization Tool

» Observations and lessons learned from automated testing

Post Info
More Details (n/a)

Added	20 May 2011
Updated	20 May 2011
Type	Journal
Year	2010
Where	RE
Authors	Atif Mashkoor, Jean-Pierre Jacquot

Comments (0)