Sciweavers

1483 search results - page 73 / 297
» Integrated Modeling of Business Value and Software Processes
Sort
View
128
Voted
ISOLA
2007
Springer
15 years 10 months ago
Using Invariant Detection Mechanism in Black Box Inference
The testing and formal verification of black box software components is a challenging domain. The problem is even harder when specifications of these components are not available...
Muzammil Shahbaz, Roland Groz
136
Voted
SE
2007
15 years 5 months ago
PDD applied: A model driven approach
: Property Driven Development is a methodology to check the validity of a distributed application and its conformance to specified requirements. A first prototype supporting this...
Helge Sören Klimek
136
Voted
BTW
2005
Springer
177views Database» more  BTW 2005»
15 years 9 months ago
Composing Web Services Specifications: Experiences in Implementing Policy-Driven Transactional Processes
: The Web Services architecture defines various specifications that applications may wish to use in combination. In this paper, we investigate the composition of the Web services s...
Stefan Tai
129
Voted
HICSS
2009
IEEE
143views Biometrics» more  HICSS 2009»
15 years 10 months ago
Bridge Methods: Using a Balanced Project Practice Portfolio to Integrate Agile and Formal Process Methodologies
This paper examines the non-linear nature of progress on software projects. It asserts that this uneven accomplishment stems from the continuous need to drive value quickly in res...
Stephen J. Cohen, William H. Money
HICSS
2003
IEEE
131views Biometrics» more  HICSS 2003»
15 years 9 months ago
Requirements Elicitation and Elicitation Technique Selection: A Model for Two Knowledge-Intensive Software Development Processes
By its very nature, software development consists of many knowledge-intensive processes. One of the most difficult to model, however, is requirements elicitation. This paper prese...
Ann M. Hickey, Alan M. Davis