Filters








101,476 Hits in 4.8 sec

Productivity for proof engineering

Mark Staples, Ross Jeffery, June Andronick, Toby Murray, Gerwin Klein, Rafal Kolanski
2014 Proceedings of the 8th ACM/IEEE International Symposium on Empirical Software Engineering and Measurement - ESEM '14  
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]

Ken Wong
1998 Lecture Notes in Computer Science  
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

Julien Julien Bertrane, Patrick Cousot, Radhia Cousot, Jérôme Feret, Laurent Mauborgne, Antoine Miné, Xavier Rival
2011 Software engineering notes  
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

Benjamin Klatt, Martin Küster
2013 Proceedings of the 9th international ACM Sigsoft conference on Quality of software architectures - QoSA '13  
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]

Patrick Behm, Paul Benoit, Alain Faivre, Jean-Marc Meynadier
1999 Lecture Notes in Computer Science  
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]

Christian Kästner, Sven Apel
2013 Lecture Notes in Computer Science  
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

Lei Tan, Yuqing Lin, Huilin Ye
2012 Journal of Software Engineering and Applications  
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

Benjamin Klatt, Klaus Krogmann
2012 Softwaretechnik-Trends  
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

Nicolas Anquetil, Uirá Kulesza, Ralf Mitschke, Ana Moreira, Jean-Claude Royer, Andreas Rummler, André Sousa
2009 Journal of Software and Systems Modeling  
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]

Marcel Fouda, Amougou Ngoumou
2012 Software Product Line - Advanced Topic  
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]

Franck Cassez, Takashi Matsuoka, Edward Pierzchalski, Nathan Smyth
2015 Lecture Notes in Computer Science  
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

Dario Fischbein, Sebastian Uchitel, Victor Braberman
2006 Proceedings of the ISSTA 2006 workshop on Role of software architecture for testing and analysis - ROSATEA '06  
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

Klaus Lochmann, Lars Heinemann
2011 Proceeding of the 2nd international workshop on Emerging trends in software metrics - WETSoM '11  
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]

Douglas R. Smith
2008 Lecture Notes in Computer Science  
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]

Zineb Mcharfi, Bouchra El Asri, Abdelaziz Kriouile
2018 arXiv   pre-print
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