Sciweavers

2342 search results - page 146 / 469
» A Methodology for Evaluating Software Engineering Methods an...
Sort
View
AC
2005
Springer
15 years 4 months ago
Software model checking with SPIN
The aim of this chapter is to give an overview of the theoretical foundation and the practical application of logic model checking techniques for the verification of multi-threade...
Gerard J. Holzmann
WCRE
2007
IEEE
15 years 10 months ago
Visualizing Software Architecture Evolution Using Change-Sets
When trying to understand the evolution of a software system it can be useful to visualize the evolution of the system’s architecture. Existing tools for viewing architectural e...
Andrew McNair, Daniel M. Germán, Jens H. We...
SCESM
2006
ACM
266views Algorithms» more  SCESM 2006»
15 years 10 months ago
A comparative survey of scenario-based to state-based model synthesis approaches
Model Driven Development and Use Case Driven Development methodologies have inspired the proposal of a variety of software engineering approaches that synthesize statebased models...
Hongzhi Liang, Jürgen Dingel, Zinovy Diskin
ASWEC
2000
IEEE
15 years 9 months ago
Implementing an Experience Factory Based on Existing Organizational Knowledge
This paper describes the development of an experience factory in an Australian organization involved in the field of telecommunications. Faced with improvement needs, in 1998 the ...
Arne Koennecker, D. Ross Jeffery, Graham C. Low
WER
2007
Springer
15 years 10 months ago
Evaluating the Effectiveness of Using Catalogues to Elicit Non-Functional Requirements
: Non-Functional Requirements (NFR) are subjective, interactive and relative, thus realizing the need for particular NFR is by itself a challenge. Furthermore understanding what th...
Luiz Marcio Cysneiros