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.
Filters
Development Life-cycle of Critical Software Under FoCaL
2009
Electronical Notes in Theoretical Computer Science
Preserved Fulltext
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]
2015
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.
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]
2009
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.
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
2018
International Journal of Engineering Research and
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.
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
2006
Proceedings of the 2006 international workshop on Global software development for the practitioner - GSD '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 2006; you can also visit the original URL.
The file type is application/pdf.
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
2009
2009 IEEE International Conference on 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.
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
2018
MATEC Web of Conferences
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.
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]
2010
Agile Software Development
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.
Note that this fulltext copy is not of the "primary" version of this work. The version it corresponds to is:
2019 pre-print arXiv:1903.10913v1 fatcat:ekjs7nv7w5gtzlrmlg2g3464x4
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
2007
IEEE 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 2010; you can also visit the original URL.
The file type is application/pdf.
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]
1993
IBM Systems Journal
Preserved Fulltext
The Internet Archive has digitized a microfilm copy of this work. It may be possible to borrow a copy for reading.
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
2019
International Conference on Space Optics — ICSO 2012
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.
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
2003
25th International Conference on Software Engineering, 2003. Proceedings.
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 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
2021
Journal of management and 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 2021; you can also visit the original URL.
The file type is application/pdf.
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]
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.
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
1990
Communications of the ACM
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.
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