[logic-ml] 計算機言語談話会（＠産総研尼崎）開催【2012/2/1】のお知らせ

[Takashi KITAMURA]

皆様、こんにちは！ 

産総研の北村崇師です。 

下記の通り、産総研組み込みシステム技術連携体（＠尼崎）は、計算機言語談話
会 （CLC:Computer Language Colloquium）を開催します。 

どなたでも無料で参加できます。皆様のご参加お待ちしております。 

また参加の際は、事前に北村（ t.kitamura at aist.go.jp ）までメールによるご
連絡をお願いいたします。

++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ 
日時：平成 24 年 2 月 1 日（水） 16：00--17: 30 

場所：（独）産総研関西センター尼崎事業所 E 棟 2 階 セミナー室
      http://cfv.jp/cvs/access/index.html  

演題：Automatic Specification-Based Program Testing

講演者：Prof. Shaoying Liu (Hosei University, Tokyo, Japan)

梗概：
Automatic specification-based testing (ASBT) is a potentially effective
and efficient technique for detecting errors in programs and attractive
to industry due to its potential in saving time and cost. In this talk,
after presenting the goals of the testing technique I will introduce a
decompositional functional scenario-based testing technique, a specific
ASBT, by explaining the strategy and criteria for test set generation,
test oracle for test result analysis, and test process for tool support.
I will also discuss the challenges and future research directions.

Bio.:
Shaoying Liu is Professor at Hosei University, Japan. He received a Ph.D
in Computer Science from the University of Manchester, U.K in 1992. His
research interests include Formal Engineering Methods,
Specification-based Inspection and Testing, and Intelligent Software
Engineering Environments. He has published a book titled "Formal
Engineering for Industrial Software Development" with Springer-Verlag,
four edited conference proceedings, and over 120 academic papers in
refereed journals and international conferences. He is the chair of
Steering Committee for ICFEM conference, and on the editorial board for
the Journal of Software Testing, Verification and Reliability (STVR) and
for ISRN Software Engineering Journal. He is a Fellow of British
Computer Society, Senior member of IEEE Computer Society, and member of
Japan Society for Software Science and Technology.

++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ 

以上よろしくお願いいたします。


-------------------------- 
北村崇師 PhD <t.kitamura at aist.go.jp>
特別研究員
（独）産業技術総合研究所
組込みシステム技術連携研究体

〒661-0974 兵庫県尼崎市若王寺3-11-46
Tel: 06-6494-8054
Fax: 06-6494-8073