A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2014; you can also visit the original URL.
The file type is application/pdf.
Filters
Functional safety and variability
2013
Proceedings of the 17th International Software Product Line Conference on - SPLC '13
Preserved Fulltext
The arising question is: Can variability in functional safety related assets be treated in the same way as for other artifacts like requirements, models, and source code? ...
Applying a product line approach with explicitly modeling the commonalities and variabilities of system artifacts and deriving products from that common base is a way to tackle the problem. ...
works for common artifacts like requirements, system architecture models, source code, tests, and so on. ...
doi:10.1145/2491627.2491654
dblp:conf/splc/SchulzeMB13
fatcat:7cp57bxrirenxdbhciuincf3ym
Towards a systematic requirement-based test generation framework: Industrial challenges and needs
2013
2013 21st IEEE International Requirements Engineering Conference (RE)
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 the original URL.
The file type is application/pdf.
Requirement-based test generation (RBTG) is a verification and validation technique, which ensures the conformance of a final product with its requirements. ...
Due to the complexity of developing such systems and being in the context of system product-line engineering, achieving this goal requires a systematic approach for RBTG. ...
Furthermore, most of these tools don't support the variability management of requirements and tests as a built-in functionality. ...
doi:10.1109/re.2013.6636727
dblp:conf/re/HesariBY13
fatcat:nxiegm5vybcf3ekypmy7b6uidy
A survey on software product line testing
2012
Proceedings of the 16th International Software Product Line Conference on - SPLC '12 -volume 1
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 the original URL.
The file type is application/pdf.
Thus, this paper surveys the current software product line testing approaches by defining a reference SPL testing processes and identifying, based on them, key research perspectives that are important ...
Various software product line testing approaches have been developed over the last decade, and surveys have been conducted on them. ...
For deriving observations to be used as the basis for comparison and analysis, we analyze P1 through P5 based on McGregor [8, 9] and Pohl et al. ...
doi:10.1145/2362536.2362545
dblp:conf/splc/LeeKL12
fatcat:kj5jl4kcajfflboo54jmxnfit4
An approach for Model-Driven test generation
2009
2009 Third International Conference on Research Challenges in Information Science
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 2020; you can also visit the original URL.
The file type is application/pdf.
Model-Driven Engineering is a new paradigm that can help to minimize test cases generation costs and can ensure quality of results. ...
The test phase is one of the most important phases in software development. However, in practice, little research has been carried out in this field. ...
ACKNOWLEDGMENT This research has been supported by the project QSimTest (TIN2007-67843-C06_03) and by the RePRIS project of the Ministerio de Educación y Ciencia (TIN2007-30391-E), Spain. ...
doi:10.1109/rcis.2009.5089294
dblp:conf/rcis/CuaresmaGMRT09
fatcat:rwkosvtqjrblxcsn4xuvfzm5x4
DesCert: Design for Certification
[article]
2022
arXiv
pre-print
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 the original URL.
The file type is application/pdf.
We have adopted a formal, tool-based approach to the construction of software artifacts that are supported by rigorous evidence. ...
properties and software components with assertional contracts, and on to software that can be analyzed both dynamically and statically. ...
Test generation is based on a testing theory for exploring and monitoring the implementation of each operator used in the requirements definition. ...
arXiv:2203.15178v1
fatcat:uf6gxa573nhydm2qq5qum5phvm
Towards Integrated Variant Management in Global Software Engineering: An Experience Report
2013
2013 IEEE 8th International Conference on Global Software Engineering
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 the original URL.
The file type is application/pdf.
based on experiences. ...
Especially, the increasing number of software variants requires an examination of traceable and configurable software variants over the software lifecycle. ...
SPES XT is supported by the German Federal Ministry for Education and Research (BMBF) by 01IS12005. ...
doi:10.1109/icgse.2013.29
dblp:conf/icgse/ManzSR13
fatcat:jru2fxpty5cephsgdz4dhih2rm
Boundary objects and their use in agile systems engineering
2019
Journal of Software: Evolution and Process
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 2020; you can also visit the original URL.
The file type is application/pdf.
Note that this fulltext copy is not of the "primary" version of this work. The version it corresponds to is:
2019 pre-print arXiv:1904.12131v1 fatcat:dkyb5gpzxbetjjgrve2uptdl4q
This paper presents artifacts, challenges, guidelines, and practices for the continuous management of systems engineering artifacts in automotive based on a theoretical and empirical understanding of the ...
tool. ...
This work was partially supported by the Next Generation Electrical Architecture (NGEA) and NGEA step 2 projects by VINNOVA FFI (2014-05599 and 2015-04881), the Software Center Project 27 on RE for Large-Scale ...
doi:10.1002/smr.2166
fatcat:euamadzhtbg3fhh7zfpdmp5xlq
A hybrid intelligence approach to artifact recognition in digital publishing
2006
Digital Publishing
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 2006; you can also visit the original URL.
The file type is application/pdf.
We designed a Knowledge-Based Artifact Recognition tool for document segmentation, layout understanding, artifact detection, and document design quality assessment. ...
The system presented integrates rule-based and case-based reasoning for artifact recognition in Digital Publishing. ...
A detailed analysis of results for each type of artifact is found in [10] . For this these tests we tried 8 N different weight configurations for the distance function in equation 1. ...
doi:10.1117/12.646240
fatcat:cmukywwebremdec2h5vdtggbwy
The origin of the Acheulean. Techno-functional study of the FLK W lithic record (Olduvai, Tanzania)
2017
PLoS ONE
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 the original URL.
The file type is application/pdf.
The integration of mechanical and ergonomic investigation in our research has been crucial to explain how a core-and-flake industry gave way to a technology based on the production of large and heavy shaped ...
An original techno-functional approach is applied here to analyze the origin of Acheulean tools. ...
Acknowledgments We wish to thank Tanzanian COSTECH and the Antiquities Unit for permits to conduct research at Olduvai Gorge. ...
doi:10.1371/journal.pone.0179212
pmid:28767645
pmcid:PMC5540295
fatcat:pwlx3ansovecth5adgqcxy76fe
Standards Initiatives for Software Product Line Engineering and Management within the International Organization for Standardization
2010
2010 43rd Hawaii International Conference on System Sciences
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 the original URL.
The file type is application/pdf.
As a result, ecosystems cannot adopt standardized methods and tools for developing product lines, tool vendors face difficulties in developing tools to enable product line engineering, and universities ...
The International Organization for Standardization has initiated several projects to create a set of international standards for software product line engineering. ...
The domain testing of implementations involves the creation of domain test cases for the common and variable features realized by the platform based on the inputs from domain requirements engineering, ...
doi:10.1109/hicss.2010.348
dblp:conf/hicss/Kakola10
fatcat:relxmcwagbejzly5p3lkedj2cm
Modeling DevOps Deployment Choices Using Process Architecture Design Dimensions
[chapter]
2015
Lecture Notes in Business Information Processing
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 2016; you can also visit the original URL.
The file type is application/pdf.
At present, there is no structured method in enterprise architecture modeling that would enable enterprises to devise a DevOps approach suitable for their requirements while considering possible process ...
their contexts and requirements. ...
(B) Analyzing the temporal placement of QA testing process element based on NFRs.
Fig. 4 . 4 Fig. 4. ...
doi:10.1007/978-3-319-25897-3_21
fatcat:t4dfmfq7prdu5d4rlixmltsjmi
AGMT3-D: A software for 3-D landmarks-based geometric morphometric shape analysis of archaeological artifacts
2018
PLoS ONE
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 the original URL.
The file type is application/pdf.
tool, automatic calculation of shape variabilities and statistical tests. ...
It is intended to provide archaeologists with a simple and easy-to-use tool for performing 3-D landmarks-based geometric morphometric shape analysis on 3-D digital models of archaeological artifacts. ...
We thank Bo Madsen for knapping the experimental material and Gonen Sharon for curating it. ...
doi:10.1371/journal.pone.0207890
pmid:30458049
pmcid:PMC6245792
fatcat:24ofepu35vaf7kug6ctfbxajja
Model transformation impact on test artifacts
2012
Proceedings of the Workshop on Model-Driven Engineering, Verification and Validation - MoDeVVa '12
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 the original URL.
The file type is application/pdf.
The analysis identifies two major sources for these additional test artifacts. ...
Test artifacts, i.e., predicates and clauses, are used to satisfy the structural code coverage criterion, in this case MCDC, which is required by the US Federal Aviation Administration. ...
ACKNOWLEDGEMENTS This work was supported in part by the Research Grant 2010-01252 from the VINNOVA (Swedish Governmental Agency for Innovation Systems). ...
doi:10.1145/2427376.2427378
fatcat:gmlaizacpvdttocvpxn4au2rri
Recovering traceability links in software artifact management systems using information retrieval methods
2007
ACM Transactions on Software Engineering and Methodology
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 2010; you can also visit the original URL.
The file type is application/pdf.
We have improved an artifact management system with a traceability recovery tool based on Latent Semantic Indexing (LSI), an information retrieval technique. ...
We observed that although tools based on information retrieval provide a useful support for the identification of traceability links during software development, they are still far to support a complete ...
ACKNOWLEDGMENTS We would like to thank the anonymous reviewers for their detailed, constructive, and thoughtful comments that helped us to improve the presentation of the results in this article. ...
doi:10.1145/1276933.1276934
fatcat:dftxm6g5dzhgtawjahifxxmony
An overview on analysis tools for software product lines
2014
Proceedings of the 18th International Software Product Line Conference on Companion Volume for Workshops, Demonstrations and Tools - SPLC '14
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 the original URL.
The file type is application/pdf.
Based on a recent survey on analysis for software product lines, we provide a first overview on such tools. ...
For a selection of features, specialized products of one domain can be generated automatically from domain artifacts. ...
Testing is usually done on a generated product, so the most tools for testing are product-based (8 tools) or family-product-based (2 tools). ...
doi:10.1145/2647908.2655972
dblp:conf/splc/MeinickeTSBS14
fatcat:b4y3g7vklbh4vmulfxrza5ckhy
« Previous
Showing results 1 — 15 out of 125,207 results