Numeric semantics of class diagrams with multiplicity and uniqueness constraints

Ingo Feinerer; Gernot Salzer

doi:10.1007/s10270-012-0294-4

Numeric semantics of class diagrams with multiplicity and uniqueness constraints

TU Wien

Publikation: Beitrag in Fachzeitschrift › Artikel › peer-review

Originalsprache	Englisch
Seiten (von - bis)	1167-1187
Seitenumfang	21
Fachzeitschrift	Software and Systems Modeling
Jahrgang	13
Ausgabenummer	3
DOIs	https://doi.org/10.1007/s10270-012-0294-4
Publikationsstatus	Veröffentlicht - Juni 2014
Extern publiziert	Ja

Zugriff auf Dokument

10.1007/s10270-012-0294-4

Andere Dateien und Links

Verknüpfung zur Publikation in Scopus

Dieses zitieren

@article{7b26c4ec90414ed3819486c0b8c97c02,

title = "Numeric semantics of class diagrams with multiplicity and uniqueness constraints",

keywords = "Configuration management, Formal methods, Integer linear programming, Model engineering, Reasoning about class diagrams",

author = "Ingo Feinerer and Gernot Salzer",

year = "2014",

month = jun,

doi = "10.1007/s10270-012-0294-4",

language = "English",

volume = "13",

pages = "1167--1187",

journal = "Software and Systems Modeling",

issn = "1619-1366",

number = "3",

}

TY - JOUR

T1 - Numeric semantics of class diagrams with multiplicity and uniqueness constraints

AU - Feinerer, Ingo

AU - Salzer, Gernot

PY - 2014/6

Y1 - 2014/6

KW - Configuration management

KW - Formal methods

KW - Integer linear programming

KW - Model engineering

KW - Reasoning about class diagrams

UR - http://www.scopus.com/inward/record.url?scp=84903477592&partnerID=8YFLogxK

U2 - 10.1007/s10270-012-0294-4

DO - 10.1007/s10270-012-0294-4

M3 - Article

AN - SCOPUS:84903477592

SN - 1619-1366

VL - 13

SP - 1167

EP - 1187

JO - Software and Systems Modeling

JF - Software and Systems Modeling

IS - 3

ER -

Numeric semantics of class diagrams with multiplicity and uniqueness constraints

Zugriff auf Dokument

Andere Dateien und Links

Fingerprint

Dieses zitieren