1121 search results - page 130 / 225 » Building Formal Requirements Models for Reliable Software |
147
click to vote
IEE
2008
15 years 4 months ago
2008
ion techniques are indispensable for the specification and verification of functional behavior of programs. In object-oriented ation languages like JML, a powerful abstraction tec...
131
click to vote
WORDS
2005
IEEE
15 years 9 months ago
2005
IEEE
Reliable program Worst-Case Execution Time (WCET) estimates are a key component when designing and verifying real-time systems. One way to derive such estimates is by static WCET ...
116
click to vote
GCC
2003
Springer
15 years 9 months ago
2003
Springer
Abstract. This paper presents several engineering applications that involve distributed software services. Due to the complexity of these applications, an efficient and flexible se...
133
click to vote
CAISE
1999
Springer
15 years 8 months ago
1999
Springer
Abstract. CORBA Object Transaction Monitors (OTM) refer to a middleware technology that enable the building of transactional, objectoriented information systems running in distribu...
159
click to vote
JSA
2002
15 years 3 months ago
2002
This paper examines some models of FSMs that can be implemented in dynamically and statically reconfigurable FPGAs. They enable circuits for the FSMs to be constructed in such a wa...