Sciweavers

764 search results - page 80 / 153
» Software product line testing
Sort
View
ERSHOV
2006
Springer
15 years 1 months ago
Formal Methods in Industrial Software Standards Enforcement
The article presents an approach to development of software standards usage infrastructure. The approach is based on formalization of standards and automated conformance test deriv...
Alexey Grinevich, Alexey V. Khoroshilov, Victor V....
ERLANG
2008
ACM
14 years 11 months ago
Early fault detection with model-based testing
Current and future trends for software include increasingly complex requirements on interaction between systems. As a result, the difficulty of system testing increases. Model-bas...
Jonas Boberg
SE
2007
14 years 11 months ago
Requirements traceability in the model-based testing process
: Automated test case and test driver generation from a precise behaviour UML model is an emerging approach for software functional validation. This innovative approach for validat...
Eddy Bernard, Bruno Legeard
VAMOS
2010
Springer
14 years 11 months ago
Semistructured Merge in Revision Control Systems
Revision control systems are a major means to manage versions and variants of today's software systems. An ongoing problem in these systems is how to resolve conflicts when me...
Sven Apel, Jörg Liebig, Christian Lengauer, C...
WSC
2000
14 years 11 months ago
Using simulation to support implementation of flexible manufacturing Cell
A simulation model was developed and tested using Taylor II to justify the implementation of a Flexible Manufacturing Cell (FMC). The current production capacity at the existing C...
Kambiz Farahmand