Defects Prediction of Early Phases of Software Development Life Cycle using Fuzzy Logic

2013 ◽  
Author(s):  
H.B. Yadav ◽  
D.K. Yadav
Keyword(s):  
Fuzzy Logic ◽  
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
Sign in / Sign up

Export Citation Format

Share Document