Coupling design and verification in software product lines

Authors:
Egon Börger;Don Batory
Affiliations:
Università di Pisa, Dipartimento di Informatica, Pisa, Italy;Department of Computer Sciences, University of Texas at Austin
Venue:
FoIKS'08 Proceedings of the 5th international conference on Foundations of information and knowledge systems
Year:
2008

Citing 9
Cited 1

The design and implementation of hierarchical software systems with reusable components

ACM Transactions on Software Engineering and Methodology (TOSEM)
Java and the Java Virtual Machine: Definition, Verification, Validation with Cdrom

Java and the Java Virtual Machine: Definition, Verification, Validation with Cdrom
The verifying compiler: A grand challenge for computing research

Journal of the ACM (JACM)
JTS: Tools for Implementing Domain-Specific Languages

ICSR '98 Proceedings of the 5th International Conference on Software Reuse
Scaling Step-Wise Refinement

IEEE Transactions on Software Engineering
A high-level modular definition of the semantics of C#

Theoretical Computer Science - Abstract state machines and high-level system design and analysis
Software Product Line Engineering: Foundations, Principles and Techniques

Software Product Line Engineering: Foundations, Principles and Techniques
Verified Software: A Grand Challenge

Computer
Construction and analysis of ground models and their refinements as a foundation for validating computer-based systems

Formal Aspects of Computing

A Method for Verifiable and Validatable Business Process Modeling

Advances in Software Engineering

Quantified Score

Hi-index	0.00

Visualization

Abstract

We propose an ASM-based method to integrate into current feature-based software design practice modular verification techniques.