1888 search results - page 66 / 378 » Automatic Implementation of Distributed Systems Formal Speci... |
161
click to vote
CIBSE
2008
ACM
15 years 5 months ago
2008
ACM
Abstract. Software testing is an expensive and time-consuming activity; it is also error-prone due to human factors. But, it still is the most common effort used in the software in...
122
click to vote
IPPS
2003
IEEE
15 years 8 months ago
2003
IEEE
Kahn defined a formal model for networks of processes that communicate through channels carrying streams of data tokens. His mathematical results show the necessary conditions fo...
114
click to vote
MEDINFO
2007
15 years 4 months ago
2007
Temporal constraints play a fundamental role in clinical guidelines. For example, temporal indeterminacy, constraints about duration, delays between actions and periodic repetitio...
149
click to vote
RSP
2006
IEEE
15 years 9 months ago
2006
IEEE
This paper addresses the need to integrate formal assertions into the modeling, implementation, and testing of statechart based designs. The paper describes an iterative process f...
163
click to vote
HT
2004
ACM
15 years 8 months ago
2004
ACM
In this paper, we present a model-driven methodology and toolset for automatic generation of hypertext system repositories. Our code generator, called Bamboo, is based on a Contai...