Enriching OCL using observational mu-calculus

J Bradfield; Juliana Bowles; P Stevens; R-D Kutsche; H Weber

Enriching OCL using observational mu-calculus

J Bradfield, Juliana Bowles, P Stevens, R-D Kutsche, H Weber

Computer Science

Research output: Contribution to conference (unpublished) › Paper

35 Citations (Scopus)

Original language	English
Pages	203-217
Number of pages	15
Publication status	Published - 1 Jan 2002
Event	Proceedings of the 5th International Conference on Fundamental Approaches to Software Engineering (FASE), Grenoble, France, April 2002 - Duration: 1 Jan 2002 → …

Conference

Conference	Proceedings of the 5th International Conference on Fundamental Approaches to Software Engineering (FASE), Grenoble, France, April 2002
Period	1/01/02 → …

Cite this

@conference{5b3c24ce72d243eea280bd8e61128547,

title = "Enriching OCL using observational mu-calculus",

author = "J Bradfield and Juliana Bowles and P Stevens and R-D Kutsche and H Weber",

year = "2002",

month = jan,

day = "1",

language = "English",

pages = "203--217",

note = "Proceedings of the 5th International Conference on Fundamental Approaches to Software Engineering (FASE), Grenoble, France, April 2002 ; Conference date: 01-01-2002",

}

TY - CONF

T1 - Enriching OCL using observational mu-calculus

AU - Bradfield, J

AU - Bowles, Juliana

AU - Stevens, P

AU - Kutsche, R-D

AU - Weber, H

PY - 2002/1/1

Y1 - 2002/1/1

M3 - Paper

SP - 203

EP - 217

T2 - Proceedings of the 5th International Conference on Fundamental Approaches to Software Engineering (FASE), Grenoble, France, April 2002

Y2 - 1 January 2002

ER -