4350 search results - page 222 / 870 » Case studies for contract-based systems |
129
Voted
BIRTHDAY
2004
Springer
15 years 10 months ago
2004
Springer
Inheritance and polymorphism are key mechanisms of the object-oriented approach that enable designers to develop systems in an incremental manner. In this paper, we develop techni...
133
click to vote
FORMATS
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. We describe OBDD-based symbolic model checking algorithms for simply-timed systems, i.e. finite state graphs where transitions carry a duration. These durations can be a...
107
click to vote
IFIP
2004
Springer
15 years 10 months ago
2004
Springer
: This chapter presents the problematic of the distributed systems supervision through a comprehensive state-of-the-art. Issues are illustrated with a case study about an innovativ...
179
Voted
ICRA
2002
IEEE
15 years 10 months ago
2002
IEEE
This paper introduces a modular modeling approach for distributed production systems, considering production and maintenance processes synchronization. Thus, production job shop, p...
148
Voted
APSEC
1998
IEEE
15 years 9 months ago
1998
IEEE
We present a calculus which can transfer specifications to objects for the development of real-time systems. The object model is based on a practical OO development technique--HRT...