: Open Source Software (OSS) has been well established in industrial software processes during the last couple of years. However, as the combination of OSS and commercial software ...
Christoph Niedermeier, Reiner Schmid, Winfried Sei...
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...
: To supply the financial engineering community with adequate and timely software support we advocate a reusability oriented approach to software development. The approach focuses ...
Despite its origins in software modeling, there has been growing interest in using the Unified Modeling Language (UML) for conceptual modeling of application domains. However, the...