Formal Verification and Automated analysis of Software Product Lines

Author:   Ganesh Khandu Narwane
Publisher:   Mohd Abdul Hafi
ISBN:  

9798223345169


Pages:   160
Publication Date:   13 December 2023
Format:   Paperback
Availability:   In Print   Availability explained
This item will be ordered in for you from one of our suppliers. Upon receipt, we will promptly dispatch it out to you. For in store availability, please contact us.

Our Price $84.48 Quantity:  
Add to Cart

Share |

Formal Verification and Automated analysis of Software Product Lines


Add your own review!

Overview

Software Product Line Engineering (SPLE) is a software development paradigm supporting the joint design of closely-related software products in an efficient and cost-effective manner. The starting point of a Software Product Line (SPL) is the scope, which defines all of the possible features of the products in the SPL. The scope is said to define the problem space of the SPL, describing the expectations and objectives of the product line. The description is typically organized as a feature model [1] that expresses the variability of the SPL in terms of relations or constraints (exclusion, requires dependency) between the features and defines all of the possible products in the product line. An important step in SPLE is the development of core assets, a collection of reusable artifacts. The core assets contains the components, and we use the term component to represent any artifacts that contribute to product development, like code, design, documents, test plan, hardware, etc. A component is an abstract concept of any assets used in products.

Full Product Details

Author:   Ganesh Khandu Narwane
Publisher:   Mohd Abdul Hafi
Imprint:   Mohd Abdul Hafi
Dimensions:   Width: 21.60cm , Height: 0.90cm , Length: 27.90cm
Weight:   0.386kg
ISBN:  

9798223345169


Pages:   160
Publication Date:   13 December 2023
Audience:   General/trade ,  General
Format:   Paperback
Publisher's Status:   Active
Availability:   In Print   Availability explained
This item will be ordered in for you from one of our suppliers. Upon receipt, we will promptly dispatch it out to you. For in store availability, please contact us.

Table of Contents

Reviews

Author Information

Tab Content 6

Author Website:  

Customer Reviews

Recent Reviews

No review item found!

Add your own review!

Countries Available

All regions
Latest Reading Guide

wl

Shopping Cart
Your cart is empty
Shopping cart
Mailing List