Sciweavers

TSE
2002
87views more  TSE 2002»
13 years 11 months ago
A Formal Model of the Software Test Process
João W. Cangussu, Raymond A. DeCarlo, Adity...
WETICE
2003
IEEE
14 years 4 months ago
Software Security Checklist for the Software Life Cycle
A formal approach to security in the software life cycle is essential to protect corporate resources. However, little thought has been given to this aspect of software development...
David P. Gilliam, Thomas L. Wolfe, Joseph S. Sheri...
ICSEA
2006
IEEE
14 years 5 months ago
Assessing Impacts of Changes to Business Rules through Data Exploration
The benefits of impact analysis in the maintenance and evolution of software systems are well known, and many forms of impact analysis, over different software life cycle objects...
Suzanne M. Embury, David Willmor, Lei Dang
ECSA
2007
Springer
14 years 5 months ago
Pattern-Based Evolution of Software Architectures
Abstract. We propose a pattern-based software development method comprising analysis (using problem frames) and design (using architectural and design patterns), of which especiall...
Isabelle Côté, Maritta Heisel, Ina We...