Sciweavers

386 search results - page 40 / 78
» A Quality Assurance Process Model on Fault Management
Sort
View
ECBS
1997
IEEE
103views Hardware» more  ECBS 1997»
15 years 4 months ago
The Advanced Battlefield Architecture for Tactical Information Selection (ABATIS)
Modern warfare requires the understanding and management of increasingly complex assemblages of resources. The Advanced Battlefield Architecture for TacticalInformation Selection ...
J. S. Keane, Jerzy W. Rozenblit, Michael Barnes
CORR
2010
Springer
166views Education» more  CORR 2010»
14 years 12 months ago
Software Metrics Evaluation Based on Entropy
Abstract. Software engineering activities in the Industry has come a long way with various improvements brought in various stages of the software development life cycle. The comple...
R. Selvarani, T. R. Gopalakrishnan Nair, Muthu Ram...
ISCIS
2004
Springer
15 years 5 months ago
Software Testing via Model Checking
Testing is a necessary, but costly process for user-centric quality control. Moreover, testing is not comprehensive enough to completely detect faults. Many formal methods have bee...
Fevzi Belli, Baris Güldali
BPM
2005
Springer
129views Business» more  BPM 2005»
15 years 5 months ago
Transforming BPEL to Petri Nets
We present a Petri net semantics for the Business Process Execution Language for Web Services (BPEL). Our semantics covers the standard behaviour of BPEL as well as the exceptional...
Sebastian Hinz, Karsten Schmidt 0004, Christian St...
CSMR
2000
IEEE
15 years 4 months ago
A Proposal for Supporting Software Evolution in Componentware
In practice, a pure top-down and refinement-based development process is not applicable. A more iterative and incremental approach is usually applied with respect to changing req...
Andreas Rausch