Task Model Refinement with Meta Operators

Maik Wurdel, Daniel Sinnig, Peter Forbrig. Task Model Refinement with Meta Operators. In T. C. Nicholas Graham, Philippe A. Palanque, editors, Interactive Systems. Design, Specification, and Verification, 15th International Workshop, DSV-IS 2008, Kingston, Canada, July 16-18, 2008, Revised Papers. Volume 5136 of Lecture Notes in Computer Science, pages 300-305, Springer, 2008. [doi]

Authors

Maik Wurdel

This author has not been identified. Look up 'Maik Wurdel' in Google

Daniel Sinnig

This author has not been identified. Look up 'Daniel Sinnig' in Google

Peter Forbrig

Identified as Peter Forbrig