| BRITISH COMPUTER SOCIETY FACS SPECIALIST GROUP |
|
|
Formal Aspects of Computing Science
BCS-FACS Evening Seminar Series
Domain Engineering
Professor Dines Bjørner
25 July 2005
5.45pmBCS London Offices
First Floor, The Davidson Building
|
|
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). The examples of the talk will mostly be taken from ongoing research into "A Domain Theory for Railways". Refreshments will be served from 5.15pm The seminar is free of charge and open to everyone. If you would like to attend, please email Paul Boca your name by 21 July 2005. Pre-registration is required, as security at the BCS Offices is tight. |
| Formal Aspects of Computing Science |
|
Copyright © BCS-FACS |
