224 search results - page 14 / 45 » A formally grounded software specification method |
ISOLA
2010
Springer
13 years 6 months ago
2010
Springer
Safety-critical distributed real-time systems, such as networked medical devices, must operate according to their specification, because incorrect behaviour can have fatal conseque...
ZUM
1992
Springer
14 years 25 days ago
1992
Springer
software in the form of abstract classes; and the specification elements of the language can also be used in concrete classes to document the implementations and their development ...
SAFECOMP
1998
Springer
14 years 1 months ago
1998
Springer
Abstract. We present a method to specify software for a special kind of safetycritical embedded systems, where sensors deliver low-level values that must be abstracted and pre-proc...
DAGSTUHL
2006
13 years 10 months ago
2006
The need for process support in the context of web services has triggered the development of many languages, systems, and standards. Industry has been developing software solutions...
TSE
1998
13 years 8 months ago
1998
—Scenarios are increasingly recognized as an effective means for eliciting, validating, and documenting software requirements. This paper concentrates on the use of scenarios for...