358 search results - page 22 / 72 » Introducing Formal Specification Methods in Industrial Pract... |
WER
2007
Springer
14 years 1 months ago
2007
Springer
Software inspections have proved to be an effective means to find faults in different software artifacts, and the application of software inspections on requirements specification...
IFL
2000
Springer
13 years 11 months ago
2000
Springer
Abstract. In this paper we compare three systems for tracing and debugging Haskell programs: Freja, Hat and Hood. We evaluate their usefulness in practice by applying them to a num...
FORMATS
2007
Springer
14 years 1 months ago
2007
Springer
Abstract. In this paper we describe AMT, a tool for monitoring temporal properties of continuous signals. We first introduce STL/PSL, a specification formalism based on the indus...
SBMF
2010
Springer
13 years 2 months ago
2010
Springer
Abstract. In the context of the EU project Mobius on Proof Carrying Code for Java programs (midlets) on mobile devices, we present a way to express midlet navigation graphs in JML....
AIME
2003
Springer
14 years 23 days ago
2003
Springer
Abstract. Clinical protocols and guidelines have been used in the medical domain for some time now, primarily to reduce proneness to errors during the treatment of specific disease...