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


    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
    Publication date2003
    Publication statusPublished - 2003

    Cite this