by JeffZ.Pan (Editor), SteffenStaab (Editor), UweAßmann (Editor)
This volume establishes a new quality standard for software products, and increased efficiency in their development, by applying findings in the field of logic to mainstream software development and its languages. It covers both domain and software modeling.
Format: Hardcover
Pages: 356
Edition: 2013
Publisher: Springer
Published: 22 Dec 2012
ISBN 10: 364231225X
ISBN 13: 9783642312250