dblp.uni-trier.de www.uni-trier.de

12. DSV-IS 2005: Newcastle upon Tyne, UK

Stephen W. Gilroy, Michael D. Harrison (Eds.): Interactive Systems, Design, Specification, and Verification, 12th International Workshop, DSVIS 2005, Newcastle upon Tyne, UK, July 13-15, 2005, Revised Papers. Lecture Notes in Computer Science 3941 Springer 2006, ISBN 3-540-34145-5 BibTeX

Keynote

Teams and Groups

Sketches and Templates

Away from the Desktop

Migration and Mobility

Analysis Tools

Model-Based Design Processes and Tools

Group Discussions

Copyright © Sat May 16 23:07:36 2009 by Michael Ley (ley@uni-trier.de)