Filters








554,278 Hits in 4.7 sec

Modeling and Model Checking Software Product Lines [chapter]

Alexander Gruler, Martin Leucker, Kathrin Scheidemann
<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> &nbsp;
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

Thomas Thüm, Jens Meinicke, Fabian Benduhn, Martin Hentschel, Alexander von Rhein, Gunter Saake
<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 &#39;14</a> </i> &nbsp;
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

Yufeng Shi, Ou Wei, Yu Zhou
<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> &nbsp;
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
소프트웨어 제품라인의 휘처모델과 구성요소간 가변성에 대한 일관성 검증 규칙

Se-Hoon Kim, Jeong-Ah Kim
<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> &nbsp;
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

Maxime Cordy, Pierre-Yves Schobbens, Patrick Heymans, Axel Legay
<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> &nbsp;
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

Michael Vierhauser, Paul Grünbacher, Alexander Egyed, Rick Rabiser, Wolfgang Heider
<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 &#39;10</a> </i> &nbsp;
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

Hassan Gomaa, Michael Shin
<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&#39;07)</a> </i> &nbsp;
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

Thomas Thüm, Sven Apel, Christian Kästner, Ina Schaefer, Gunter Saake
<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> &nbsp;
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

Bas Graaf
<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&#39;07)</a> </i> &nbsp;
-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

Felix Schwägerl, Bernhard Westfechtel
<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> &nbsp;
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

Mervi Koivulahti-Ojala, Timo Kakola
<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> &nbsp;
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

Tonny Kurniadi Satyananda, Danhyung Lee, Sungwon Kang
<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> &nbsp;
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]

Kim Lauenroth, Andreas Metzger, Klaus Pohl
<span title="">2010</span> <i title="Springer Berlin Heidelberg"> Intentional Perspectives on Information Systems Engineering </i> &nbsp;
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

Jens Meinicke, Thomas Thüm, Reimar Schröter, Fabian Benduhn, Gunter Saake
<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 &#39;14</a> </i> &nbsp;
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

Sven Apel, Wolfgang Scholz, Christian Lengauer, Christian Kästner
<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 &#39;10</a> </i> &nbsp;
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>
&laquo; Previous Showing results 1 &mdash; 15 out of 554,278 results