3376 search results - page 52 / 676 » Analyzing Software Evolvability |
126
click to vote
KBSE
2000
IEEE
15 years 8 months ago
2000
IEEE
Lightweight formal modeling and automatic analysis were used to explore the design of the Intentional Naming System (INS), a new scheme for resource discovery in a dynamic network...
161
click to vote
SIGSOFT
2010
ACM
14 years 11 months ago
2010
ACM
Specification and verification of real-time systems are important research topics which have practical implications. In this work, we present a self-contained toolkit to analyze r...
136
Voted
ICSM
2003
IEEE
15 years 9 months ago
2003
IEEE
As systems evolve, they become harder to understand because the implementation of concepts (e.g. business rules) becomes less coherent. To preserve source code comprehensibility, ...
132
click to vote
SIGSOFT
2008
ACM
16 years 4 months ago
2008
ACM
Synthesis of system configurations from a given set of features is an important and very challenging problem. This paper makes a step towards this goal by describing an efficient ...
135
click to vote
WWW
2003
ACM
16 years 4 months ago
2003
ACM
The vision of the Semantic Web can only be realized through proliferation of well-known ontologies describing different domains. To enable interoperability in the Semantic Web, it...