41,852 Hits in 5.8 sec

Development Life-cycle of Critical Software Under FoCaL

Philippe Ayrault, Thérèse Hardin, François Pessaux
2009 Electronical Notes in Theoretical Computer Science  
Upon our experience as either software safety assessor or researchers in software engineering and formal methods, we propose a development life cycle adapted to the FoCaL specificity and compliant with  ...  This tool aims to help all stages of critical software development, at least when formal methods are required (step-by-step specification and implementation, properties expressed by firstorder formulae  ...  Software life-cycle within FoCaL As said in the introduction, the life-cycle of critical software is based on a 5 steps V-cycle similar to the V-cycle of classical software development cycle.  ... 
doi:10.1016/j.entcs.2009.07.003 fatcat:74rxa6xrfjcfxfrfsk3s46insi

System solutions study on the fatigue of the fast cable-net structure caused by form-changing operation [article]

Peng Jiang, Ren-Dong Nan, Lei Qian, You-Ling Yue
2015 arXiv   pre-print
The cable-net structure is thus the most critical and fragile part of the FAST reflector system.  ...  Finally, we develop a new type of steel cable system that meets that cable requirements for FAST construction.  ...  Acknowledgements This work was supported by the Young Scientist Project of the Natural Science Foundation of China (Grant No. 11303059) and the Chinese Academy of Sciences Youth Innovation Promotion Association  ... 
arXiv:1504.07719v1 fatcat:ee6nrxvgcbgpxi6e5uxu2md7fe

Development of a Generic Voter under FoCal [chapter]

Philippe Ayrault, Thérèse Hardin, François Pessaux
2009 Lecture Notes in Computer Science  
Safety and security are claimed major concerns by the formal FoCaL development environment. In [7] we introduced a safety development cycle customised to FoCaL.  ...  We show that indeed it is feasible and we present how FoCaL features fit with software best practises like modularity, reuse, fault confinement and maintenance.  ...  In [7] we proposed a development life cycle taking advantages of all features of FoCaL and compliant with the main Standards in the field of critical software development ([1], [2] ,...).  ... 
doi:10.1007/978-3-642-02949-3_3 fatcat:44s6lnbobzg4zkvxsb4r4a6qky

Engineering of a Dynamic Multi-Frequency Antenna

Clive Sugama, Colorado State University
2018 International Journal of Engineering Research and  
Additional design criteria would have to be considered to adhere to standards and manage risks during the early design stages of the system life cycle.  ...  Engineering a dynamic multi-frequency antenna provides the advantage of reducing overall antenna footprints and life cycle costs for supporting multiple Radio Frequency (RF) systems.  ...  The procurement of these antenna systems are manufacturer dependent, and are within different stages of the system life cycle.  ... 
doi:10.17577/ijertv7is090007 fatcat:tutkseygzrafdhjayvos7nod5u

Software configuration management over a global software development environment

Leonardo Pilatti, Jorge Luis Nicolas Audy, Rafael Prikladnicki
2006 Proceedings of the 2006 international workshop on Global software development for the practitioner - GSD '06  
In global environments, the software configuration becomes critical due to the characteristics of the distributed development (physical distance, cultural differences, trust, communication and other factors  ...  The objective of this paper is to analyze the software configuration management in a global software development environment, identifying the main challenges.  ...  [2] , the purpose of the SCM is to establish and maintain the integrity of the software products throughout the project's software life cycle.  ... 
doi:10.1145/1138506.1138517 fatcat:yn56jh4orfcmxilhsclmf3qjui

MESOA 2009: 3rd International workshop on maintenance and evolution of service-oriented systems

Grace A. Lewis, Dennis B. Smith, Ned Chapin, Kostas Kontogiannis
2009 2009 IEEE International Conference on Software Maintenance  
The main goal of this workshop is to provide an opportunity for participants to present current work and have a lively discussion of open issues for the maintenance and evolution of service-oriented systems  ...  In MESOA 2008 the focus was on the research and advances in areas that have been identified by a SOA Research Agenda developed by the Software Engineering Institute, as critical for maintenance and evolution  ...  We aim to encourage the development of a broad community of interest in this area.  ... 
doi:10.1109/icsm.2009.5306393 dblp:conf/icsm/LewisSCK09 fatcat:sea5mskp4ra25pzhtmbezt6ece

Τhe strategic role of Life Cycle Assessment in the problem of material criticality and in development of Chromium-free substitute for stainless steel

Vasiliki I. Stergiou, Athanasios K. Morozinis, Constantinos A. Charitidis, S. Pantelakis, S. Koubias
2018 MATEC Web of Conferences  
For this reason, Life Cycle Assessment (LCA) has been developed as a scientific technique that systematically assesses and evaluates the environmental impacts associated with all stages of a product's  ...  problem of "resource criticality" by identifying a policy of an economic and ecological plan.  ...  providing the data through which the Life Cycle Analysis was done.  ... 
doi:10.1051/matecconf/201818802008 fatcat:bd7mjd6gg5f47gl7zafcwlg7wy

Agile Software Development Methods: A Comparative Review1 [chapter]

Pekka Abrahamsson, Nilay Oza, Mikko T. Siponen
2010 Agile Software Development  
The results show that agile software development methods cover, without offering any rationale, different phases of the software development life-cycle and that most of these methods fail to provide adequate  ...  Although agile software development methods have caught the attention of software engineers and researchers worldwide, scientific research still remains quite scarce.  ...  Acknowledgement The authors are grateful for the authors participating to the authoring of the well known VTT technical report -Agile Software Development Methods: Review and Analysis, which inspired us  ... 
doi:10.1007/978-3-642-12575-1_3 fatcat:vkxtuw6555bdtmbznzqvnpn4r4

Incorporating Performance Testing in Test-Driven Development

Michael J. Johnson, Chih-Wei Ho, E. Michael Maximilien, Laurie Williams
2007 IEEE Software  
IBM is a trademark of International Business Machines Corporation in the United States or other countries or both.  ...  Acknowledgments We thank the IBM device driver development team members, who implemented the performance tests described in this article.  ...  So, performance was a focal point throughout the development life cycle.  ... 
doi:10.1109/ms.2007.77 fatcat:ovwbvmufwrb7hljh22nnguwix4

Management of reuse at IBM [Technical forum]

J. R. Tirso, H. Gregorius
1993 IBM Systems Journal  
The software life cycle produces several types of re- usable information such as customer information, product development information, and process information.  ...  Each of these levels allows the focus on different domains. Reuse can be of 612 TECHNICAL FORUM benefit to all stages of the development life cycle, from requirements to post-ship.  ... 
doi:10.1147/sj.324.0612 fatcat:eg2olxq5jbbzbl2eddxr52eklq

Overview of the EarthCARE multi-spectral imager and results from the development of the MSI engineering model

Mark Chang, Errico Armandillo, Nikos Karafolas, Bruno Cugny
2019 International Conference on Space Optics — ICSO 2012  
The EarthCARE satellite mission objective is the observation of clouds and aerosols from low Earth orbit.  ...  The key spatial context providing instrument within the payload suite of four instruments is the Multi-Spectral Imager (MSI).  ...  ACKNOWLEDGEMENT The authors acknowledge the contribution by the following programme participants: Systems Engineering & Assessment Ltd as supplier of the MSI ICU, Scisys as supplier the MSI ICU software  ... 
doi:10.1117/12.2551545 fatcat:pp4dgqh3gbbhpc4e52y2cgepxu

New directions on agile methods: a comparative analysis

P. Abrahamsson, J. Warsta, M.T. Siponen, J. Ronkainen
2003 25th International Conference on Software Engineering, 2003. Proceedings.  
The results show that agile software development methods, without rationalization, cover certain/different phases of the software development life-cycle and most of them do not offer a dequate support  ...  Agile software development methods have caught the attention of software engineers and researchers worldwide. Scientific research is yet scarce.  ...  Software development life-cycle: Different a gile methods cover different phases of the software development life-cycle. The rationalization of phases covered was, however, missing.  ... 
doi:10.1109/icse.2003.1201204 dblp:conf/icse/AbrahamssonWSR03 fatcat:znczcjos45gvdkgjzvn4tqkpbq

Overview Of System Development Life Cycle Models

Kwadwo Kyeremeh
2021 Journal of management and science  
During the time half of the twentieth century, the utilization of Programmed computers has become huge. As an outcome, software programming has turned out to be increasingly differing and complex.  ...  Also, there are expanding requests on software programming – it must be less expensive, have more usefulness, be conveyed speedier, and be of higher quality than already.  ...  Software is produced early in the software life cycle Higher chances of success over the waterfall model due to the development of test plans early on during the life cycle 3 Easy to manage  ... 
doi:10.26524/jms.11.3 fatcat:zwtibs6tqjc3df4upoy5ii53ze

Conceptual Modeling Challenges for Model-Based Architecting and Software Engineering (MBASE) [chapter]

Barry Boehm, Dan Port
1999 Lecture Notes in Computer Science  
The difference between failure and success in developing a software-intensive system can often be traced to the presence or absence of clashes among the models used to define the system's product, process  ...  Section 3 introduces the Model-Based Architecting and Software Engineering (MBASE) approach for endowing a software project with a mutually supportive base of models.  ...  There will be two critical project milestones: the Life Cycle Objectives (LCO) and Life Cycle Architecture (LCA) milestones summarized in Table 1 .  ... 
doi:10.1007/3-540-48854-5_3 fatcat:q5hralipgzhuto27coldbabone

An object-oriented relational database

William J. Premerlani, James E. Rumbaugh, Michael R. Blaha, Thomas A. Varwig
1990 Communications of the ACM  
description and the enforcement of software development methodology spanning across tools and phases of the development life cycle.  ...  The Task 1 analyses examined: "* The SLCSE tooLset, including both the developmental and the non-developmental tools which facilitate performing the life-cycle activities.  ...  The current SLCSE implementation is target towards mission critical software development domains.  ... 
doi:10.1145/92755.92772 fatcat:dsay3vjnl5a63cfpczwclrb5iu
« Previous Showing results 1 — 15 out of 41,852 results