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.
Filters
Productivity for proof engineering
2014
Proceedings of the 8th ACM/IEEE International Symposium on Empirical Software Engineering and Measurement - ESEM '14
Preserved Fulltext
We discuss opportunities and limitations with the use of lines of proof as a size measure, and discuss the importance of understanding proof productivity for future research. ...
Conclusions: An understanding of proof productivity will assist in its further industrial application and provide a basis for cost estimation and understanding of rework and tool usage. ...
Then we describe the method, analysis and discussion, of our study of overall productivity for these projects, and of productivity variation across individual engineers. ...
doi:10.1145/2652524.2652551
dblp:conf/esem/StaplesJAMKK14
fatcat:gwiknsfnvzekzholasvzofz44q
Looking at code with your safety goggles on
[chapter]
1998
Lecture Notes in Computer 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.
For large software-intensive information systems, the safety engineering view of the system reveals a "long thin slice" of hazard-related software involving a number of different software components. ...
This paper presents a process for the refinement of safety-critical source code into a more tractable representation. ...
Since system development makes use of these abstractions it would ease the fit of the safety analysis with the rest of the software development program. ...
doi:10.1007/bfb0055010
fatcat:2hmlgeqtpzgi5j5rtdqml5gbl4
Static analysis by abstract interpretation of embedded critical software
2011
Software engineering notes
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.
and Abstract Interpreation team Static Analysis by A. ...
Semantics and Abstract Interpreation team Static Analysis by A. ...
analyzer explores machine-representable supersets of actual behaviors refine the analysis, it is always sound work is done directly on the concrete system (i.e. input of compilers or code generators) Abstract ...
doi:10.1145/1921532.1921553
fatcat:nh4jum43lvgnpgr66kwz3h4gym
Improving product copy consolidation by architecture-aware difference analysis
2013
Proceedings of the 9th international ACM Sigsoft conference on Quality of software architectures - QoSA '13
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.
Software product lines (SPL) are a well-known concept to efficiently develop product variants. ...
Only few aim to handle SPL evolution, but even those lack support of variability reverse engineering, which is necessary for migrating product copies to a product line. ...
To achieve a manageable amount of variability in the resulting product line, the VPM must be refined. ...
doi:10.1145/2465478.2465495
dblp:conf/qosa/KlattK13
fatcat:xt5pfdw5qnfx7kcbrjp4tgnpay
Météor: A Successful Application of B in a Large Project
[chapter]
1999
Lecture Notes in Computer 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 2017; you can also visit the original URL.
The file type is application/pdf.
To achieve this, the safety critical software located in the different control units (ground, line and on-board) was developed using the B formal method together with the Vital Coded Processor. ...
This system, developed by Matra Transport International for the RATP, requires a very high level of dependability and safety for the users and the operator. ...
For each equipment, the number of lines of B is greater than the number of
lines of
Table 4 . 4 Metrics about B Software Product
Lines of B
Lemmas
Rules
Wayside
50,000
13,600
477
On-Board ...
doi:10.1007/3-540-48119-2_22
fatcat:bzgzdwhfvjaf5fkab5qw2qsysq
Feature-Oriented Software Development
[chapter]
2013
Lecture Notes in Computer 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 2013; you can also visit the original URL.
The file type is application/pdf.
In this tutorial, we provide a gentle introduction to software product lines, feature oriented programming, virtual separation of concerns, and variabilityaware analysis. ...
Feature-oriented software development is a paradigm for the construction, customization, and synthesis of large-scale and variable software systems, focusing on structure, reuse and variation. ...
Variability-aware analysis is the idea to lift an analysis mechanism for a single system to the product-line world. ...
doi:10.1007/978-3-642-35992-7_10
fatcat:sqtxdcjc4bci5mz6yk4novwkme
Quality-Oriented Software Product Line Architecture Design
2012
Journal of Software Engineering and Applications
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.
However, the use of quality-based design methods is limited in software product line (SPL) because of the complexity and variabilities existing in SPL architecture. ...
In this framework, the quality attributes of a software system will be taken into account in the early stage of architecture design and the reference architecture of SPL will be elicited based on quality-related ...
FORM is using feature model to realize both commonalities and variabilities of SPL. The result of feature model analysis will be further used to explore the reusable components for a product line. ...
doi:10.4236/jsea.2012.57054
fatcat:r6pjseg3b5f6levf2bo46wlfqi
Model-Driven Product Consolidation into Software Product Lines
2012
Softwaretechnik-Trends
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.
A prototype of the proposed approach is currently under development. ...
We further work on identifying approaches for the change comprehension, assistance for variation point merging and model transformations for the downstream SPL refactoring process. ...
Introduction Software Product Lines (SPL) are an established concept for software vendors to reach a high level of reuse and customisation at the same time. ...
doi:10.1007/bf03323457
fatcat:2ues3sqtr5avfpr725teeh7gea
A model-driven traceability framework for software product lines
2009
Journal of Software and Systems Modeling
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.
Software product line (SPL) engineering is a recent approach to software development where a set of software products are derived for a well defined target application domain, from a common set of core ...
Software product lines promise to lower the costs of development, increase the quality of software, give clients more flexibility and reduce time to market. ...
Acknowledgments The authors wish to thank Vasco Amaral and João Araújo from Universidade Nova de Lisboa for their help in proof reading this article and for their suggestions to improve its writing. ...
doi:10.1007/s10270-009-0120-9
fatcat:ahtofwyiqvfc3gz4fcyujputvq
Transformational Variability Modeling Approach to Configurable Business System Application
[chapter]
2012
Software Product Line - Advanced Topic
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.
Software Product Line -Advanced Topic 44 & van der Aalst, 2003) , this is mainly due to a lack of conceptual support for configuration in the underlying modeling language. ...
Following this line of argumentation, they have defined a language and a process for the design and usage of configurable reference models in a modeldriven approach towards ES configuration (Recker et ...
engineering; The ultimate goal of the The Software Product Line (SPL) is an emerging methodology for developing software products. ...
doi:10.5772/37776
fatcat:zyrna66jyrfhhmtykml744rpte
Perentie: Modular Trace Refinement and Selective Value Tracking
[chapter]
2015
Lecture Notes in Computer 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.
Perentie is a software analysis tool based on iterative refinement of trace abstraction: if the refinement process terminates, the program is either declared correct or a counterexample is provided and ...
the program is incorrect. ...
Overview Perentie is a software analysis tool based on iterative refinement of trace abstraction [1, 2] , which is a CEGAR-like automata-based technique. ...
doi:10.1007/978-3-662-46681-0_39
fatcat:uqospra3h5hcrff2i7jbxomdli
A foundation for behavioural conformance in software product line architectures
2006
Proceedings of the ISSTA 2006 workshop on Role of software architecture for testing and analysis - ROSATEA '06
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 2007; you can also visit the original URL.
The file type is application/pdf.
Behaviour modelling at the architecture level has the potential for supporting behaviour analysis of entire product lines, as well as defining optional and variable behaviour for different products of ...
for a notion of behaviour conformance for software product line architectures. ...
Acknowledgments We acknowledge EPRSC grant PBM EP/C541133/1, AN-CyT BID PICT 11738 and UBACyT X020 for partially funding this work. ...
doi:10.1145/1147249.1147254
dblp:conf/issta/FischbeinUB06
fatcat:gf6rhdzd2jgjbefnsv6aqbd32i
Integrating quality models and static analysis for comprehensive quality assessment
2011
Proceeding of the 2nd international workshop on Emerging trends in software metrics - WETSoM '11
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.
To assess the quality of software, two ingredients are available today: (1) quality models defining abstract quality characteristics and (2) code analysis tools providing a large variety of metrics. ...
Furthermore, we propose a new approach for normalizing the results of rule-based code analysis tools, which uses the information on the structure of the source code in the quality model. ...
as indicators for the quality of a software product. ...
doi:10.1145/1985374.1985378
dblp:conf/icse/LochmannH11
fatcat:mbgbbtcrp5egvm2zsjbko7nziy
Generating Programs Plus Proofs by Refinement
[chapter]
2008
Lecture Notes in Computer 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 2013; you can also visit the original URL.
The file type is application/pdf.
Our view is that the future of software engineering lies in the tight integration of synthesis and analysis processes. ...
KIDS [9] and Designware [12] are examples of systems that automate the construction of refinements from reusable/abstract ...
The cost of handling of proof obligations of specs and refinements should be less than the cost of analyzing the final product. ...
doi:10.1007/978-3-540-69149-5_20
fatcat:32cmpgnxizbvba6au2ynrauuue
A Systematic Review of Tracing Solutions in Software Product Lines
[article]
2018
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 2020; you can also visit the original URL.
The file type is application/pdf.
In order to draw a picture of the actual conditions of traceability solutions in Software Product Lines context, we decided to address a literature review. ...
Software Product Lines are large-scale, multi-unit systems that enable massive, customized production. ...
Software Product Line ANalysis Engine (SPLANE). ...
arXiv:1901.01823v1
fatcat:5hdui6ysnzfq3lun6lx42i6bae
« Previous
Showing results 1 — 15 out of 101,476 results