Roadmap for a formal approach to reduce inconsistencies in enterprise architecture views

SJ Overbeek; A Cerone; MFWHA Janssen

Roadmap for a formal approach to reduce inconsistencies in enterprise architecture views

SJ Overbeek, A Cerone, MFWHA Janssen

Information and Communication Technology

Research output: Chapter in Book/Conference proceedings/Edited volume › Conference contribution › Scientific

Original language	Undefined/Unknown
Title of host publication	Preliminary Proceedings of the 3rd International Workshop on Formal Methods for Interactive Systems (FMIS 2009)
Editors	Massink, M. Harrison, M.
Place of Publication	Potsdam
Publisher	European Association of Software Science and Technology (EASST)
Pages	87-90
Number of pages	4
ISBN (Print)	1863-2122
Publication status	Published - 2009
Event	3rd International Workshop on Formal Methods for Interactive Systems - Potsdam Duration: 2 Nov 2009 → 2 Nov 2009

Publication series

Name
Publisher	European Association of Software Science and Technology (EASST)

Conference

Conference	3rd International Workshop on Formal Methods for Interactive Systems
Period	2/11/09 → 2/11/09

Keywords

Conf.proc. > 3 pag

Cite this

Overbeek, SJ ; Cerone, A ; Janssen, MFWHA. / Roadmap for a formal approach to reduce inconsistencies in enterprise architecture views. Preliminary Proceedings of the 3rd International Workshop on Formal Methods for Interactive Systems (FMIS 2009). editor / Massink, M. Harrison, M. Potsdam : European Association of Software Science and Technology (EASST), 2009. pp. 87-90

@inproceedings{cd9673dffd984df2a44195f1afc6e887,

title = "Roadmap for a formal approach to reduce inconsistencies in enterprise architecture views",

keywords = "Conf.proc. > 3 pag",

author = "SJ Overbeek and A Cerone and MFWHA Janssen",

year = "2009",

language = "Undefined/Unknown",

isbn = "1863-2122",

publisher = "European Association of Software Science and Technology (EASST)",

pages = "87--90",

editor = "{Harrison, M.}, {Massink, M.}",

booktitle = "Preliminary Proceedings of the 3rd International Workshop on Formal Methods for Interactive Systems (FMIS 2009)",

note = "3rd International Workshop on Formal Methods for Interactive Systems ; Conference date: 02-11-2009 Through 02-11-2009",

}

Overbeek, SJ, Cerone, A & Janssen, MFWHA 2009, Roadmap for a formal approach to reduce inconsistencies in enterprise architecture views. in MM Harrison, M. (ed.), Preliminary Proceedings of the 3rd International Workshop on Formal Methods for Interactive Systems (FMIS 2009). European Association of Software Science and Technology (EASST), Potsdam, pp. 87-90, 3rd International Workshop on Formal Methods for Interactive Systems, 2/11/09.

Roadmap for a formal approach to reduce inconsistencies in enterprise architecture views. / Overbeek, SJ; Cerone, A; Janssen, MFWHA.
Preliminary Proceedings of the 3rd International Workshop on Formal Methods for Interactive Systems (FMIS 2009). ed. / Massink, M. Harrison, M. Potsdam: European Association of Software Science and Technology (EASST), 2009. p. 87-90.

Research output: Chapter in Book/Conference proceedings/Edited volume › Conference contribution › Scientific

TY - GEN

T1 - Roadmap for a formal approach to reduce inconsistencies in enterprise architecture views

AU - Overbeek, SJ

AU - Cerone, A

AU - Janssen, MFWHA

PY - 2009

Y1 - 2009

KW - Conf.proc. > 3 pag

M3 - Conference contribution

SN - 1863-2122

SP - 87

EP - 90

BT - Preliminary Proceedings of the 3rd International Workshop on Formal Methods for Interactive Systems (FMIS 2009)

A2 - Harrison, M., Massink, M.

PB - European Association of Software Science and Technology (EASST)

CY - Potsdam

T2 - 3rd International Workshop on Formal Methods for Interactive Systems

Y2 - 2 November 2009 through 2 November 2009

ER -