Jifeng He – författare

The Asian Computing Science Conference (ASIAN) series was initiated in 1995 to provide a forum for researchers in computer science in Asia to meet and to promote interaction with researchers from other regions. The previous ?ve conferences were held, respectively, in Bangkok, Singapore, Kathmandu, Manila, and Phuket. The proceedings were published in the Lecture Notes in Computer Science Series of Springer-Verlag. This year’s conference (ASIAN2000) attracted 61 submissions from which 18 papers were selected through an electronic program committee (PC) meeting. The themes for this year’s conference are: – Logics in Computer Science – Data Mining – Networks and Performance The key note speaker for ASIAN2000 is Jean Vuillemin (ENS, France) and the invited speakers are Ramamohanarao Kotagiri (U. Melbourne, Australia) and Alain Jean-Marie (LIRMM, France). We thank them for accepting our - vitation. This year’s conference is sponsored by the Asian Institute of Technology (Thailand), INRIA (France), the National University of Singapore (Singapore), and UNU/IIST (Macau SAR, China). We thank all these institutions for their continued support of the ASIAN series. This year’s conference will be held in Penang, Malaysia. We are much obliged to Universiti Sains Malaysia and Penang State Government for providing the conference venue and to Dr. Abdullah Zawawi Haji Talib for making the local arrangements. We also wish to thank the PC members and the large number of referees for thesubstantialworkputinbytheminassessingthesubmittedpapers.

The Asian Computing Science Conference (ASIAN) series was initiated in 1995 to provide a forum for researchers in computer science in Asia to meet and to promote interaction with researchers from other regions. The previous ?ve conferences were held, respectively, in Bangkok, Singapore, Kathmandu, Manila, and Phuket. The proceedings were published in the Lecture Notes in Computer Science Series of Springer-Verlag. This year’s conference (ASIAN2000) attracted 61 submissions from which 18 papers were selected through an electronic program committee (PC) meeting. The themes for this year’s conference are: – Logics in Computer Science – Data Mining – Networks and Performance The key note speaker for ASIAN2000 is Jean Vuillemin (ENS, France) and the invited speakers are Ramamohanarao Kotagiri (U. Melbourne, Australia) and Alain Jean-Marie (LIRMM, France). We thank them for accepting our - vitation. This year’s conference is sponsored by the Asian Institute of Technology (Thailand), INRIA (France), the National University of Singapore (Singapore), and UNU/IIST (Macau SAR, China). We thank all these institutions for their continued support of the ASIAN series. This year’s conference will be held in Penang, Malaysia. We are much obliged to Universiti Sains Malaysia and Penang State Government for providing the conference venue and to Dr. Abdullah Zawawi Haji Talib for making the local arrangements. We also wish to thank the PC members and the large number of referees for thesubstantialworkputinbytheminassessingthesubmittedpapers.

This book constitutes the refereed proceedings of the 8th International Conference on Formal Engineering Methods, ICFEM 2006, held in Macao, China, in November 2006. The 38 revised full papers presented together with three keynote talks were carefully reviewed and selected from 108 submissions. The papers address all current issues in formal methods and their applications in software engineering.

The Second Workshop of Blended Learning (WBL 2008), as part of the 7th Inter- tional Conference on Web-Based Learning (ICWL 2008), was held in Zhejiang N- mal University, Jinhua, Zhejiang, China during August 20–22, 2008. WBL 2008 provided an international forum for the dissemination of original results in the design, implementation, and evaluation of blended learning systems and related areas. In particular, the aim of WBL 2008 was to bring together researchers from academia as well as commercial developers from industry to explore ideas, exchange and share experiences, and further build the blended learning research network. The inspirations and new ideas were expected to emerge from intensive discussions during formal sessions and social activities. The main focus of WBL 2008 was on the most critical areas of blended learning, namely, ‘e-Learning Platforms and Tools,’ ‘Design, Model and Framework of e- Learning Systems,’ ‘Practice and Experience Sharing,’ and ‘Pedagogical Issues.’ In total, the workshop selected 17 papers from authors of different countries for presen- tion and publication, a task which was not easy due to the high quality of the subm- ted papers. Using stringent selection criteria, submissions were rigorously reviewed based on their originality, significance, relevance, and clarity of presentation by an international Program Committee from Germany, Spain, UK, Italy, Ireland, Romania, Hong Kong, Japan, Taiwan, and Macao.

