A case study of workstation usage during the early phases of the software development life cycle

1987 ◽  
Author(s):  
Rakesh M Mital ◽  
Marcia M Kim ◽  
Richard A Berg
Keyword(s):  
Life Cycle ◽  
Software Development ◽  
Development Life Cycle ◽  
Software Development Life Cycle ◽  
Early Phases

scholarly journals Formal methods in software development: A road less travelled

2010 ◽  
Vol 45 ◽  
Author(s):  
John A Van der Poll
Keyword(s):  
Life Cycle ◽  
Software Development ◽  
Formal Methods ◽  
Formal Specification ◽  
The Other ◽  
Formal Specifications ◽  
Development Life Cycle ◽  
Software Development Life Cycle ◽  
Verification Techniques ◽  
Early Phases

An integration of traditional verification techniques and formal specifications in software engineering is presented. Advocates of such techniques claim that mathematical formalisms allow them to produce quality, verifiably correct, or at least highly dependable software and that the testing and maintenance phases are shortened. Critics on the other hand maintain that software formalisms are hard to master, tedious to use and not well suited for the fast turnaround times demanded by industry. In this paper some popular formalisms and the advantages of using these during the early phases of the software development life cycle are presented. Employing the Floyd-Hoare verification principles during the formal specification phase facilitates reasoning about the properties of a specification. Some observations that may help to alleviate the formal-methods controversy are established and a number of formal methods successes is presented. Possible conditions for an increased acceptance of formalisms in oftware development are discussed.

Concurrent Modeling in Early Phases of the Software Development Life Cycle

2010 ◽  
pp. 129-144 ◽  
Author(s):  
Petra Brosch ◽  
Philip Langer ◽  
Martina Seidl ◽  
Konrad Wieland ◽  
Manuel Wimmer ◽  
...  
Keyword(s):  
Life Cycle ◽  
Software Development ◽  
Development Life Cycle ◽  
Software Development Life Cycle ◽  
Early Phases

scholarly journals Green Cloud Computing: E-Commerce Case Study

2021 ◽  
Vol 12 (5) ◽  
pp. 964-970
Author(s):  
Sharefa Murad
Keyword(s):  
Cloud Computing ◽  
Life Cycle ◽  
Distributed Computing ◽  
Software Development ◽  
Major Phase ◽  
Green Cloud Computing ◽  
Development Life Cycle ◽  
Software Development Life Cycle ◽  
Selection Of

Cloud computing is getting probably the most objective, purpose, and dreams in most IT organizations on account of the advantages they are getting by relocating their advancements into it like expense and asset sparing. Green blurring processing is turning into a significant pattern with a solid relationship with distributed computing. It is about green and productivity that won't just prompt a superior business yet in addition a superior world. This paper will discuss a major phase of the software development life cycle, which is an arrangement, and how the selection of sending computerization is superior to the manual one particularly in a manner to make your cloud green.  

scholarly journals Design and Development Website of Research Institute, Case Study: Universitas Negeri Makassar

2017 ◽  
Vol 1 (3) ◽  
Author(s):  
Ansari Saleh Ahmar ◽  
Rusli Rusli ◽  
Nasrul Ihsan
Keyword(s):  
Life Cycle ◽  
Software Development ◽  
System Development ◽  
Implementation Phase ◽  
Initiation Phase ◽  
Phase Development ◽  
Development Life Cycle ◽  
Information Research ◽  
Software Development Life Cycle

Abstract: The aim of this paper was to develop a website of research institue at Universitas Negeri Makassar, that can be accessed by many people to check information about reseach anytime and anywhere without the limit of time and location so that the disclosure of information research can be done. The method used in this research is the Software Development Life Cycle method with the three stages namely Initiation Phase, Development/Acquisition Phase, and Implementation Phase. The development of this information system using PHP and CodeIgniter as a its framework. This system development using PHP programming language and CodeIgniter Framework with MySQL database. Abstrak: Tujuan dari tulisan ini adalah dikembangkannya suatu Website Lembaga Penelitian di Universitas Negeri Makassar yang dapat diakses oleh berbagai pihak yang terkait dengan penelitian kapan saja dan dimana saja tanpa adanya batasan waktu dan lokasi sehingga keterbukaan informasi penelitian dapat terlaksana. Metode yang digunakan pada tulisan ini yaitu Metode Software Development Life Cycle dengan tiga tahapan yaitu fase awal, fase pengembangan, dan fase implementasi. Pengembangan sistem informasi ini menggunakan bahasa pemrograman PHP berbasis pada Framework CodeIgniter dengan basis data MySQL. Keywords: CodeIgniter, Information Systems, Website, Research Insitute, Universitas Negeri Makassar

Sign in / Sign up

Export Citation Format

Share Document