@CONFERENCE\{IMM2003-01451, author = "D. Bj{\o}rner", title = "Domain Engineering: A {''}Radical Innovation{''} for Software and Systems Engineering ? A Biased Account", year = "2003", month = "jul", booktitle = "The Zohar Manna Intl.Symp. on {''}Verification: Theory \& Practice''", volume = "", series = "", editor = "Nachum Dershowitz", publisher = "Springer-Verlag", organization = "", address = "Heidelberg, Germany", url = "http://www2.compute.dtu.dk/pubdb/pubs/1451-full.html", 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," }