Software Requirements Engineering Methodology (SREM) at the age of two

The Software Requirements Engineering Methodology (SREM) was presented to the Software Engineering community two years ago at the Second International Software Engineering Conference [1]; the SREM support software, the Requirements Engineering and Validation System (REVS), was also presented then [2]. SREM was developed for the Ballistic Missile Defense Advanced Technology Center (BMDATC) to address the generation and validation of software requirements for Ballistic Missile Defense Weapons Systems -- the motivation and environment for this research has been previously described [3]. At that time, REVS was operational only on the Texas Instruments Advanced Scientific Computer (TI ASC), and the methodology had been applied to one moderate sized "proof of principle" demonstration problem.