Category: Requirements

  • Using Map Requirements Modelling with the B-Method

    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…

  • Independent Verification and Validation of Software pays of (big time!)

    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…

  • Analyzing Natural Language Requirements – automatically?

    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…

  • Fluents: Events or Ticks?

    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…

  • Aspects in Requirements Engineering

    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…

  • Requirements in Cocktail Recipes

    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…