International Workshop on Modeling in Software Engineering (MISE'07: ICSE Workshop 2007) (2007)
May 20, 2007 to May 26, 2007
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/MISE.2007.11
Carlo A. Furia , Politecnico di Milano, Italy
Matteo Rossi , Politecnico di Milano, Italy
Dino Mandrioli , Politecnico di Milano, Italy
In this paper we argue that the modeling activity in the development of software-intensive systems should formalize as much as possible of the environment in which the application being developed operates. We also show that a rich formal model of the environment helps developers clearly state requirements that might typically be considered intrinsically informal (or non-formalizable in general). To illustrate this point, we show how a requirement for "orderly safe traffic" in a traffic system can be modeled, and we briefly discuss the benefits thereof.
C. A. Furia, M. Rossi and D. Mandrioli, "Modeling the Environment in Software-Intensive Systems," International Workshop on Modeling in Software Engineering (MISE'07: ICSE Workshop 2007)(MISE), Minneapolis, Minnesota, 2007, pp. 11.