Requirements

A colleague recommended a paper by Babar, Tosic and Potter, entitled "Aligning the Map Requirements Modelling with the B-method for Formal Software Development."  There is certainly some overlap with my research, and it’s interesting for me to see Problem Frames being integrated in the approach presented as well. To be honest, I was a little…

Just finished a paper Evaluating the effectiveness of independent verification andvalidation by Arthur et.al.  What the authors state is not that surprising: independent verification and validation (V&V) efforts result in significantly better results than V&V done by the same team.  This paper is interesting for a number of reasons: The result stem from a controlled…

QuARS is a tool for analyzing Natural Language Requirements – although it would be an exaggeration to call it "automatic".  The tool performs a morphological and syntactical analysis on plain text requirements and attempts to measure vagueness, subjectivity, weakness, and a few more. Natural Language Requirements (NLRs) won’t go away any time soon – that’s…

Imagine you have a system that can have a number of states, and "events" for state transitions.  Fluents are then the constructs that help to reason about state transitions. Here is an example inspired by [Queins et. al. 2000] that got picked up by [Letier 2005]: Assume that you have the task of building a…

After Aspect Oriented Programming (AOP) became popular, people started to think about Aspect Oriented Requirements Engineering (AORE).  Kaindl published a neat article trying to figure out what exactly was meant by that. Amongst other things, he points out that there is confusion about whether "Aspect" is meant as a synonym for crosscutting concern or a…

I have a friend who is a chemist.  She once said that everybody can cook, but that chemists are the best cooks.  Why?  Because chemists can follow recipes really well – after all, that’s what they do all day long.  They mix precise amounts of chemicals in well-defined manner and perform processes on them by the book, to ensure repeatable results.  Now, what does that have to do with requirements engineering?