Sciweavers

1578 search results - page 67 / 316
» CASE Support for the Software Process: Advances and Problems
Sort
View
SPIN
2000
Springer
14 years 9 days ago
A Language Framework for Expressing Checkable Properties of Dynamic Software
Research on how to reason about correctness properties of software systems using model checking is advancing rapidly. Work on exnite-state models from program source code and on ab...
James C. Corbett, Matthew B. Dwyer, John Hatcliff,...
RE
1997
Springer
14 years 27 days ago
Extended Requirements Traceability: Results of an Industrial Case Study
Contribution structures offer a way to model the network of people who have participated in the requirements engineering process. They further provide the opportunity to extend co...
Orlena Gotel, Anthony Finkelstein
AGILEDC
2003
IEEE
14 years 2 months ago
PARFAIT: Towards a Framework-based Agile Reengineering Process
The paper presents a sketch of a framework-based agile reengineering process, named PARFAIT1 , whose objective is to provide the users with evolved versions of legacy systems, as ...
Maria Istela Cagnin, José Carlos Maldonado,...
PAKDD
2005
ACM
103views Data Mining» more  PAKDD 2005»
14 years 2 months ago
Subgroup Discovery Techniques and Applications
This paper presents the advances in subgroup discovery and the ways to use subgroup discovery to generate actionable knowledge for decision support. Actionable knowledge is explici...
Nada Lavrac
IJBIS
2010
145views more  IJBIS 2010»
13 years 6 months ago
A multi-attribute group decision support system for information technology project selection
: The increasing intensity of global competition and the rapid advances in information technology (IT) have led organisations to search for more efficient and effective ways to man...
Faramak Zandi, Madjid Tavana