33,854 Hits in 3.5 sec

Towards a categorical framework to ensure correct software evolutions

S Bouveret, J Brunel, D Chemouil, F Dagnat
2011 2011 IEEE 27th International Conference on Data Engineering Workshops  
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

Adel Alkhalil, College of Computer Science and Engineering, University of Ha'il, Ha'il, Saudi Arabia
2021 International Journal of Advanced and Applied Sciences  
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

P. Jamshidi, M. Ghafari, A. Ahmad, C. Pahl
2013 2013 17th European Conference on Software Maintenance and Reengineering  
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 (  ... 
doi:10.1109/csmr.2013.39 dblp:conf/csmr/JamshidiGAP13 fatcat:rdyjnzodebb3lpkgtbqxe2vgsq

Automating the Object-Oriented Software Development Process: Workshop Report [chapter]

Mehmet Aksit, Bedir Tekinerdogan
1998 Lecture Notes in Computer Science  
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]

Bedir Tekinerdoğan, Motoshi Saeki, Gerson Sunyé, Pim van den Broek, Pavel Hruby
2002 Lecture Notes in Computer Science  
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

Colin C. Venters, Lydia Lau, Michael K. Griffiths, Violeta Holmes, Rupert R. Ward, Caroline Jay, Charlie E. Dibsdale, Jie Xu
2014 Journal of Open Research Software  
., [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/ fatcat:klu2csiiang3vl5d6whg5p6mn4

Exact Geometric and Algebraic Computations in CGAL [chapter]

Menelaos I. Karavelas
2010 Lecture Notes in Computer Science  
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

M. N. Hoda
2020 International Journal of Information Technology  
[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]

Walter Cazzola, Shigeru Chiba, Gunter Saake
2005 Lecture Notes in Computer Science  
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

François Coallier, Roger Champagne
2005 Science of Computer Programming  
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

Kostas Kontogiannis
2008 2008 Frontiers of Software Maintenance  
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

Sagar Chaki, Andres Diaz-Pace, David Garlan, Arie Gurfinkel, Ipek Ozkaya
2009 2009 ICSE Workshop on Modeling in Software Engineering  
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

Jasmine K. S
2010 International Journal of Engineering and Technology  
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]

Karuna Prasad, MG Divya, N Mangala
2018 arXiv   pre-print
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]

Lei Ma, Felix Juefei-Xu, Minhui Xue, Qiang Hu, Sen Chen, Bo Li, Yang Liu, Jianjun Zhao, Jianxiong Yin, Simon See
2018 arXiv   pre-print
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