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.
Filters
Towards a categorical framework to ensure correct software evolutions
2011
2011 IEEE 27th International Conference on Data Engineering Workshops
Preserved Fulltext
In this article, we propose a rst step towards such a formal framework to ensure the correctness of software evolutions. Using category theory, we can model software and represent patches. ...
This modeling allows to identify the proof obligations that the provider of a patch has to discharge in order to ensure that its patch preserves the correctness of the software. ...
The proof obligations needed to ensure the correctness of any patch causing an evolution of a body result from TOWARDS A CATEGORICAL FRAMEWORK TO ENSURE CORRECT SOFTWARE EVOLUTIONS E W E W E E E E W W ...
doi:10.1109/icdew.2011.5767625
dblp:conf/icde/BouveretBCD11
fatcat:ajaq736advbo5kml6dqjzqjskm
Evolution of existing software to mobile computing platforms: Framework support and case study
2021
International Journal of Advanced and Applied 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 2021; you can also visit the original URL.
The file type is application/pdf.
We propose a framework named Legacy-to-Mobile as a solution that supports an incremental and process-driven evolution of the legacy software to mobile computing software. ...
The proposed Legacy-to-Mobile framework unifies the concepts of software reverse engineering (recovering software artifacts) and software change (upgrading software artifacts) to support the legacy evolution ...
and processes that cannot be altered to ensure correct functionality and quality of the software (Ahmad and Babar, 2014) . ...
doi:10.21833/ijaas.2021.03.013
fatcat:ypg3mk6hr5bdpo6ztjy35dh3um
A Framework for Classifying and Comparing Architecture-centric Software Evolution Research
2013
2013 17th European Conference on Software Maintenance and Reengineering
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.
Architecture-centric software evolution (ACSE) is considered as an approach to support software adaptation at a controllable level of abstraction in order to survive in the uncertain environment. ...
Existing research and practices comprise a wide spectrum of evolution-centric approaches in terms of formalisms, methods, processes and frameworks to tackle ACSE as well as empirical studies to consolidate ...
This work was supported, in part, by Science Foundation Ireland grant 10/CE/I1855 to Lero -the Irish Software Engineering Research Centre (www.lero.ie). ...
doi:10.1109/csmr.2013.39
dblp:conf/csmr/JamshidiGAP13
fatcat:rdyjnzodebb3lpkgtbqxe2vgsq
Automating the Object-Oriented Software Development Process: Workshop Report
[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 2006; you can also visit the original URL.
The file type is application/pdf.
Current software projects have generally to deal with producing and managing large and complex software products. ...
Nevertheless, methods often provide a complexity by their own due to their large number of artifacts, method rules and their complicated processes. ...
The purpose of the prototype execution is to ensure the validity of the constructed analysis model. To ensure that the constructed analysis model is correct, it should be verified, which is costly. ...
doi:10.1007/3-540-49255-0_156
fatcat:riykurxsefhe7av53mowagek6e
Automating Object-Oriented Software Development Methods
[chapter]
2002
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.
This paper presents a summary and a discussion of the ideas that were raised during the workshop on automating object-oriented software development methods. 42 B. ...
We think that automation of software development methods is a valuable support for the software engineer in coping with this complexity and for improving quality. ...
We would like to thank Hervé Albin-Amiot, Omar Aldawud, Christian Wege, and Toshiaki Aoki for their contribution to the discussion section in this report. The following persons attended the workshop: ...
doi:10.1007/3-540-47853-1_4
fatcat:zdxdi5uwz5cghn67cmufin3oqa
The Blind Men and the Elephant: Towards an Empirical Evaluation Framework for Software Sustainability
2014
Journal of Open Research Software
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.
., [9] view sustainability in relation to ' all activities related to software evolution and the ability to modify a software system based on stakeholders changing requirements'. ...
Quality factors can be broadly categorized into three classes (Fig. 1) : We propose that software sustainability should be considered in a similar manner to the concept of dependability [16] ; a measure ...
doi:10.5334/jors.ao
fatcat:klu2csiiang3vl5d6whg5p6mn4
Exact Geometric and Algebraic Computations in CGAL
[chapter]
2010
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.
The exact geometric computation paradigm, along with the continued evolution of software libraries offering exact number types [9, 12, 18] , provides a platform for implementing correct and robust geometric ...
Cgal's evolution over the years reflects the shift in interest towards curvilinear objects. ...
doi:10.1007/978-3-642-15582-6_20
fatcat:m2asxcriivabpklz6tvklevjsy
Correction To: Editorial
2020
International Journal of Information Technology
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.
[This corrects the article DOI: 10.1007/s41870-020-00504-x.]. ...
The next manuscript ''Effective Spectrum based Technique for Software Fault Finding'', Debolina Ghosh et. al. outlines a spectrum based framework for software The original article can be found online at ...
Bias Correction is vital
to accurate prediction. The manuscript,'' Performance
Analysis of Bias Correction Techniques in Brain MR
Images'', A. ...
doi:10.1007/s41870-020-00509-6
pmid:35194571
pmcid:PMC8825613
fatcat:qjplt7473vc3hdi4dn4aflzptq
Software Evolution: A Trip Through Reflective, Aspect, and Meta-data Oriented Techniques
[chapter]
2005
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.
reflective techniques and aspectoriented software development to discuss recent developments of such a techniques in application to the software evolution. ...
Following the example provided by these venues, the RAM-SE (Reflection, AOP and Meta-Data for Software Evolution) workshop has provided an opportunity for researchers with a broad range of interests in ...
We wish also to thank all the researchers that have participated to the workshop. ...
doi:10.1007/978-3-540-30554-5_12
fatcat:ecpn25nixzhzdfp2alothwvfum
A Product Line engineering practices model
2005
Science of Computer Programming
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.
This paper describes work in progress towards the elaboration of a Product Line practices model that combines concepts proposed by various authors. ...
The strengths of existing Product Line frameworks and models are summarized and a new model is proposed in the form of 31 Product Line practice areas, grouped in five categories. ...
Acknowledgements The authors wish to thank the anonymous reviewers who reviewed both the initial version of the paper presented at IWSSA 2004 and this one. ...
doi:10.1016/j.scico.2004.10.006
fatcat:tkeuxbu73zez5l2tdnz6eyy3zy
Challenges and opportunities related to the design, deployment and, operation of Web Services
2008
2008 Frontiers of Software Maintenance
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.
Web Service technologies have since been adopted by many users as a vehicle to build such service provision-based software systems. ...
Despite their widespread adoption, Web Services still pose significant challenges as well as, opportunities both to the Information Technology community and, to Business community. ...
measure the impact of ML software on software maintenance and evolution and to establish a common measurement framework. ...
doi:10.1109/fosm.2008.4659244
fatcat:3l2kopuv5bfppfbdaea6pj2jee
Towards engineered architecture evolution
2009
2009 ICSE Workshop on Modeling in 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 2015; you can also visit the original URL.
The file type is application/pdf.
Architecture evolution, a key aspect of software evolution, is typically done in an ad hoc manner, guided only by the competence of the architect performing it. ...
We believe that evolutions of a restricted form -close-ended evolution, where the starting and ending design points are known a prioriare amenable to being engineered. ...
Conversely, planning for architecture evolution is a powerful tool to guide and plan for software evolution. Most work on software evolution focuses on practices towards managing code. ...
doi:10.1109/mise.2009.5069889
dblp:conf/icse/ChakiPGGO09
fatcat:saluh5khzjfj5cjgivjxpp7hhm
A New Capability Maturity Model For Reuse Based Software Development process
2010
International Journal of Engineering and Technology
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.
To achieve this goal it is necessary to define a systematic reuse strategy as part of organization daily activities. ...
Index Terms-capability maturity model, CMMI, process maturity framework, software process improvement, process capability, process performance, maturity level, software reuse. ...
Each level represents a stage in the evolution to a mature reuse process. ...
doi:10.7763/ijet.2010.v2.108
fatcat:wurunqnfgrhcvllzo5llgcecmm
Statistical Analysis of Metrics for Software Quality Improvement
[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.
To reduce such errors and defects found, steps for corrective actions are recommended. ...
The quality of any software can be achieved by following a well defined software process. ...
ACKNOWLEDGMENT We are grateful to Ms Veena KS, Software Quality Assurance team for sharing the data and our Senior Management team for having a keen eye on improving the quality of software. ...
arXiv:1802.05865v1
fatcat:zv26jkvr5rcf5abdvtuir6ucx4
Secure Deep Learning Engineering: A Software Quality Assurance Perspective
[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.
We, from a software quality assurance perspective, pinpoint challenges and future opportunities towards universal secure deep learning engineering. ...
We hope this work and the accompanied paper repository can pave the path for the software engineering community towards addressing the pressing industrial demand of secure intelligent applications. ...
One big challenge is how to ensure the software stack (e.g., hardware drivers, DL library, DL framework) correctly implements the learning algorithm. ...
arXiv:1810.04538v1
fatcat:fbxdxvw55zc7vbkpjm6bpknlby
« Previous
Showing results 1 — 15 out of 33,854 results