8808 search results - page 477 / 1762 » Process of Software Evolution |
185
click to vote
APSEC
2002
IEEE
16 years 18 days ago
2002
IEEE
Continuous action systems (CAS) is a formalism intended for modeling hybrid systems (systems that combine discrete control with continuous behavior), and proving properties about ...
219
click to vote
COMPSAC
2002
IEEE
16 years 18 days ago
2002
IEEE
Visual Query Languages represent an evolution, in terms of understandability and adaptability, with respect to traditional textual languages. We present an iconic query system tha...
191
click to vote
OHS
2001
Springer
16 years 2 days ago
2001
Springer
Software engineers face a difficult task in managing the many different types of relationships that exist between the documents of a software development project. We refer to this...
189
click to vote
PEPM
1998
ACM
15 years 12 months ago
1998
ACM
We show the evolution of partial evaluators over the past ten years from a particular perspective: the attempt to remove limits on the structure of residual programs that are inher...
166
click to vote
WADT
1998
Springer
15 years 12 months ago
1998
Springer
Abstract. Hidden algebra is a behavioural algebraic specification formalism for objects. It captures their constructional aspect, concerned with the initialisation and evolution of...