Travelled to:1 × USA
Collaborated with:T.L.McCluskey
Talks about:requir (2) mainten (1) toward (1) theori (1) valid (1) studi (1) revis (1) model (1) logic (1) debug (1)
Person: Margaret Mary West
DBLP: West:Margaret_Mary
Contributed to:
1998
1998Wrote 2 papers:
- ASE-1998-McCluskeyW #automation #debugging #maintenance #modelling #requirements #towards
- Towards the Automated Debugging and Maintenance of Logic-based Requirements Models (TLM, MMW), pp. 105–114.
- ICML-1998-McCluskeyW #case study #requirements #using #validation
- A Case Study in the Use of Theory Revision in Requirements Validation (TLM, MMW), pp. 368–376.