Sciweavers

3514 search results - page 117 / 703
» Evolving Specification Engineering
Sort
View
ICST
2009
IEEE
13 years 5 months ago
Putting Formal Specifications under the Magnifying Glass: Model-based Testing for Validation
A software development process is conceptually an abstract form of model transformation, starting from an enduser model of requirements, through to a system model for which code c...
Emine G. Aydal, Richard F. Paige, Mark Utting, Jim...
TSE
2010
235views more  TSE 2010»
13 years 2 months ago
DECOR: A Method for the Specification and Detection of Code and Design Smells
Abstract-- Code and design smells are poor solutions to recurring implementation and design problems. They may hinder the evolution of a system by making it hard for software engin...
Naouel Moha, Yann-Gaël Guéhéneu...
ICSM
1997
IEEE
14 years 7 days ago
MORALE. Mission ORiented Architectural Legacy Evolution
Software evolution is the most costly and time consuming software development activity. Yet software engineering research is predominantly concerned with initial development. MORA...
Gregory D. Abowd, Ashok K. Goel, Dean F. Jerding, ...
ESEM
2009
ACM
14 years 22 days ago
A systematic mapping study on empirical evaluation of software requirements specifications techniques
This paper describes an empirical mapping study, which was designed to identify what aspects of Software Requirement Specifications (SRS) are empirically evaluated, in which conte...
Nelly Condori-Fernández, Maya Daneva, Klaas...
GI
2009
Springer
14 years 20 days ago
A Domain Specific Language for Project Execution Models
: The modeling of strategies for deriving valid project plans is a core task in development process’s design. Strategies are used for planning and for the validation of concrete ...
Eugen Wachtel, Marco Kuhrmann, Georg Kalus