2124 search results - page 78 / 425 » Changing the paradigm of software engineering |
CADE
2007
Springer
14 years 9 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...
APSEC
2000
IEEE
14 years 1 months ago
2000
IEEE
For the past 40 years, the techniques, processes and methods of software development have been dominated by supply-side issues, giving rise to a software industry oriented towards...
COMPSAC
2008
IEEE
13 years 9 months ago
2008
IEEE
Software evolution is characterized by inevitable changes of software and increasing software complexities, which in turn may lead to huge costs unless rigorously taking into acco...
ISPW
2006
IEEE
14 years 2 months ago
2006
IEEE
Abstract. In this paper, the mobility of software processes, a novel concept, is proposed. It is defined as the structural change in a software process resulting from interactions...
ISPW
2009
IEEE
14 years 3 months ago
2009
IEEE
Abstract. Using process simulation and AI search methods, we compare software reuse against other possible changes to a project. such as reducing functionality or improving the ski...