@inproceedings{a47767e4b57b4bb2892b468ea9adc7a1,
title = "Domain Engineering: A {"}Radical Innovation{"} for Software and Systems Engineering? A Biased Account",
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",
author = "Dines Bj{\o}rner and Nachum Dershowitz",
year = "2003",
doi = "10.1007/978-3-540-39910-0\_5",
language = "English",
volume = "2772",
series = "Lecture Notes in Computer Science",
publisher = "Springer",
pages = "100--144",
booktitle = "The Zohar Manna International Symposium on Verification",
}