631 search results - page 30 / 127 » An Integrated Formal Model of Scenarios Based on Statecharts |
DATE
2005
IEEE
15 years 3 months ago
2005
IEEE
This paper describes first results from the AutoMoDe (Automotive Model-Based Development) project. The overall goal of the project is to develop an integrated methodology for mode...
OTM
2005
Springer
15 years 3 months ago
2005
Springer
We propose a formal definition of a pervasive service model targeting the very dynamic environments typical of mobile application scenarios. The model is based on a requirement an...
SWAP
2008
14 years 11 months ago
2008
Abstract. Enterprise modelling focuses on the construction of a structured description, the so-called enterprise model, which represents (a subset of) the aspects relevant to the a...
CP
1995
Springer
15 years 1 months ago
1995
Springer
Object-based knowledge representation systems bene t from the declarative power of the object formalism for modeling, organizing and storing large amounts of knowledge. They also ...
SEW
2006
IEEE
15 years 3 months ago
2006
IEEE
Complex software systems typically involve features like time, concurrency and probability, where probabilistic computations play an increasing role. It is challenging to formaliz...