650 search results - page 87 / 130 » Modeling SPARK systems with UML |
ICSM
2009
IEEE
15 years 6 months ago
2009
IEEE
To improve the ability of predicting the impact scope of a given change, we present two approaches applicable to the maintenance of object-oriented software systems. Our first ap...
IADIS
2004
15 years 1 months ago
2004
MIDAS is a model-driven methodology for Web Information Systems development based on the OMG's Model Driven Architecture. It proposes to use UML to describe different views o...
113
click to vote
ICSEA
2006
IEEE
15 years 5 months ago
2006
IEEE
—Stochastic activity networks (SANs) are a stochastic generalization of Petri nets. SAN models have been used to evaluate a wide range of systems and are supported by several mod...
101
click to vote
ACSC
2006
IEEE
15 years 5 months ago
2006
IEEE
This paper describes our experience when applying formal methods in the design of the tourist information system TIP, which presents context-sensitive information to mobile users ...
FASE
2010
Springer
15 years 6 months ago
2010
Springer
Abstract. Context-awareness is becoming a first class attribute of software systems. In fact, applications for mobile devices need to be aware of their context in order to adapt t...