Stem dagstuhl$ (all stems)
3 papers:
- ATEM-2003-LethbridgeTP04 #metamodelling #reverse engineering
- The Dagstuhl Middle Metamodel: A Schema For Reverse Engineering (TCL, ST, EP), pp. 7–18.
- IWPC-2001-Lethbridge #re-engineering #tool support
- Report from the Dagstuhl Seminar on Interoperability of Reengineering Tools (TCL), p. 119.
- KR-1996-Kelley #calculus #case study #modelling #problem #using
- Modeling Complex Systems in the Situation Calculus: A Case Study Using the Dagstuhl Steam Boiler Problem (TGK), pp. 26–37.