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

Dines Bjørner; Nachum Dershowitz

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 proceeding › Article in proceedings › Research › peer-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 language	English
Title of host publication	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
Volume	2772
Publisher	Springer
Publication date	2003
Publication status	Published - 2003

Access to Document

http://www.imm.dtu.dk/pubdb/p.php?1451

OpenUrl availability

Full text

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

Bjørner, Dines ; Dershowitz, Nachum (Editor). / Domain Engineering: A "Radical Innovation" for Software and Systems Engineering? A Biased Accountain Enginee. 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, 2003.

@inproceedings{a47767e4b57b4bb2892b468ea9adc7a1,

title = "Domain Engineering: A {"}Radical Innovation{"} for Software and Systems Engineering? A Biased Accountain Enginee",

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",

language = "English",

volume = "2772",

booktitle = "The Zohar Manna International Symposium on Verification: Theory Verification: Theory and Practice: Essays Dedicated to Zohar Manna on the Occasion of His 64th Birthday",

publisher = "Springer",

}

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>

Domain Engineering: A "Radical Innovation" for Software and Systems Engineering? A Biased Accountain Enginee. / Bjørner, Dines; Dershowitz, Nachum (Editor).
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, 2003.

Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

TY - GEN

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

AU - Bjørner, Dines

A2 - Dershowitz, Nachum

PY - 2003

Y1 - 2003

N2 - 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.

AB - 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.

M3 - Article in proceedings

VL - 2772

BT - The Zohar Manna International Symposium on Verification: Theory Verification: Theory and Practice: Essays Dedicated to Zohar Manna on the Occasion of His 64th Birthday

PB - Springer

ER -

Bjørner D, Dershowitz N, (ed.). 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. 2003