مرکز منطقه ای اطلاع رساني علوم و فناوري

DocumentCode :

3191946

Title :

[Title page i]

fYear :

2010

fDate :

3-3 Oct. 2010

Abstract :

The following topics are dealt with: model transformation; software formal verification; formal semantics; test suites; and constraint validation.

Keywords :

program testing; software engineering; constraint validation; formal semantics; model transformation; software formal verification; test suites;

fLanguage :

English

Publisher :

ieee

Conference_Titel :

Model-Driven Engineering, Verification, and Validation (MoDeVVa), 2010 Workshop on

Conference_Location :

Oslo

Type :

conf

DOI :

10.1109/MoDeVVa.2010.1

Filename :

5772254

Link To Document :