Software engineering 3 : domains, requirements, and software design - Bjorner, D. (NewYork : Springer, 2007)
Includes index and bibliographical reference
Keywords: COMPUTER SCIENCE