Title :
2008 2nd IFIP/IEEE International Symposium on Theoretical Aspects of Software Engineering (TASE ´08) - [Front cover]
Abstract :
The following topic are dealt with: model checking; program analysis and type of theory; software architecture, framework, and process, service oriented computing, software testing and logic system and programming.
Keywords :
program diagnostics; software architecture; logic system; model checking; program analysis; programming; service oriented computing; software architecture; software engineering; software testing; theoretical aspects;
Conference_Titel :
Theoretical Aspects of Software Engineering, 2008. TASE '08. 2nd IFIP/IEEE International Symposium on
Conference_Location :
Nanjing
Print_ISBN :
978-0-7695-3249-3
DOI :
10.1109/TASE.2008.52
