COEセミナーのお知らせ

We would like to inform you about COE-Seminar as follows.

DATE : July 4-5, 2005 15:00-17:00
PLACE : KS-Lecture hall
SUBJECT : Domain Engineering
SPEAKER: Dr. Dines Bjorner
SPEECH : English
Reference: Research Center for trustworthy e-Society (E-mail:miyuki-s)

　　　　　　　　 --------------------------

　　　　　　　　　　　　　　　　　　　　　　　　　平成17年6月21日
関係各位
　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　 　
　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　
　　　　　　　　　　　　　　　　　　　　　　 ２１世紀COEプログラム
　　　　　　　　　　　　　　　　　　　　　　−検証進化可能電子社会−
　　　　　　　　　　　　　　　　　　　　　 拠点リーダー　片　山　卓　也
　　　　　　　　
　　　　　　 ＣＯＥセミナーの開催について


　VDM(Vienna Development Method)の創始者として著名なDines Bjorner教授を
お招きして，下記の通り検証進化可能電子社会を支える重要な基盤技術である
Domain Engineeringについての7月4日と5日に連続セミナーを開催いたします。
つきましては、多数の皆様にご参加いただきたく、ここにセミナーの案内を申し
上げます。
本セミナーに関しましては参加申し込み・予約等はございませんので直接会場に
お起こし下さいますようよろしくお願いいたします。

1. 日時　　　　 平成１７年７月４日（月）　１５：００〜１７：００
2. 場所　　　　 北陸先端科学技術大学院大学（JAIST)
　　　　　　　　知識科学研究科 中講義室
3.講演題目　　　　Domain Engineering I
4.講演概要
Before software can be designed we must know its requirements. Before
requirements can be expressed we must understand the domain. In this talk
we will illustrate a domain description of railways. It is short - but the
talk will detail the precise english narrative as well as the formal
mathematical description.
The talk will conclude with a discussion of the possibilities of domain
engineering in software development.

=======================================================================
1. 日時　　　　 平成１７年７月５日（火）　１５：００〜１７：００
2. 場所　　　　 北陸先端科学技術大学院大学（JAIST)
　　　　　　　　知識科学研究科 中講義室
3.講演題目　　　　Domain Engineering II
4.講演概要
Before software can be designed we must know its requirements. Before
requirements can be expressed we must understand the domain. So it follows,
from our dogma, that we must first establish precise descriptions of the
domain, then from such, "derive"
at least the domain requirements, and from those and other requirements
(interface and machine) design the software, or, more generally, the
computing system.
　　　In this talk we will outline what goes into a domain description, not
so much how we acquire what goes in. That is: Before we can acquire domain
"knowledge" we must know what are suitable structures of domain
descriptions. This we shall outline ideas of Modelling the Intrinsics (or a
domain), the Business Processes (of ...), the Support Technologies (of ...),
the Management & Organisation (of ...), the Rules & Regulations (and
Scripts) (of ...), and the Human Behaviours (of a domain).
=======================================================================
JAISTへのアクセス法に関しては以下のホームページをご覧ください：
http://www.jaist.ac.jp/~kouhou/General_info/access/access.html
=======================================================================
担当教員：情報科学研究科　教授　二木　厚吉

問合せ先　　安心電子社会研究センター　（内線：1261・E-mail:miyuki-s)