Sciweavers

1199 search results - page 86 / 240
» Software Verification and Software Engineering a Practitione...
Sort
View
ICST
2009
IEEE
15 years 11 months ago
Quality Assurance of Software Applications Using the In Vivo Testing Approach
Software products released into the field typically have some number of residual defects that either were not detected or could not have been detected during testing. This may be...
Christian Murphy, Gail E. Kaiser, Ian Vo, Matt Chu
OWLED
2007
15 years 5 months ago
Ontology Engineering for Product Development
This analysis is to identify requirements for a Description Logic (DL) to reason about product descriptions and other information related to product development. The DL is intended...
Henson Graves
KBSE
2003
IEEE
15 years 9 months ago
Semi-Automatic Fault Localization and Behavior Verification for Physical System Simulation Models
Mathematical modeling and simulation of complex physical systems are emerging as key technologies in engineering. Modern approaches to physical system simulation allow users to sp...
Peter Bunus, Peter Fritzson
RE
2009
Springer
15 years 9 months ago
Modeling Service-Level Requirements: A Constancy Perspective
IT service requirements offer a seemingly classic Requirements Engineering (RE) problem. But, when attempting to solve it with RE methods, we are faced with difficulties. RE metho...
Gil Regev, Olivier Hayard, Donald C. Gause, Alain ...
RE
2001
Springer
15 years 9 months ago
Domain Independent Regularities in Scenarios
Scenario is a description technique which has attracted much attention not only from practitioners but also from researchers. Literature on this topic shows the possibilities that...
Marcela Ridao, Jorge Horacio Doorn, Julio Cesar Sa...