12 search results - page 1 / 3 » Checking Consistency and Completeness of On-Line Product Man... |
JAR
2006
13 years 4 months ago
2006
Abstract. As products are growing more complex, so is their documentation. With an increasing number of product options, the diversity in service and maintenance procedures grows a...
VSTTE
2005
Springer
13 years 10 months ago
2005
Springer
Abstract. We present a framework for verifying that programs correctly preserve important data structure consistency properties. Results from our implemented system indicate that o...
ASE
2005
13 years 4 months ago
2005
A recurring difficulty for organizations that employ a product-line approach to development is that when a new product is added to an existing product line, there is currently no a...
ICRE
2000
IEEE
13 years 8 months ago
2000
IEEE
Today, object-oriented requirements specifications typically combine a scenario (or use case) model and a class model for expressing functional requirements. With any such combina...
CAISE
2006
Springer
13 years 8 months ago
2006
Springer
Static function hierarchies and models of the dynamic behaviour are typically used in e-commerce systems. Issues to be verifies are the completeness and correctness of the static f...