Verification of Software Product Lines With Delta-Oriented Slicing

Lecture Notes in Computer Science - Germany
doi 10.1007/978-3-642-18070-5_5
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Springer Berlin Heidelberg

Related search

Family-Based Deductive Verification of Software Product Lines

2012English

Code Clones in Feature-Oriented Software Product Lines

2010English

Product-Line Verification With Feature-Oriented Contracts

2013English

Formal Verification of Object-Oriented Software

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2012English

An Aspect-Oriented Approach for Use Case Based Modeling of Software Product Lines

Journal of Software Engineering and Applications
2009English

Granularity in Software Product Lines

2008English

Model-Driven Product Consolidation Into Software Product Lines

Softwaretechnik-Trends
2012English

Model in SM of DEE Based on Service-Oriented Interactions at Dynamic Software Product Lines

Advances in Mobile and Distance Learning
2015English

Formalizing Agile Software Product Lines With a RE Metamodel

2018English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2025 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy