3925 search results - page 313 / 785 » Measuring software evolution |
140
click to vote
SIGSOFT
2001
ACM
16 years 5 months ago
2001
ACM
For several different reasons, such as changes in the business or technological environment, the configuration of a system may need to evolve during execution. Support for such ev...
126
click to vote
CAV
2009
Springer
16 years 5 months ago
2009
Springer
A new static analyzer is described, based on the analyzer Fluctuat. Its goal is to synthetize invariants for hybrid systems, encompassing a continuous environment described by a sy...
129
click to vote
AGILEDC
2009
IEEE
15 years 12 months ago
2009
IEEE
In early 2008, Pyxis Technologies was contracted in the third of a series of projects distributed between Canada and France. This project dwarfed its predecessors in scope and com...
142
click to vote
ICSM
2009
IEEE
15 years 11 months ago
2009
IEEE
Open source developers communicate with each other via various online outlets. Thus far, mailing lists have been the main coordination mechanism. However, our previous study shows...
151
click to vote
IWPC
2009
IEEE
15 years 11 months ago
2009
IEEE
The classical comprehension theories study relations between extensions, intensions, and names. Originally developed in linguistics and mathematics, these theories are applicable ...