Feature modeling is a key technique used in product-line development to model commonalities and variabilities of members. In this paper, we present FeaturePlugin, feature plug-in for Eclipse. The tool supports cardinality-based modeling, specialization diagrams, configuration based on diagrams.

Cloning is widely used for creating new product variants. While it has low adoption costs, often leads to maintenance problems. Long term reliance on cloning discouraged in favor of systematic reuse offered by line engineering (PLE) with a central platform integrating all reusable assets. Unfortunately, adopting an integrated requires risky and costly migration. However, industrial experience shows that some benefits can be achieved properly managing set cloned

Clafer is a lightweight yet expressive language for structural modeling: feature modeling and configuration, class object modeling, metamodeling. Tools an integrated set of tools based on Clafer. In this paper, we describe some product-line variability scenarios from the viewpoints owner, engineer, product engineer.

Features are commonly used to describe functional and nonfunctional aspects of software. To effectively evolve reuse features, their location in software assets has be known. However, locating features is often difficult given crosscutting nature. Once implemented, the knowledge about a feature's quickly deteriorates, requiring expensive recovering these locations. Manually recording maintaining traceability information generally considered error-prone. In this paper, we argue contrary...

The decision-making process in Product Line Engineering (PLE) is often concerned with variant qualities such as cost, battery life, or security. Pareto-optimal variants, respect to a set of objectives minimizing variant's cost while maximizing life and security, are variants which no single quality can be improved without sacrificing other qualities. We propose novel method tool for visualization exploration multi-dimensional space optimal (i.e., Pareto front). an integrated, interactive,...

Model-driven software product lines combine the abstraction capability of Model Driven Software Development (MDSD) and variability management Product Line Engineering (SPLE). This short contribution motivates idea model-driven briefly explains concepts underlying feature-based model templates, which is a particular technique for modeling lines.

Framework-specific modeling languages (FSMLs) help developers build applications based on object-oriented frameworks. FSMLs model abstractions and rules of application programming interfaces (APIs) exposed by frameworks can express models how use APIs. Such aid in understanding, creating, evolving code. We present four exemplar a method for engineering new FSMLs. The was created postmortem generalizing the experience building exemplars specializing existing approaches to domain analysis,...

We propose Example-Driven Modeling (EDM), an approach that systematically uses explicit examples for eliciting, modeling, verifying, and validating complex business knowledge. It emphasizes the use of together with abstractions, both presenting information when exchanging models. formulate hypotheses as to why modeling should include examples, discuss how required tool support. Building upon results from cognitive psychology software engineering, we challenge mainstream practices in...

The paper describes the quotations gathered during interviews and focus groups a consulting engagement to help client improve its requirements engineering (RE) process. also model of software lifecycle derived from Michael Jackson quotation, that explains about 95% we gathered. In particular, it why basic determination is unstoppable how management attempts stop RE lead phenomena are described by less than optimal specifications.

Feature-based model templates have been proposed as a technique for modeling software product lines. We describe set of tools supporting the technique, namely feature editor and configurator, model-template editor, processor, verifier.

Software requirements documents (SRDs) are often authored in general-purpose rich-text editors, such as MS Word. SRDs contain instances of logical structures, use case, business rule, and functional requirement. Automated recognition extraction these enables advanced management features, automated traceability, template conformance checking, guided editing, interoperability with tools RequisitePro. The variability content physical representation poses challenges to their accurate extraction....

Developing mechanisms for mapping features to analysis models.

Framework-specific models represent the design of pplicationcode from framework viewpoint by showing how framework-provided concepts are implemented in code. In this paper, we describe an experimental study static analyses necessary to automatically retrieve such application We reverse engineer a number applications based on three open-source frameworks and evaluate quality retrieved models. The expressed using framework-specific modeling languages(FSMLs), each designed for one frameworks....

We present a controlled experiment for the empirical evaluation of Example-Driven Modeling (EDM), an approach that systematically uses examples model comprehension and domain knowledge transfer. conducted with 26 graduate undergraduate students from electrical computer engineering (ECE), science (CS), software (SE) programs at University Waterloo. The involves model, UML class diagrams representing abstractions object using these abstractions. goal is to provide evidence effects suitable in...

As the development of autonomous vehicles accelerates, need to enhance comfort characteristics for those has become important. In present article, an enhanced vehicle-following motion planner algorithm is presented. The aim smoothen repetitive braking and acceleration behaviour during vehicle following in traffic jam situations. uses information gathered from Lidar sensor, cameras vehicle-embedded sensors real time construct range vs. range-rate diagram, it computes desired velocity...

Model-versioning-in-the-large is concerned with complex scenarios involving multiple updates and replicas of a model. The paper introduces tile systems as rephrasing double categories in model versioning terms, shows that the language enables very general formalization concepts. makes concepts amenable to algebraic analysis provides convenient notation for version system designers. It also allows one formulate laws correct must or may want satisfy.

Embedded software is growing fast in size and complexity, leading to intimate mixture of complex architectures control.Consequently, specification requires modeling both structures behaviour systems.Unfortunately, existing languages do not integrate these aspects well, usually prioritizing one them.It common develop a separate language for each facets.In this paper, we contribute Clafer: small that attempts tackle challenge.It combines rich structural with state the art behavioural...