Formal Specification
Formal software specifications are mathematical entities and may be analyzed using mathematical methods. Specification consistency and completeness can be proved mathematically.
Formal specifications may be automatically processed. Software tools can be used to build programs...
Friday, March 21, 2014
undefined
undefined
Extreme Programming (XP) is the most widely used Agile Process model. XP uses an object oriented approach as its development paradigm. XP encompasses a set of rules and practices that occur within the context of four framework activities : planning, design , coding and testing.
Planning
Begins...
undefined
undefined
Agile software engineering combines a philosophy and a set of development guidelines. The philosophy encourages the customer satisfaction and early incremental delivery of software; small and highly motivated software teams, informal methods, minimal software engineering work products, and overall development simplicity. The development guidelines stress delivery and active and...
undefined
undefined
This model is an evolutionary software process model that couples the iterative nature of prototyping with the controlled and systematic aspects of the linear sequential model. Using the spiral model software is developed in a series of incremental releases. During early iterations, the incremental...
undefined
undefined
The Unified Process or Rational Unified Process (RUP) is a framework for object oriented software engineering using UML. This is a use-case driven, architecture centric, iterative and incremental software development model.
Inception Phase
The Inception Phase of UP includes both customer communication...
undefined
undefined
Emphasizes the design and construction of computer based systems using software “components”.
The process relies on reusable software components.
Similar to the characteristics of the spiral model.
Requirement specification and validation steps are similar to the other processes.
Component Analysis
During...
Subscribe to:
Posts (Atom)