1407 search results - page 110 / 282 » Using Use Cases in Executable Z |
119
click to vote
SIGPLAN
2002
15 years 3 months ago
2002
The paper reports on an experiment to provide the Erlang programming language with a tool package for convenient trace generation, collection and to support analysis of traces usi...
175
click to vote
IQ
2007
15 years 5 months ago
2007
: Motivated by the problem of out-of-shelf (OOS) in retail industry and the emergence of RFID (Radio Frequency Identification) technology, this paper investigates the impact that t...
127
click to vote
HICSS
2003
IEEE
15 years 9 months ago
2003
IEEE
Statistical testing of software based on a usage model is a cost-effective and efficient means to make inferences about software quality. In order to apply this method, a usage m...
155
click to vote
EMSOFT
2008
Springer
15 years 6 months ago
2008
Springer
We present a framework for component-based design and scheduling of real-time embedded software. Each component has a clearly specified interface that includes the methods used fo...
115
click to vote
SAFECOMP
2009
Springer
15 years 10 months ago
2009
Springer
The behaviour of control functions in safety critical software systems is typically bounded to prevent the occurrence of known system level hazards. These bounds are typically deri...