Software engineering 2 - Bjorner, Dines (Dines), 1937- (Berlin ; New York : Springer, 2006)
1. Abstraction and modelling -- 2. Specification of systems and languages -- 3. Domains, requirements, and software design.
Includes bibliographical references and indexes.
Keywords: Software engineering. -- Computer, MIS; Computer programming