(sigemb-info 487) The 28th GRACE Seminar (Nov. 26th)

["Yumi YAMASAKI" <yumi1007@xxxxxxxxx>]

関係者各位

いつもお世話になっております。

本MLをお借りして
第28回GRACEセミナー（11/26）のご案内を差し上げます。

尚、重複して案内を受け取られた方は
ご了承くださいますようお願い申し上げます。

GRACEセンター 事務局
event-info@xxxxxxxxxxxxxxx

====================================================================

第28回先端ソフトウェア科学・工学に関するGRACEセミナーのご案内
The 28th GRACE Seminar on Advanced Software Science and Engineering

下記の日程でGRACEセミナーを開催いたします。

  第28回 GRACEセミナー
  日時：2009年11月26日（木） 14:00-15:30
  場所：国立情報学研究所(NII) 19階プレセンテーション室(1904)
　http://www.nii.ac.jp/introduce/access1-j.shtm
（地図）

参加費は無料です。
参加をご希望の方は、セミナー前日までに下記よりご登録をお願いします。
http://grace-center.jp/regist/seminar

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

I am pleased to announce the 28th GRACE Seminar on Advanced Software Science and
Engineering.

Date: November 26 (Thu) 14:00-15:30
Place: Presentation Room (1904), 19F, NII
http://www.nii.ac.jp/index.php?action=pages_view_main&page_id=469&lang=english
(map)

The registration fee is free but it is needed to register via the following page:
http://grace-center.jp/regist/seminar

We are looking forward to meeting you.

You can find the detailed information below:

=====================================================================
Details:

Speaker: Prof. Dines Bjorner, Technical University of Denmark

Title: Role of Domain Engineering in Software Development

Abstract:
We introduce the notion of domain descriptions (D) in order to ensure that software (S)
is right and is the right software, that is, that it is correct with respect to written
requirements (R) and that it meets customer expectations (D). That is, before software
can be designed (S) we must make sure we understand the requirements (R), and before we
can express the requirements we must make sure that we understand the application domain
(D): the area of activity of the users of the required software, before and after
installment of such software. We shall outline what we mean by informal, narrative and
formal domain descriptions, and how one can systematically -- albeit not (in fact:
never) automatically -- go from domain descriptions to requirements prescriptions. As it
seems that domain engineering is a relatively new discipline within software engineering
we shall mostly focus on domain engineering and discuss its necessity. The talk will
show some formulas but they are really not meant to be read, let alone understood. They
are merely there to bring home the point: Professional software engineering, like other
professional engineering branches rely on and use mathematics. And it is all very simple
to learn and practise anyway ! We end this talk with, to some, perhaps, controversial
remarks: Requirements engineering, as pursued today, researched, taught and practised,
is outdated, is thus fundamentally flawed. We shall justify this claim. 


=================== GRACEセンターからのお知らせ ======================

＊GRACEセンター（先端ソフトウェア工学・国際研究センター）では、
　今後GRACEセミナーなどのイベント案内や研究資料など、
　GRACEセンターに関する情報をEメールにてお届けしています。

　■お申し込みは↓■
　http://grace-center.jp/mail_member.html

　是非ご購読下さい！購読料は無料です。

　[GRACEセンター]
　http://www.grace-center.jp/index.html
　[メールマガジンについてのお問い合わせ]
　owner-grace-bulletin@xxxxxxxxx