Formal semantics of static and temporal state-oriented OCL constraints期刊界 All Journals 搜尽天下杂志传播学术成果专业期刊搜索期刊信息化学术搜索

Formal semantics of static and temporal state-oriented OCL constraints

Authors:	Email author" target="_blank">Stephan?Flake Email author Email author" target="_blank">Wolfgang?Mueller Email author

Affiliation:	(1) C-LAB, Paderborn University, Fuerstenallee 11, 33102 Paderborn, Germany

Abstract:

Keywords:	Object Constraint Language UML Statecharts UML Profile Real-time constraints Temporal logics
本文献已被 SpringerLink 等数据库收录！