1655 search results - page 57 / 331 » State, Event, Time and Diagram in System Modeling |
ISORC
1999
IEEE
13 years 12 months ago
1999
IEEE
Component-based software development is a promising way to improve quality, time to market and handle the increasing complexity of software for real-time systems. In this paper th...
ER
2005
Springer
14 years 1 months ago
2005
Springer
Abstract. Understanding a large schema without the assistance of persons already familiar with it (and its associated applications), is a hard and very time consuming task that occ...
AI
2004
Springer
13 years 7 months ago
2004
Springer
We give a formal semantics for a highly expressive language for representing temporal relationships and events. This language, which we call Versatile Event Logic (VEL), provides ...
ATVA
2006
Springer
13 years 11 months ago
2006
Springer
We present the implementation of the trace theory in a new model checking tool framework, POEM, that has a strong emphasis on Partial Order Methods. A tree structure is used to sto...
PAPM
2001
Springer
14 years 3 days ago
2001
Springer
This paper presents a modelling language, called MoDeST, for describing the behaviour of discrete event systems. The language combines conventional programming constructs – such ...