Domain Engineering: A "Radical Innovation" for Software and Systems Engineering? A Biased Accountain Enginee

Dines Bjørner, Nachum Dershowitz (Editor)

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

    Abstract

    The structure and contents of a three volume text book: "The SE Book: An ABZ of the Theory and Practice of Software Engineering" is outlined and its major contributions are illustrated through extensive examples. A "complete" contents listing is presented.
    Original languageEnglish
    Title of host publicationThe Zohar Manna International Symposium on Verification: Theory Verification: Theory and Practice: Essays Dedicated to Zohar Manna on the Occasion of His 64th Birthday : Lecture Notes in Computer Science
    Volume2772
    PublisherSpringer
    Publication date2003
    Publication statusPublished - 2003

    Cite this

    Bjørner, D., & Dershowitz, N. (Ed.) (2003). Domain Engineering: A "Radical Innovation" for Software and Systems Engineering? A Biased Accountain Enginee. In The Zohar Manna International Symposium on Verification: Theory Verification: Theory and Practice: Essays Dedicated to Zohar Manna on the Occasion of His 64th Birthday: Lecture Notes in Computer Science (Vol. 2772). Springer. http://www.imm.dtu.dk/pubdb/p.php?1451