1376 search results - page 182 / 276 » Model-Driven Software Verification |
110
Voted
ITICSE
1999
ACM
15 years 7 months ago
1999
ACM
The paper addressesthe problem of making experiments for software engineering during laboratories. There is a need for experimental investigations. If experiments are performed in...
122
click to vote
ADAEUROPE
1997
Springer
15 years 7 months ago
1997
Springer
The systematic test is an inevitable part of the verification and validation process for software. Overall support for all testing activities is currently not available in a singl...
140
click to vote
FASE
2008
Springer
15 years 5 months ago
2008
Springer
Abstract. Graph constraints were introduced in the area of graph transformation, in connection with the notion of (negative) application conditions, as a form to limit the applicab...
114
Voted
ICSE
2005
IEEE-ACM
16 years 3 months ago
2005
IEEE-ACM
We argue that finding vulnerabilities in software components is different from finding exploits against them. Exploits that compromise security often use several low-level details...
142
Voted
OOPSLA
2000
Springer
15 years 7 months ago
2000
Springer
Most real-time embedded control software feature complex interactions with asynchronous inputs and environment objects, and a meaningful simulation of a real-time control software...