第28回先端ソフトウェア科学・工学に関するGRACEセミナー

主催:NII 先端ソフトウェア工学国際研究センター(GRACEセンター)
http://grace-center.jp/
日時:2009年11月26日(木)14:00-15:30
場所:国立情報学研究所(NII) 19階プレセンテーション室(1904)  (地図
参加費:無料
お問い合わせ:鄭 顕志 (tei_AT_nii.ac.jp)_AT_を@に書き換えてください。

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

– – – – – – – – – – – – – – – – – – – – – – – – – – – – – – – – –
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.

カテゴリー: 研究, セミナー パーマリンク

コメントは停止中です。