1199 search results - page 25 / 240 » Software Verification and Software Engineering a Practitione... |
105
click to vote
CBSE
2009
Springer
15 years 6 months ago
2009
Springer
A challenge of componentizing legacy applications is to extract behavior specification of suggested components. It is desirable to preserve a relation between the original structur...
109
Voted
ASWEC
2005
IEEE
15 years 7 months ago
2005
IEEE
We surveyed a number of Australian software practitioners in order to understand what software development practices were used in their recent software projects. We were particula...
101
Voted
IADIS
2004
15 years 3 months ago
2004
This paper outlines new perspectives on the teaching and learning of software systems development in large groups based on a newly designed, final year, Software Systems Analysis ...
136
click to vote
ICSE
1999
IEEE-ACM
15 years 6 months ago
1999
IEEE-ACM
Formal verification methods are used only sparingly in software development. The most successful methods to date are based on the use of model checking tools. To use such he user ...
129
click to vote
OOPSLA
2009
Springer
15 years 6 months ago
2009
Springer
We will discuss here the theoretical, social, technological and practical issues related to quality aspects of software patterns including security and safety aspects. The worksho...