71 search results - page 1 / 15 » Domain Engineering with Event-B: Some Lessons We Learned |
RE
2010
Springer
12 years 11 months ago
2010
Springer
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...
ESEM
2008
ACM
13 years 6 months ago
2008
ACM
Component-Based Software Engineering (CBSE) with Open Source Software and Commercial-Off-the-Shelf (COTS) components, Open Source Software (OSS) based development, and Software Ou...
ICSE
1998
IEEE-ACM
13 years 9 months ago
1998
IEEE-ACM
Negotiating requirements is one of the first steps in any software system life cycle, but its results have probably the most significant impact on the system's value. However...
RE
2002
Springer
13 years 4 months ago
2002
Springer
There are many different approaches to elicit requirements each having its strengths and weaknesses. Hence, some approaches may be ore suitable to one domain then another. Moreove...
CAISE
2009
Springer
13 years 11 months ago
2009
Springer
In CAiSE 2006, we had presented a framework to support development of secure information systems. The framework was based on the integration of two security-aware approaches, the S...