مرکز منطقه ای اطلاع رساني علوم و فناوري - First Joint IEEE/IFIP Symposium on Theoretical Aspects of Software Engineering

DocumentCode :

2849904

Title :

First Joint IEEE/IFIP Symposium on Theoretical Aspects of Software Engineering - Title page

fYear :

2007

fDate :

6-8 June 2007

Abstract :

The following topics are dealt with: software engineering theory; model checking; compilers; workflow; real-time systems; specification.

Keywords :

software engineering; compilers; model checking; real-time systems; software engineering theory; specification; workflow;

fLanguage :

English

Publisher :

ieee

Conference_Titel :

Theoretical Aspects of Software Engineering, 2007. TASE '07. First Joint IEEE/IFIP Symposium on

Conference_Location :

Shanghai

Print_ISBN :

978-0-7695-2856-4

Type :

conf

DOI :

10.1109/TASE.2007.26

Filename :

4239937

Link To Document :