February 2012
M T W T F S S
« Jan    
 12345
6789101112
13141516171819
20212223242526
272829  

What is scrum ? – A simple (non-technical) definition




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




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 [...]