976 search results - page 115 / 196 » Approach to a Theory of Software Evolution |
102
click to vote
ACMSE
2004
ACM
15 years 7 months ago
2004
ACM
Component-based software development has become an important approach to building complex software systems. Much research focuses on component specification to achieve the advanta...
106
click to vote
SEFM
2005
IEEE
15 years 7 months ago
2005
IEEE
We present an interface theory based approach to static analysis of actor models. We first introduce a new interface theory, which is based on Interface Automata, and which is ca...
122
click to vote
WER
2010
Springer
14 years 11 months ago
2010
Springer
Real-time scheduling theory has made a great progress in the last decades. From small devices to enormous satellites or industrial plants take advantage of this ongoing research. H...
123
click to vote
CAV
2012
Springer
13 years 3 months ago
2012
Springer
Abstract. A minimum satisfying assignment of a formula is a minimumcost partial assignment of values to the variables in the formula that guarantees the formula is true. Minimum sa...
112
click to vote
COMSIS
2010
14 years 11 months ago
2010
This paper presents a novel computer-aided design system which uses a computational approach to producing 3D images for stimulating creativity of designers. It introduces the genet...