Rapid Integration of Software Engineering Techniques Third International Workshop, RISE 2006, Geneva, Switzerland, September 13-15, 2006. Revised Selected Papers - Guelfi, Nicolas; Buchs, Didier; SpringerLink (Online service) (Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007)
Keywords: Computer science; Software engineering; Logic design; Information Systems; Computer Science; Software Engineering; Logics and Meanings of Programs; Management of Computing and Information Systems