Overview of Formal Methods – Foundation for analysis methods
Filed Under Analysis, Methods | Posted on September 18, 2009
Formal methods provide a foundation for specification environments leading to analysis models that are more complete, consistent, and unambiguous than those produced using conventional or object-oriented methods. The descriptive facilities of set theory and logic notation enable a software engineer to create a clear statement of facts.
The underlying concepts that govern formal methods are :
- [...]
Changing requirements and implications on testing
Filed Under Analysis, Change, Impact, Requirements, Testing | Posted on February 4, 2009
An ideal software development cycle involves a process whereby the requirements are frozen pretty early and the entire cycle happens with those frozen requirements. And if requirements do need to change, then a major impact analysis needs to happen, and the change is thoroughly studied before any change is taken. However, in the real world [...]
