15777 search results - page 741 / 3156 » The Reformulation-Optimization Software Engine |
174
click to vote
ICSM
2003
IEEE
16 years 21 days ago
2003
IEEE
The conceptual structure of existing software systems is often implicit or non-existing in the source code. We prolightweight abstraction of intentional source-code views as a mea...
157
click to vote
APSEC
2002
IEEE
16 years 12 days ago
2002
IEEE
The industry-wide demand for rapid development in concert with greater process maturity has seen many software development firms adopt tightly structured iterative processes. Whi...
214
click to vote
KBSE
1998
IEEE
15 years 11 months ago
1998
IEEE
Cognitive models of software comprehension are potential sources of theoretical knowledge for tool designers. Although their use in analysis of existing tools is fairly wellestabl...
168
click to vote
ECSA
2008
Springer
15 years 9 months ago
2008
Springer
This paper presents a dependency constraint language that allows software architects to restrict the spectrum of dependencies that can be presented in a given software system. The ...
197
click to vote
CADE
2007
Springer
16 years 7 months ago
2007
Springer
This paper presents an overview of the verication framework ALICE in its current version 0.7. It is based on the generic theorem prover Isabelle [Pau03a]. Within ALICE a software o...