1054 search results - page 122 / 211 » Translation Validation of System Abstractions |
159
click to vote
ACSAC
2005
IEEE
15 years 12 months ago
2005
IEEE
Coordinating multiple overlapping defense mechat differing levels of abstraction, is fraught with the potential for misconfiguration, so there is strong motivation to generate p...
166
click to vote
FM
2005
Springer
15 years 12 months ago
2005
Springer
This paper presents an automated and compositional procedure to solve the substitutability problem in the context of evolving software systems. Our solution contributes two techniq...
147
click to vote
PROFES
2004
Springer
2004
Springer
Development of a Normative Package for Safety-Critical Software Using Formal Regulatory Requirements
15 years 11 months ago
Abstract. The important tasks in requirement engineering are resolving requirements inconsistencies between regulators and developers of safety-critical computer systems, and the v...
141
click to vote
TACAS
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. The methods of Invisible Invariants and Invisible Ranking were developed originally in order to verify temporal properties of parameterized systems in a fully automatic m...
127
click to vote
HICSS
2003
IEEE
15 years 11 months ago
2003
IEEE
Abstract— Third party developed software add-ins enhance the functionality of a large variety of base software such as operating systems, word processors, spread sheets, graphics...