1481 search results - page 52 / 297 » Enriching the Software Development Process by Formal Methods |
133
click to vote
FORTEST
2008
15 years 4 months ago
2008
This paper describes an approach to the formalization of existing criteria used in computer systems software testing and proposes a new Reinforced Condition/Decision Coverage (RC/D...
128
Voted
ADAEUROPE
2001
Springer
15 years 7 months ago
2001
Springer
Deriving test cases from specifications is now recognised as a major application of formal methods to software development. Several methods have been proposed for various formalism...
144
click to vote
CLIN
2004
15 years 4 months ago
2004
The present paper reports on an end-to-end application using a deep processing grammar to extract spatial and temporal information of prepositional and adverbial expressions from ...
127
click to vote
FDL
2004
IEEE
15 years 7 months ago
2004
IEEE
Model-driven approaches proved themselves not suited yet to support real-time software development. Even if they have the ability of capturing adequately both functional and non-f...
109
click to vote
COMPSAC
2004
IEEE
15 years 7 months ago
2004
IEEE
Many developers who could benefit from building and analysing formal models of their systems are deterred from doing so by the process algebra style input languages of formal mode...