4890 search results - page 434 / 978 » From system specifications to component behavioral models |
195
click to vote
TSE
2008
15 years 7 months ago
2008
Timed Automata have proven to be useful for specification and verification of real-time systems. System design using Timed Automata relies on explicit manipulation of clock variabl...
247
click to vote
DIGRA
2005
Springer
16 years 19 days ago
2005
Springer
Do computer simulation games display emergent behavior? Are they models of complex systems or ‘life’ systems? This paper aims to explore and investigate how games studies can ...
144
click to vote
DEDS
2008
15 years 7 months ago
2008
The paper addresses the problem of designing a component that combined with a known part of a system, called the context FSM, is a reduction of a given specification FSM. We study...
187
click to vote
CIMCA
2008
IEEE
16 years 1 months ago
2008
IEEE
Complex and long-lived software need to be upgraded at runtime. Replacing a software component with a newer version is the basic evolution operation that has to be supported. It i...
158
click to vote
COMPSAC
2002
IEEE
16 years 1 days ago
2002
IEEE
It is well understood that using a software component methodology can simplify the development and maintenance of systems. Web services allow this vision to be extended allowing c...