4209 search results - page 352 / 842 » Software Change and Evolution |
177
click to vote
FSTTCS
2004
Springer
16 years 3 days ago
2004
Springer
This paper introduces an extension of linear temporal logic that allows to express properties about systems that are composed of entities (like objects) that can refer to each othe...
168
click to vote
SEKE
2004
Springer
16 years 2 days ago
2004
Springer
As a security policy model evolves, the design of security systems using that model could become increasingly complicated. It is necessary to come up with an approach to guide the ...
156
click to vote
ECOOP
2008
Springer
15 years 8 months ago
2008
Springer
Explicitly representing aspect interactions is vital so that they can be shared and used in the course of system evolution. As a consequence, guidance can be given to the software ...
163
click to vote
ACTA
2007
15 years 6 months ago
2007
In this paper we provide a bridge between the infinite state models used in control theory to describe the evolution of continuous physical processes and the finite state models ...
170
click to vote
ICSM
2009
IEEE
16 years 1 months ago
2009
IEEE
Software entropy is a phenomenon where repeated changes gradually degrade the structure of the system, making it hard to understand and maintain. This phenomenon imposes challenge...