The Second Workshop of Blended Learning (WBL 2008), as part of the 7th Inter- tional Conference on Web-Based Learning (ICWL 2008), was held in Zhejiang N- mal University, Jinhua, Zhejiang, China during August 20–22, 2008. WBL 2008 provided an international forum for the dissemination of original results in the design, implementation, and evaluation of blended learning systems and related areas. In particular, the aim of WBL 2008 was to bring together researchers from academia as well as commercial developers from industry to explore ideas, exchange and share experiences, and further build the blended learning research network. The inspirations and new ideas were expected to emerge from intensive discussions during formal sessions and social activities. The main focus of WBL 2008 was on the most critical areas of blended learning, namely, ‘e-Learning Platforms and Tools,’ ‘Design, Model and Framework of e- Learning Systems,’ ‘Practice and Experience Sharing,’ and ‘Pedagogical Issues.’ In total, the workshop selected 17 papers from authors of different countries for presen- tion and publication, a task which was not easy due to the high quality of the subm- ted papers. Using stringent selection criteria, submissions were rigorously reviewed based on their originality, significance, relevance, and clarity of presentation by an international Program Committee from Germany, Spain, UK, Italy, Ireland, Romania, Hong Kong, Japan, Taiwan, and Macao.

In diesem Buch werden vor allem der Forschungsüberblick, die Forschungsergebnisse und die weiteren Aussichten von "The Fundamental Research for Trustworthy Software", einem großen Forschungsprojekt des NSFC, vorgestellt. Das Projekt konzentriert sich auf vier wissenschaftliche Kernthemen: Messung und Modellierung der Software-Glaubwürdigkeit, Konstruktion und Verifizierung vertrauenswürdiger Software, Entwicklung und Kontrolle vertrauenswürdiger Software sowie Konstruktion und Bewertung einer vertrauenswürdigen Umgebung. Es konzentriert sich auf die Glaubwürdigkeit von embedded Software und Netzwerkanwendungssoftware und nimmt die Glaubwürdigkeit von Software in nationalen Schlüsselanwendungsbereichen als einen Durchbruch, um einen Forschungsrahmen für die Grundlagenforschung von vertrauenswürdiger Software zu schaffen.

This book mainly introduces the research overview, results, and achievements of “The Fundamental Research for Trustworthy Software”, a major research plan of NSFC. The Plan focuses on four key scientific issues:(i) measurement and modeling of software trustworthiness;(ii) construction and verification of trustworthy software;(iii) evolution and control of trustworthy software;(iv) trusted environment construction and evaluation.This book aims to establish a research framework for fundamental research on trustworthy software by focusing on the trustworthiness of embedded software and network application software, as well as the trustworthiness of software in key application fields in China. This book is intended for researchers who have been following the evolution of and trends in the trustworthy software; the book is also a valuable reference resource for practitioners and scholars at various levels and in various fields.

This book mainly introduces the research overview, results, and achievements of “The Fundamental Research for Trustworthy Software”, a major research plan of NSFC. The Plan focuses on four key scientific issues:

(i) measurement and modeling of software trustworthiness;

(ii) construction and verification of trustworthy software;

(iii) evolution and control of trustworthy software;

(iv) trusted environment construction and evaluation.

This book aims to establish a research framework for fundamental research on trustworthy software by focusing on the trustworthiness of embedded software and network application software, as well as the trustworthiness of software in key application fields in China. This book is intended for researchers who have been following the evolution of and trends in the trustworthy software; the book is also a valuable reference resource for practitioners and scholars at various levels and in various fields.