1376 search results - page 84 / 276 » Model-Driven Software Verification |
129
click to vote
ICSE
2007
IEEE-ACM
16 years 2 months ago
2007
IEEE-ACM
PLFaultCAT is a tool for software fault tree analysis (SFTA) during product-line engineering. When linked with DECIMAL, a product-line requirements verification tool, the enhanced...
121
click to vote
SEKE
2005
Springer
15 years 8 months ago
2005
Springer
The paper presents an approach to support run-time verification of software systems that combines two existing tools, Prospec and Java-MaC, into a single framework. Prospec can be...
109
click to vote
APSEC
2001
IEEE
15 years 6 months ago
2001
IEEE
Process tailoring and verification are very important since project-specific processes are tailored from an organizational process standard and many quality assurance activities a...
136
click to vote
FMCAD
2007
Springer
15 years 6 months ago
2007
Springer
Parameterized heuristics abound in computer aided design and verification, and manual tuning of the respective parameters is difficult and time-consuming. Very recent results from ...
116
click to vote
AMAST
2006
Springer
15 years 6 months ago
2006
Springer
Abstract. When designing an open system, there might be no implementation available for certain components at verification time. For such systems, verification has to be based on a...