Engineering and theoretical underpinnings of retrenchment
- 1 July 2007
- journal article
- Published by Elsevier in Science of Computer Programming
- Vol. 67 (2-3) , 301-329
Abstract
No abstract availableKeywords
This publication has 38 references indexed in Scilit:
- Retrenching the Purse: Finite Exception Logs, and Validating the Small2006
- Retrenching partial requirements into system definitions: a simple feature interaction case studyRequirements Engineering, 2003
- Fragmented retrenchment, concurrency and fairness2002
- Maximally abstract retrenchments2002
- Sharp Retrenchment, Modulated Refinement and SimulationFormal Aspects of Computing, 1999
- Superposition refinement of reactive systemsFormal Aspects of Computing, 1996
- A theory of timed automataTheoretical Computer Science, 1994
- The existence of refinement mappingsTheoretical Computer Science, 1991
- A calculus of refinements for program derivationsActa Informatica, 1988
- On correct refinement of programsJournal of Computer and System Sciences, 1981