The Community for Technology Leaders
International Workshop on Modeling in Software Engineering (MISE'07: ICSE Workshop 2007) (2007)
Minneapolis, Minnesota
May 20, 2007 to May 26, 2007
ISBN: 0-7695-2953-4
pp: 11
Carlo A. Furia , Politecnico di Milano, Italy
Matteo Rossi , Politecnico di Milano, Italy
Dino Mandrioli , Politecnico di Milano, Italy
ABSTRACT
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.
INDEX TERMS
null
CITATION

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.
doi:10.1109/MISE.2007.11
96 ms
(Ver 3.3 (11022016))