Amanote Research
Register
Sign In
Family-Based Deductive Verification of Software Product Lines
doi 10.1145/2371401.2371404
Full Text
Open PDF
Abstract
Available in
full text
Date
January 1, 2012
Authors
Thomas Thüm
Ina Schaefer
Martin Hentschel
Sven Apel
Publisher
ACM Press
Related search
Deductive Software Verification
International Journal on Software Tools for Technology Transfer
Information Systems
Software
Verification of Software Product Lines With Delta-Oriented Slicing
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Granularity in Software Product Lines
Model-Driven Product Consolidation Into Software Product Lines
Softwaretechnik-Trends
Modeling Variant User Interfaces for Web-Based Software Product Lines
International Journal of Information Technology and Web Engineering
Computer Science
CyberSPL: A Framework for the Verification of Cybersecurity Policy Compliance of System Configurations Using Software Product Lines
Applied Sciences (Switzerland)
Instrumentation
Materials Science
Fluid Flow
Engineering
Computer Science Applications
Process Chemistry
Transfer Processes
Technology
Mining Existing Assets for Software Product Lines
Automating the Extraction of Model-Based Software Product Lines From Model Variants (T)
An Aspect-Oriented Approach for Use Case Based Modeling of Software Product Lines
Journal of Software Engineering and Applications
