16725 search results - page 526 / 3345 » Engineering Software Correctness |
147
click to vote
COMSIS
2004
15 years 6 months ago
2004
"Software engineering" was introduced as a model for the field of software development in 1968. This paper reconsiders that model in the light of four decades of experie...
210
click to vote
PROFES
2004
Springer
16 years 11 days ago
2004
Springer
In this paper a new Experimental and Explorative Research (EER) research strategy is proposed. It combines experimental software engineering with exploratory research of new techno...
168
click to vote
INFSOF
2002
15 years 6 months ago
2002
Many tasks in software engineering can be characterized as source to source transformations. Design recovery, software restructuring, forward engineering, language translation, pl...
226
click to vote
FMAM
2010
15 years 5 months ago
2010
: Members of the agile programming and formal methods communities do not always see eye-to-eye. These two communities often do not talk to or learn from each other. Only recently, ...
183
click to vote
CSEE
2007
Springer
16 years 1 months ago
2007
Springer
This paper presents a European Master programme on Global Software Engineering (SE), being put forward by four leading institutions from Sweden, UK, Netherlands and Italy. The Glo...