2342 search results - page 60 / 469 » A Methodology for Evaluating Software Engineering Methods an... |
108
Voted
KBSE
2006
IEEE
15 years 9 months ago
2006
IEEE
Software has been and is still mostly refactored without tool support. Moreover, as we found in our case studies, programmers tend not to document these changes as refactorings, o...
135
Voted
ASE
2007
15 years 3 months ago
2007
In earlier work, we have introduced Secure Tropos, a requirements engineering methodology that extends the Tropos methodology and is intended for the design and analysis of securit...
135
Voted
UML
2005
Springer
15 years 9 months ago
2005
Springer
Use cases have achieved wide use as specification tools for systems observable behavior, but there still remains a large gap between specifying behavior and determining the softwar...
141
Voted
COMPSAC
2007
IEEE
15 years 10 months ago
2007
IEEE
Algebraic testing is an automated software testing method based on algebraic formal specifications. It has the advantages of highly automated testing process and independence of t...
135
Voted
ICSE
1998
IEEE-ACM
15 years 8 months ago
1998
IEEE-ACM
Form-based visual programming languages, which include commercial spreadsheets and various research systems, have had a substantial impact on end-user computing. Research shows, h...