Sciweavers

750 search results - page 43 / 150
» Value-Based Selection of Requirements Engineering Tool Suppo...
Sort
View
SIGSOFT
2010
ACM
13 years 5 months ago
Supporting human-intensive systems
Executing critical systems often rely on humans to make important and sometimes life-critical decisions. As such systems become more complex, the potential for human error to lead...
Lori A. Clarke, Leon J. Osterweil, George S. Avrun...
MDAFA
2004
Springer
136views Hardware» more  MDAFA 2004»
14 years 1 months ago
Integrating Platform Selection Rules in the Model Driven Architecture Approach
A key issue in the MDA approach is the transformation of platform independent models to platform specific models. Before transforming to a platform specific model, however, it is n...
Bedir Tekinerdogan, Sevcan Bilir, Cem Abatlevi
XPU
2007
Springer
14 years 1 months ago
Predicting Software Defect Density: A Case Study on Automated Static Code Analysis
The number of defects is an important indicator of software quality. Agile software development methods put an explicit requirement on automation and permanently low defect rates. ...
Artem Marchenko, Pekka Abrahamsson
ECLIPSE
2004
ACM
14 years 1 months ago
Developing marking support within Eclipse
In this paper, we describe marking features provided in Gild, a set of plug-ins to support education in Eclipse developed at the University of Victoria. We discuss our requirement...
Del Myers, Elizabeth Hargreaves, Jody Ryall, Suzan...
RE
1997
Springer
13 years 12 months ago
SOFL: A Formal Engineering Methodology for Industrial Applications
—Formal methods have yet to achieve wide industrial acceptance for several reasons. They are not well integrated into hed industrial software processes, their application require...
Shaoying Liu