A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit <a rel="external noopener" href="https://link.springer.com/content/pdf/10.1007%2F978-3-540-68863-1_8.pdf">the original URL</a>. The file type is <code>application/pdf</code>.
Filters
Modeling and Model Checking Software Product Lines
[chapter]
<span title="">2008</span>
<i title="Springer Berlin Heidelberg">
<a target="_blank" rel="noopener" href="https://fatcat.wiki/container/2w3awgokqne6te4nvlofavy5a4" style="color: black;">Lecture Notes in Computer Science</a>
</i>
Preserved Fulltext
algebra PL-CCS as a product line extension of CCS and show how to model the overall behavior of an entire family within PL-CCS. ...
Software product line engineering combines the individual developments of systems to the development of a family of systems consisting of common and variable assets.In this paper we introduce the process ...
Model checking then allows to verify either an entire software product line, or, to point out which variants of the product line do not meet given correctness properties. ...
<span class="external-identifiers">
<a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-540-68863-1_8">doi:10.1007/978-3-540-68863-1_8</a>
<a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/7qvnh72eyncjplfxwfas2ib3ve">fatcat:7qvnh72eyncjplfxwfas2ib3ve</a>
</span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170916153302/https://link.springer.com/content/pdf/10.1007%2F978-3-540-68863-1_8.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext">
<button class="ui simple right pointing dropdown compact black labeled icon button serp-button">
<i class="icon ia-icon"></i>
Web Archive
[PDF]
<div class="menu fulltext-thumbnail">
<img src="https://blobs.fatcat.wiki/thumbnail/pdf/9c/dd/9cddebfe3a17b1d0e391a120b33f3fb8fc6ecf4b.180px.jpg" alt="fulltext thumbnail" loading="lazy">
</div>
</button>
</a>
<a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-540-68863-1_8">
<button class="ui left aligned compact blue labeled icon button serp-button">
<i class="external alternate icon"></i>
springer.com
</button>
</a>
Potential synergies of theorem proving and model checking for software product lines
<span title="">2014</span>
<i title="ACM Press">
<a target="_blank" rel="noopener" href="https://fatcat.wiki/container/kaprbx3mnjhm5i3ju6teggzole" style="color: black;">Proceedings of the 18th International Software Product Line Conference on - SPLC '14</a>
</i>
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit <a rel="external noopener" href="http://wwwiti.cs.uni-magdeburg.de/iti_db/publikationen/ps/auto/ThuemMB+:SPLC14.pdf">the original URL</a>. The file type is <code>application/pdf</code>.
Further, we experienced that model checking and theorem proving are more efficient and effective if the product line contains more defects. ...
For the first time, we combine theorem proving and model checking to evaluate their synergies for product-line verification. ...
Software Model Checking. In software model checking, programs are usually verified by means of test scenarios [4] . ...
<span class="external-identifiers">
<a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/2648511.2648530">doi:10.1145/2648511.2648530</a>
<a target="_blank" rel="external noopener" href="https://dblp.org/rec/conf/splc/ThumMBHRS14.html">dblp:conf/splc/ThumMBHRS14</a>
<a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/dh2ahqzib5eyfcvnlu4uqrt4sq">fatcat:dh2ahqzib5eyfcvnlu4uqrt4sq</a>
</span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20180721233143/http://wwwiti.cs.uni-magdeburg.de/iti_db/publikationen/ps/auto/ThuemMB+:SPLC14.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext">
<button class="ui simple right pointing dropdown compact black labeled icon button serp-button">
<i class="icon ia-icon"></i>
Web Archive
[PDF]
<div class="menu fulltext-thumbnail">
<img src="https://blobs.fatcat.wiki/thumbnail/pdf/24/0b/240b029e0d370465e92f716febb593a64546a2ba.180px.jpg" alt="fulltext thumbnail" loading="lazy">
</div>
</button>
</a>
<a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/2648511.2648530">
<button class="ui left aligned compact blue labeled icon button serp-button">
<i class="external alternate icon"></i>
acm.org
</button>
</a>
Model checking partial software product line designs
<span title="">2014</span>
<i title="ACM Press">
<a target="_blank" rel="noopener" href="https://fatcat.wiki/container/dj7g645z6zfl5lut4iwy5walyu" style="color: black;">Proceedings of the International Workshop on Innovative Software Development Methodologies and Practices - InnoSWDev 2014</a>
</i>
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit <a rel="external noopener" href="https://static.aminer.org/pdf/20170130/pdfs/sigsoft/al1jkbpsw3ft9uedzm8h4zknnb6iegyu.pdf">the original URL</a>. The file type is <code>application/pdf</code>.
In this paper, we consider model checking partial software product line designs, i.e., the incomplete designs in the early stage of software development, where the design decisions for a feature may be ...
Software product line (SPL) maximizes commonality between software products to reduce cost and improve productivity, where each product is represented by a selection of features that corresponds to particular ...
But they have not been directly applied to model checking software product lines. ...
<span class="external-identifiers">
<a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/2666581.2666589">doi:10.1145/2666581.2666589</a>
<a target="_blank" rel="external noopener" href="https://dblp.org/rec/conf/sigsoft/ShiWZ14.html">dblp:conf/sigsoft/ShiWZ14</a>
<a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/3bq66iw2wjdc3kroo2od275p3u">fatcat:3bq66iw2wjdc3kroo2od275p3u</a>
</span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20190218120517/https://static.aminer.org/pdf/20170130/pdfs/sigsoft/al1jkbpsw3ft9uedzm8h4zknnb6iegyu.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext">
<button class="ui simple right pointing dropdown compact black labeled icon button serp-button">
<i class="icon ia-icon"></i>
Web Archive
[PDF]
<div class="menu fulltext-thumbnail">
<img src="https://blobs.fatcat.wiki/thumbnail/pdf/16/e0/16e0f3e62e35a183c599397e5c83ba665f8b7d3f.180px.jpg" alt="fulltext thumbnail" loading="lazy">
</div>
</button>
</a>
<a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/2666581.2666589">
<button class="ui left aligned compact blue labeled icon button serp-button">
<i class="external alternate icon"></i>
acm.org
</button>
</a>
Consistency Checking Rules of Variability between Feature Model and Elements in Software Product Lines
소프트웨어 제품라인의 휘처모델과 구성요소간 가변성에 대한 일관성 검증 규칙
<span title="2014-01-31">2014</span>
<i title="Korea Information Processing Society">
<a target="_blank" rel="noopener" href="https://fatcat.wiki/container/7c46crru7vharmmjpk6clszsey" style="color: black;">KIPS Transactions on Software and Data Engineering</a>
</i>
소프트웨어 제품라인의 휘처모델과 구성요소간 가변성에 대한 일관성 검증 규칙
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit <a rel="external noopener" href="http://ocean.kisti.re.kr/downfile/volume/kips/JBCRJM/2014/v3n1/JBCRJM_2014_v3n1_1.pdf">the original URL</a>. The file type is <code>application/pdf</code>.
There are several models defined in software product line methodology and each model has different abstraction level. ...
Many companies have tried to adopt Software Product Line Engineering for improving the quality and productivity of information systems and software product. ...
Fig. 5 . 5 Architecture Model with Variability of Online Evaluation Classroom Behavior Service product line
모든 기업들은 높은 품질의 정보시스템과 높은 생산성을 가지는 소프트웨어 제품을 만들기 위해 노력하고 있다. ...
<span class="external-identifiers">
<a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.3745/ktsde.2014.3.1.1">doi:10.3745/ktsde.2014.3.1.1</a>
<a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/icio3qirebayzkezvot2fese5m">fatcat:icio3qirebayzkezvot2fese5m</a>
</span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170817200419/http://ocean.kisti.re.kr/downfile/volume/kips/JBCRJM/2014/v3n1/JBCRJM_2014_v3n1_1.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext">
<button class="ui simple right pointing dropdown compact black labeled icon button serp-button">
<i class="icon ia-icon"></i>
Web Archive
[PDF]
<div class="menu fulltext-thumbnail">
<img src="https://blobs.fatcat.wiki/thumbnail/pdf/c8/2d/c82d6c55eb2beeeef1afe03d47c23b2946039892.180px.jpg" alt="fulltext thumbnail" loading="lazy">
</div>
</button>
</a>
<a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.3745/ktsde.2014.3.1.1">
<button class="ui left aligned compact blue labeled icon button serp-button">
<i class="external alternate icon"></i>
Publisher / doi.org
</button>
</a>
Beyond Boolean product-line model checking: Dealing with feature attributes and multi-features
<span title="">2013</span>
<i title="IEEE">
<a target="_blank" rel="noopener" href="https://fatcat.wiki/container/wvv27s77dvd5flktsj246kcxwu" style="color: black;">2013 35th International Conference on Software Engineering (ICSE)</a>
</i>
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit <a rel="external noopener" href="https://hal.inria.fr/hal-01087792/document">the original URL</a>. The file type is <code>application/pdf</code>.
Model checking techniques for software product lines (SPL) are actively researched. ...
We generalize SPL model checking algorithms correspondingly and evaluate their applicability. Our results show that the algorithms remain efficient despite the generalization. ...
ACKNOWLEDGEMENTS We thank Philippe Warnon and Raphael Michel for their suggestions regarding TVL * 's syntax, as well as Andreas Classen for proofreading. ...
<span class="external-identifiers">
<a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/icse.2013.6606593">doi:10.1109/icse.2013.6606593</a>
<a target="_blank" rel="external noopener" href="https://dblp.org/rec/conf/icse/CordySHL13.html">dblp:conf/icse/CordySHL13</a>
<a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/7uxl3q4n2jc67pvxotnlrgyg6q">fatcat:7uxl3q4n2jc67pvxotnlrgyg6q</a>
</span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170922100515/https://hal.inria.fr/hal-01087792/document" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext">
<button class="ui simple right pointing dropdown compact black labeled icon button serp-button">
<i class="icon ia-icon"></i>
Web Archive
[PDF]
<div class="menu fulltext-thumbnail">
<img src="https://blobs.fatcat.wiki/thumbnail/pdf/6c/7b/6c7bfd314ee3a349a07be5eb917b0c7badc01831.180px.jpg" alt="fulltext thumbnail" loading="lazy">
</div>
</button>
</a>
<a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/icse.2013.6606593">
<button class="ui left aligned compact blue labeled icon button serp-button">
<i class="external alternate icon"></i>
ieee.com
</button>
</a>
Flexible and scalable consistency checking on product line variability models
<span title="">2010</span>
<i title="ACM Press">
<a target="_blank" rel="noopener" href="https://fatcat.wiki/container/hj24pr6lvba3dfi5muhp4mz5tm" style="color: black;">Proceedings of the IEEE/ACM international conference on Automated software engineering - ASE '10</a>
</i>
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit <a rel="external noopener" href="http://140.78.115.16/alexander.egyed/publications/Flexible%20and%20Scalable%20Consistency%20Checking.pdf">the original URL</a>. The file type is <code>application/pdf</code>.
Furthermore, the approach is not limited to variability models and also checks the consistency of the models with the underlying code base of the product line. ...
We present tool support and report the results of a thorough evaluation based on realworld product line models. General Terms Variability models, model consistency, incremental consistency checking. ...
We are also grateful to Martin Lehofer and Deepak Dhungana for their support. ...
<span class="external-identifiers">
<a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/1858996.1859009">doi:10.1145/1858996.1859009</a>
<a target="_blank" rel="external noopener" href="https://dblp.org/rec/conf/kbse/VierhauserGERH10.html">dblp:conf/kbse/VierhauserGERH10</a>
<a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/vg5yhlprfbbcnetrjvrwlqixne">fatcat:vg5yhlprfbbcnetrjvrwlqixne</a>
</span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170808070320/http://140.78.115.16/alexander.egyed/publications/Flexible%20and%20Scalable%20Consistency%20Checking.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext">
<button class="ui simple right pointing dropdown compact black labeled icon button serp-button">
<i class="icon ia-icon"></i>
Web Archive
[PDF]
<div class="menu fulltext-thumbnail">
<img src="https://blobs.fatcat.wiki/thumbnail/pdf/90/41/9041e3236f278887017165da9a2248237832a724.180px.jpg" alt="fulltext thumbnail" loading="lazy">
</div>
</button>
</a>
<a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/1858996.1859009">
<button class="ui left aligned compact blue labeled icon button serp-button">
<i class="external alternate icon"></i>
acm.org
</button>
</a>
Automated Software Product Line Engineering and Product Derivation
<span title="">2007</span>
<i title="IEEE">
<a target="_blank" rel="noopener" href="https://fatcat.wiki/container/zlnwsi4sefbkvlcgv2zcupjqum" style="color: black;">2007 40th Annual Hawaii International Conference on System Sciences (HICSS'07)</a>
</i>
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit <a rel="external noopener" href="https://www.computer.org/csdl/proceedings/hicss/2007/2755/00/27550285a.pdf">the original URL</a>. The file type is <code>application/pdf</code>.
This paper describes a prototype automated software product line engineering environment, in which a multiple view model of the product line architecture and components are developed and stored in a product ...
, support for consistency checking among the multiple views, and support for feature-based product line derivation. ...
A product line multiple-view model, which addresses the multiple views of a software product line, is modeled and checked for consistency between the multiple views. ...
<span class="external-identifiers">
<a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/hicss.2007.95">doi:10.1109/hicss.2007.95</a>
<a target="_blank" rel="external noopener" href="https://dblp.org/rec/conf/hicss/GomaaS07.html">dblp:conf/hicss/GomaaS07</a>
<a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/4l7gehmd2fhixdg3krs6wuwv64">fatcat:4l7gehmd2fhixdg3krs6wuwv64</a>
</span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170819111731/https://www.computer.org/csdl/proceedings/hicss/2007/2755/00/27550285a.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext">
<button class="ui simple right pointing dropdown compact black labeled icon button serp-button">
<i class="icon ia-icon"></i>
Web Archive
[PDF]
<div class="menu fulltext-thumbnail">
<img src="https://blobs.fatcat.wiki/thumbnail/pdf/f8/2c/f82c88dbbf4084ab31db81fbad185839d269a90d.180px.jpg" alt="fulltext thumbnail" loading="lazy">
</div>
</button>
</a>
<a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/hicss.2007.95">
<button class="ui left aligned compact blue labeled icon button serp-button">
<i class="external alternate icon"></i>
ieee.com
</button>
</a>
A Classification and Survey of Analysis Strategies for Software Product Lines
<span title="2014-06-01">2014</span>
<i title="Association for Computing Machinery (ACM)">
<a target="_blank" rel="noopener" href="https://fatcat.wiki/container/eiea26iqqjcatatlgxdpzt637y" style="color: black;">ACM Computing Surveys</a>
</i>
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit <a rel="external noopener" href="http://www.cs.cmu.edu/~ckaestne/pdf/tr_analysis12.pdf">the original URL</a>. The file type is <code>application/pdf</code>.
Software product lines challenge traditional analysis techniques, such as type checking, testing, and formal verification, in their quest of ensuring correctness and reliability of software. ...
A software product line is a set of software products that share a common set of features. ...
ACKNOWLEDGMENTS Apel's work is supported by the German Research Foundation (DFG -AP 206/2, AP 206/4, and LE 912/13). Kästner's work is supported by ERC grant #203099. ...
<span class="external-identifiers">
<a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/2580950">doi:10.1145/2580950</a>
<a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/remygtunanez7o4jwc4l2wmnni">fatcat:remygtunanez7o4jwc4l2wmnni</a>
</span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170813075025/http://www.cs.cmu.edu/~ckaestne/pdf/tr_analysis12.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext">
<button class="ui simple right pointing dropdown compact black labeled icon button serp-button">
<i class="icon ia-icon"></i>
Web Archive
[PDF]
<div class="menu fulltext-thumbnail">
<img src="https://blobs.fatcat.wiki/thumbnail/pdf/0a/e9/0ae970b352dbdebf07837cbe78e9aee31161a33d.180px.jpg" alt="fulltext thumbnail" loading="lazy">
</div>
</button>
</a>
<a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/2580950">
<button class="ui left aligned compact blue labeled icon button serp-button">
<i class="external alternate icon"></i>
acm.org
</button>
</a>
Model-Driven Evolution of Software Architectures
<span title="">2007</span>
<i title="IEEE">
<a target="_blank" rel="noopener" href="https://fatcat.wiki/container/7bxtpp5fdjfohafns6t4goc57q" style="color: black;">11th European Conference on Software Maintenance and Reengineering (CSMR'07)</a>
</i>
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2008; you can also visit <a rel="external noopener" href="http://www.st.ewi.tudelft.nl/~basgraaf/publications/CSMR2007.pdf">the original URL</a>. The file type is <code>application/pdf</code>.
-project that investigates approaches to support the evolution of software architectures. Particularly, we focus on the use of model-driven techniques in the context of software product-lines. ...
We recognise four tasks related to software evolution: evaluation, conformance checking, migration, and documentation. We propose model-driven solutions for these tasks. ...
Acknowledgement We received partial support for our work via the Reconstructor (NWO), and MOOSE (Senter) projects. ...
<span class="external-identifiers">
<a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/csmr.2007.35">doi:10.1109/csmr.2007.35</a>
<a target="_blank" rel="external noopener" href="https://dblp.org/rec/conf/csmr/Graaf07.html">dblp:conf/csmr/Graaf07</a>
<a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/gdmanjfumvbjhlbxswntp4zsmq">fatcat:gdmanjfumvbjhlbxswntp4zsmq</a>
</span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20081015141653/http://www.st.ewi.tudelft.nl/~basgraaf/publications/CSMR2007.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext">
<button class="ui simple right pointing dropdown compact black labeled icon button serp-button">
<i class="icon ia-icon"></i>
Web Archive
[PDF]
<div class="menu fulltext-thumbnail">
<img src="https://blobs.fatcat.wiki/thumbnail/pdf/91/c9/91c99b0b306fd5ffdd3fe907f77effe1d8e8a04e.180px.jpg" alt="fulltext thumbnail" loading="lazy">
</div>
</button>
</a>
<a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/csmr.2007.35">
<button class="ui left aligned compact blue labeled icon button serp-button">
<i class="external alternate icon"></i>
ieee.com
</button>
</a>
Integrated Revision and Variation Control for Evolving Model-Driven Software Product Lines
<span title="">2020</span>
<i title="Gesellschaft für Informatik e.V.">
<a target="_blank" rel="noopener" href="https://fatcat.wiki/container/juroqrt2onaphifdswcqvr35vq" style="color: black;">Software Engineering</a>
</i>
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2022; you can also visit <a rel="external noopener" href="https://dl.gi.de/bitstream/handle/20.500.12116/31719/B13-03.pdf;jsessionid=0D80A0E42AACF023C7CAA316DA969288?sequence=1">the original URL</a>. The file type is <code>application/pdf</code>.
help of software product line engineering. ...
In this article, we present a conceptual framework for integrated revision and variation control of model-driven software projects and its implementation in the tool SuperMod. ...
For example, model version control deals with historical evolution of models, and model-driven software product line engineering applies product line engineering to model-rather than code-based artifacts ...
<span class="external-identifiers">
<a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.18420/se2020_40">doi:10.18420/se2020_40</a>
<a target="_blank" rel="external noopener" href="https://dblp.org/rec/conf/se/SchwagerlW20.html">dblp:conf/se/SchwagerlW20</a>
<a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/nndpgm4qcja7zenqj3enioqn2u">fatcat:nndpgm4qcja7zenqj3enioqn2u</a>
</span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20220421081705/https://dl.gi.de/bitstream/handle/20.500.12116/31719/B13-03.pdf;jsessionid=0D80A0E42AACF023C7CAA316DA969288?sequence=1" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext">
<button class="ui simple right pointing dropdown compact black labeled icon button serp-button">
<i class="icon ia-icon"></i>
Web Archive
[PDF]
<div class="menu fulltext-thumbnail">
<img src="https://blobs.fatcat.wiki/thumbnail/pdf/3c/8d/3c8d854491275e9812e2e63e8e8402410d8d737e.180px.jpg" alt="fulltext thumbnail" loading="lazy">
</div>
</button>
</a>
<a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.18420/se2020_40">
<button class="ui left aligned compact blue labeled icon button serp-button">
<i class="external alternate icon"></i>
Publisher / doi.org
</button>
</a>
Framework for Evaluating the Version Management Capabilities of a Class of UML Modeling Tools from the Viewpoint of Multi-Site, Multi-Partner Product Line Organizations
<span title="">2010</span>
<i title="IEEE">
<a target="_blank" rel="noopener" href="https://fatcat.wiki/container/zlnwsi4sefbkvlcgv2zcupjqum" style="color: black;">2010 43rd Hawaii International Conference on System Sciences</a>
</i>
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit <a rel="external noopener" href="https://jyx.jyu.fi/dspace/bitstream/handle/123456789/26774/Koivulahti-Ojala_Kakola_43rd_Hawaii_Intl_Conf.pdf?sequence=1">the original URL</a>. The file type is <code>application/pdf</code>.
UML models are widely used in software product line engineering for activities such as modeling the software product line reference architecture, detailed design, and automation of software code generation ...
This article's contribution is a framework for evaluating the version management features of UML modeling tools for multi-site, multi-partner software product line organizations. ...
Element level check-in and check-out enables completing the necessary tasks effec-tively in product line modeling. ...
<span class="external-identifiers">
<a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/hicss.2010.213">doi:10.1109/hicss.2010.213</a>
<a target="_blank" rel="external noopener" href="https://dblp.org/rec/conf/hicss/Koivulahti-OjalaK10.html">dblp:conf/hicss/Koivulahti-OjalaK10</a>
<a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/6ditx2ocsvbirjptxcj4uw2ao4">fatcat:6ditx2ocsvbirjptxcj4uw2ao4</a>
</span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170814123654/https://jyx.jyu.fi/dspace/bitstream/handle/123456789/26774/Koivulahti-Ojala_Kakola_43rd_Hawaii_Intl_Conf.pdf?sequence=1" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext">
<button class="ui simple right pointing dropdown compact black labeled icon button serp-button">
<i class="icon ia-icon"></i>
Web Archive
[PDF]
<div class="menu fulltext-thumbnail">
<img src="https://blobs.fatcat.wiki/thumbnail/pdf/73/c5/73c5b1239a49e3cda8fb5cea2fdd3ce886c47d0b.180px.jpg" alt="fulltext thumbnail" loading="lazy">
</div>
</button>
</a>
<a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/hicss.2010.213">
<button class="ui left aligned compact blue labeled icon button serp-button">
<i class="external alternate icon"></i>
ieee.com
</button>
</a>
Formal Verification of Consistency between Feature Model and Software Architecture in Software Product Line
<span title="">2007</span>
<i title="IEEE">
<a target="_blank" rel="noopener" href="https://fatcat.wiki/container/yh7e6fwb3rhmxokijwj7i774ne" style="color: black;">International Conference on Software Engineering Advances (ICSEA 2007)</a>
</i>
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit <a rel="external noopener" href="http://koasas.kaist.ac.kr/bitstream/10203/195416/1/Formal%20Verification%20of%20Consistency%20between%20Feature%20Model%20and%20Software%20Architecture%20in%20Software%20Product%20Line.pdf">the original URL</a>. The file type is <code>application/pdf</code>.
In software product line development, consistency becomes more important because commonalities and variabilities increase the complexity of relationship among artifacts. ...
product line example International Conference on Software Engineering Advances(ICSEA 2007) 0-7695-2937-2/07 $25.00 ...
Key Concepts and Model Specifications
Feature Model Feature modeling is a method for describing commonalities and variabilities in software product line. ...
<span class="external-identifiers">
<a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/icsea.2007.33">doi:10.1109/icsea.2007.33</a>
<a target="_blank" rel="external noopener" href="https://dblp.org/rec/conf/icsea/SatyanandaLK07.html">dblp:conf/icsea/SatyanandaLK07</a>
<a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/eazgjlajznbhjeqcswuue6fi64">fatcat:eazgjlajznbhjeqcswuue6fi64</a>
</span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170808044718/http://koasas.kaist.ac.kr/bitstream/10203/195416/1/Formal%20Verification%20of%20Consistency%20between%20Feature%20Model%20and%20Software%20Architecture%20in%20Software%20Product%20Line.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext">
<button class="ui simple right pointing dropdown compact black labeled icon button serp-button">
<i class="icon ia-icon"></i>
Web Archive
[PDF]
<div class="menu fulltext-thumbnail">
<img src="https://blobs.fatcat.wiki/thumbnail/pdf/30/62/30623a1e01a0508e2f68476d8a025b1ce647d886.180px.jpg" alt="fulltext thumbnail" loading="lazy">
</div>
</button>
</a>
<a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/icsea.2007.33">
<button class="ui left aligned compact blue labeled icon button serp-button">
<i class="external alternate icon"></i>
ieee.com
</button>
</a>
Quality Assurance in the Presence of Variability
[chapter]
<span title="">2010</span>
<i title="Springer Berlin Heidelberg">
Intentional Perspectives on Information Systems Engineering
</i>
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit <a rel="external noopener" href="http://pdfs.semanticscholar.org/efa6/319093b84f35e086a3c14d3b91c8706d3c57.pdf">the original URL</a>. The file type is <code>application/pdf</code>.
Software Product Line Engineering (SPLE) is a reuse-driven development paradigm that has been applied successfully in information system engineering and other domains. ...
The technique is based on model checking technology and allows for a comprehensive verification of domain artifacts against temporal logic properties. ...
We would like to thank Ernst Sikora and Nelufar Ulfat-Bunyadi for fruitful discussions on earlier drafts of this chapter. ...
<span class="external-identifiers">
<a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-642-12544-7_18">doi:10.1007/978-3-642-12544-7_18</a>
<a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/sft7eibgavfr5mpv5dkmdwdlhm">fatcat:sft7eibgavfr5mpv5dkmdwdlhm</a>
</span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20190308081424/http://pdfs.semanticscholar.org/efa6/319093b84f35e086a3c14d3b91c8706d3c57.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext">
<button class="ui simple right pointing dropdown compact black labeled icon button serp-button">
<i class="icon ia-icon"></i>
Web Archive
[PDF]
<div class="menu fulltext-thumbnail">
<img src="https://blobs.fatcat.wiki/thumbnail/pdf/ef/a6/efa6319093b84f35e086a3c14d3b91c8706d3c57.180px.jpg" alt="fulltext thumbnail" loading="lazy">
</div>
</button>
</a>
<a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-642-12544-7_18">
<button class="ui left aligned compact blue labeled icon button serp-button">
<i class="external alternate icon"></i>
springer.com
</button>
</a>
An overview on analysis tools for software product lines
<span title="">2014</span>
<i title="ACM Press">
<a target="_blank" rel="noopener" href="https://fatcat.wiki/container/kaprbx3mnjhm5i3ju6teggzole" style="color: black;">Proceedings of the 18th International Software Product Line Conference on Companion Volume for Workshops, Demonstrations and Tools - SPLC '14</a>
</i>
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit <a rel="external noopener" href="http://wwwiti.cs.uni-magdeburg.de/iti_db/publikationen/ps/auto/MeinickeTS+14.pdf">the original URL</a>. The file type is <code>application/pdf</code>.
A software product line is a set of different software products that share commonalities. ...
However, analyses of software product lines need to handle a large number of products that can be exponential in the number of features. ...
Efficient type checking tools for software product lines consider the variability defined at the feature model for family-based analyses based on a unmodified product line. ...
<span class="external-identifiers">
<a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/2647908.2655972">doi:10.1145/2647908.2655972</a>
<a target="_blank" rel="external noopener" href="https://dblp.org/rec/conf/splc/MeinickeTSBS14.html">dblp:conf/splc/MeinickeTSBS14</a>
<a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/b4y3g7vklbh4vmulfxrza5ckhy">fatcat:b4y3g7vklbh4vmulfxrza5ckhy</a>
</span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20180721043442/http://wwwiti.cs.uni-magdeburg.de/iti_db/publikationen/ps/auto/MeinickeTS+14.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext">
<button class="ui simple right pointing dropdown compact black labeled icon button serp-button">
<i class="icon ia-icon"></i>
Web Archive
[PDF]
<div class="menu fulltext-thumbnail">
<img src="https://blobs.fatcat.wiki/thumbnail/pdf/8c/34/8c340c824d1e4e567dde09ac11648450bb18ba4a.180px.jpg" alt="fulltext thumbnail" loading="lazy">
</div>
</button>
</a>
<a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/2647908.2655972">
<button class="ui left aligned compact blue labeled icon button serp-button">
<i class="external alternate icon"></i>
acm.org
</button>
</a>
Language-independent reference checking in software product lines
<span title="">2010</span>
<i title="ACM Press">
<a target="_blank" rel="noopener" href="https://fatcat.wiki/container/njckhhsy45acjc6agj5now7wey" style="color: black;">Proceedings of the 2nd International Workshop on Feature-Oriented Software Development - FOSD '10</a>
</i>
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2015; you can also visit <a rel="external noopener" href="http://www.cs.cmu.edu/~ckaestne/pdf/FOSD10-ftweezer.pdf">the original URL</a>. The file type is <code>application/pdf</code>.
Feature-Oriented Software Development (FOSD) is a paradigm for the development of software product lines. ...
Experiments with two sample product lines written in Java and C are encouraging and give us confidence that this approach is promising. ...
The problem is that, during the life time of a software product line, the feature model and the features' implementations tend to diverge. ...
<span class="external-identifiers">
<a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/1868688.1868698">doi:10.1145/1868688.1868698</a>
<a target="_blank" rel="external noopener" href="https://dblp.org/rec/conf/gpce/ApelSLK10.html">dblp:conf/gpce/ApelSLK10</a>
<a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/ltydt6e63nacdja33tmv52y2k4">fatcat:ltydt6e63nacdja33tmv52y2k4</a>
</span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20151006065027/http://www.cs.cmu.edu/~ckaestne/pdf/FOSD10-ftweezer.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext">
<button class="ui simple right pointing dropdown compact black labeled icon button serp-button">
<i class="icon ia-icon"></i>
Web Archive
[PDF]
<div class="menu fulltext-thumbnail">
<img src="https://blobs.fatcat.wiki/thumbnail/pdf/a7/bb/a7bbba650b46753c68e727fbff0863ab289de8b2.180px.jpg" alt="fulltext thumbnail" loading="lazy">
</div>
</button>
</a>
<a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/1868688.1868698">
<button class="ui left aligned compact blue labeled icon button serp-button">
<i class="external alternate icon"></i>
acm.org
</button>
</a>
« Previous
Showing results 1 — 15 out of 554,278 results