944 search results - page 124 / 189 » Software model checking without source code |
155
click to vote
ENTCS
2006
15 years 6 months ago
2006
With the growing importance of model-driven development, the ability of transforming models into well-defined semantic domains becomes a key to automated code generation or verifi...
181
click to vote
COOPIS
2004
IEEE
15 years 10 months ago
2004
IEEE
Abstract. We have recently witnessed a growing interest in self organising systems, both in research and in practice. These systems re-organise in response to new or changing condi...
136
click to vote
MIDDLEWARE
2004
Springer
15 years 11 months ago
2004
Springer
Reuse is an important topic in software engineering as it promises advantages like faster time-to-market and cost reduction. Reuse s on an abstract level is more beneficial than o...
168
click to vote
AOSD
2012
ACM
14 years 2 months ago
2012
ACM
In this work we consider specification and compositional verification for interference detection when several aspects are woven together under joint-weaving semantics without re...
137
click to vote
IWPC
2005
IEEE
15 years 12 months ago
2005
IEEE
Approximately 70% of the source code of a software system consists of identifiers. Hence, the names chosen as identifiers are of paramount importance for the readability of comp...