1823 search results - page 199 / 365 » Formal specification: a roadmap |
CADE
2008
Springer
14 years 9 months ago
2008
Springer
Abstract. Operating-system verification gains increasing research interest. The complexity of such systems is, however, challenging and many endeavors are limited in some respect: ...
CADE
2007
Springer
14 years 9 months ago
2007
Springer
Safety and security guarantees for individual applications in general depend on assumptions on the given context provided by distributed instances of operating systems, hardware pl...
KBSE
2007
IEEE
14 years 3 months ago
2007
IEEE
Software systems have become more complex, with myriad features and multiple functionalities. A major challenge in developing and maintaining such complex software is to identify ...
KBSE
2005
IEEE
14 years 2 months ago
2005
IEEE
Feature location aims at locating pieces of code that implement a given set of features (requirements). It is a necessary first step in every program comprehension and maintenanc...
DSOM
2005
Springer
14 years 2 months ago
2005
Springer
Current network management architectures are using different models to define management information objects. These definitions actually also include, in a non-formal way, the defi...