Behavioral Specifications of Businesses and Systems edited by Haim Kilov, Bernhard Rumpe, Ian Simmonds.
Behavioral Specifications of Businesses and Systems deals with the reading, writing and understanding of specifications. The papers presented in this book describe useful and sometimes elegant concepts, good practices (in programming and in specifications), and solid underlying theory that is of int...
Full description
Saved in: