• Aucun résultat trouvé

Haut PDF Using Composite Feature Models to Support Agile Software Product Line Evolution

Using Composite Feature Models to Support Agile Software Product Line Evolution

Using Composite Feature Models to Support Agile Software Product Line Evolution

... Nowadays software-intensive systems are built in a day-to- day manner through communities that follow the rules of an architectural framework, similar to a ...then to evolve towards a ...

7

A model driven approach to derive e-learning applications in software product line

A model driven approach to derive e-learning applications in software product line

... transformation feature of ...little support for the derivation process other than a high level description of the activities ...and product derivation. To derive a product the process ...

7

Formalising the requirements of an e-voting software product line using event-B

Formalising the requirements of an e-voting software product line using event-B

... of feature models (FMs) using formal methods and the use of formal methods during e- Voting service ...[5] product line models are represented as constraint programs in order ...

8

Managing a Software Ecosystem Using a Multiple Software Product Line: a Case Study on Digital Signage Systems

Managing a Software Ecosystem Using a Multiple Software Product Line: a Case Study on Digital Signage Systems

... Maintenance evolution (frequent): in our case study, it exists different kinds of maintenance operations ...correspond to evolutions for fixing bugs, for example, inside existing ...order to allow ...

9

Beyond Boolean Product-Line Model Checking: Dealing with Feature Attributes and Multi-Features

Beyond Boolean Product-Line Model Checking: Dealing with Feature Attributes and Multi-Features

... company, to develop an implementation of CFDP as an SPL ...had to limit ourselves to this subset because in addition to the variability, we had to model the behaviour of the protocol’s ...

11

An MDA Based Derivation process for e-Learning Software Product Line

An MDA Based Derivation process for e-Learning Software Product Line

... designed to build the final app architecture ...according to the coupling that generates the desired app with optimal composition ...tries to overcome the heterogeneous composition limitation by ...

127

Agile for Everyone Else: Using Triggers and Checks to Create Agility Outside of Software Development

Agile for Everyone Else: Using Triggers and Checks to Create Agility Outside of Software Development

... work to a clear time ...her to keep ...leads to highly dysfunctional ...supervisor to help, pushing the button temporarily changed the work ...returned to her normal task and to ...

28

Software product line for semantic specification of block libraries in dataflow languages

Software product line for semantic specification of block libraries in dataflow languages

... computations to be done in a realistic sys- tem. But, in order to reduce the number of blocks in the library and ease their maintenance, the se- mantics of blocks are often tunable by a number of static ...

11

Counterexample Guided Abstraction Refinement of Product-Line Behavioural Models

Counterexample Guided Abstraction Refinement of Product-Line Behavioural Models

... way to apply existing abstraction techniques [27, 11, 13] to SPLs is to execute them either product by product or on a product simulator ...posed to a single-system model, ...

14

Use of Model-Based Software Product Line Engineering for Certifiable Avionics Software Development

Use of Model-Based Software Product Line Engineering for Certifiable Avionics Software Development

... similar to ours was realized by Wölfl and others in [41], who assessed cost reduction on generating certification artifacts by using model-based and product-line technology for the avionics ...

93

Synthesis of Attributed Feature Models From Product Descriptions: Foundations

Synthesis of Attributed Feature Models From Product Descriptions: Foundations

... a feature is not selected, all its attributes bound by α take their null value, ...enough to be human ...features. Feature names and relational expressions over attributes are the boolean factors ...

39

VMWare: Tool Support for Automatic Verification of Structural and Semantic Correctness in Product Line Models

VMWare: Tool Support for Automatic Verification of Structural and Semantic Correctness in Product Line Models

... is to develop a generic method that would automatically help verify any kind of specification based on one or several ...hope to be able to instantiate meta model-specific verification criteria from ...

5

A Generic Approach for Automated Verification of Product Line Models

A Generic Approach for Automated Verification of Product Line Models

... of product lines and other properties are associated with the fact that each PLM respects the syntactic rules of the language in which it is ...associated to the domain of product lines. Thus, ...

243

Realizing agile workflow with DeFleX to support adaptive business processes

Realizing agile workflow with DeFleX to support adaptive business processes

... ity to express agile workflows (or dynamic message paths) using SOAP, what is often overlooked is where the infor- mation necessary to determine nodes in the workflow is lo- cated and how it ...

10

Separating Concerns in Feature Models: Retrospective and Support for Multi-Views

Separating Concerns in Feature Models: Retrospective and Support for Multi-Views

... similar to views on an ...Any feature matching the regular expression is displayed typically without any control on the location of the feature in the ...

28

The sketch power to support product design.

The sketch power to support product design.

... sketches’ support tool, has already been evaluated : several experimentations have been conducted [Safin & al, 2005; Decortis & al, 2005; Darses & al, 2008], one of them bringing together 7 practicing ...

11

A product feature-based user-centric product search model

A product feature-based user-centric product search model

... propose to consider users’ interactions willing to be noticed after a product ...clicks, product ratings, favorites, or users’ ...adding to basket, and/or pushing the ...order to ...

14

Using Transformation-Aspects in Model-Driven Software Product Lines

Using Transformation-Aspects in Model-Driven Software Product Lines

... only to transform models-to-models, but also to trans- form models-to-text (source ...of models, checking them for constraint violations, and transforming them into ...

12

SPLEMMA: A Generic Framework for Controlled-Evolution of Software Product Lines

SPLEMMA: A Generic Framework for Controlled-Evolution of Software Product Lines

... intend to consolidate the results obtained so far, following three ...from software evolution by means of version ...ers to retrieve previous versions of the spl which can be useful when the ...

9

A DSL-based Approach to Product Derivation for Software Product Lin

A DSL-based Approach to Product Derivation for Software Product Lin

... integrates feature specification, PLA, and their relationships in a single monolithic architecture ...the feature-PLA relationship, (2) encapsulate variability modelling from the user, and (3) ...

6

Show all 10000 documents...