You are in : Home » Results & submissions » Select UOA » 11 - Computer Science and Informatics » View submission: University of Edinburgh » Outputs » Detail

Output details

11 - Computer Science and Informatics

University of Edinburgh

Return to search Previous output Next output

Output 135 of 401 in the submission

Output title

Enforcing QVT-R with mu-calculus and games

Type

E - Conference contribution

DOI

10.1007/978-3-642-37057-1_21

Name of conference/published proceedings

Fundamental Approaches to Software Engineering : 16th International Conference, FASE 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings

Volume number

7793

Issue number

First page of article

282

ISSN of proceedings

0302-9743

Year of publication

2013

URL

http://link.springer.com/chapter/10.1007%2F978-3-642-37057-1_21

Number of additional authors

Additional information

<08> Originality: The first rigorous and full semantics of the enforce mode of the QVT-R standard.

Significance: QVT-R is an international standard in software engineering; this paper fills critical gaps (the model update process is incompletely, and wrongly, defined) in the standard, needed for any implementation. FASE is the leading conference in formal software engineering.

Rigour: The analysis is by mathematical modelling and proof.

Interdisciplinary

Cross-referral requested

Research group

F - Laboratory for Foundations of Computer Science

Citation count

Proposed double-weighted

Double-weighted statement

Reserve for a double-weighted output

Non-English

English abstract