What is scrum ? – A simple (non-technical) definition
Filed Under Agile, Definition, Explanation, Methods, Process | Posted on October 23, 2009
Well, for those of you who play rugby, it’s not what you think. In software development, scrum (of as some people like to call it with capital letters, SCRUM) is a relatively newer technique, a part of agile development methodologies. Scrum aims to merge the differences between the different constituents of a software development team [...]
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 [...]
