Towards a Science of Software Design
This event took place on Tuesday 19 April 2005 at 11:00
Professor John Mylopoulos University of Toronto/Trento
In his classic book titled "The Science of the Artificial" (published in 1969) Herbert Simon laments the fact that design is not taught in Engineering Schools, which instead clamor for scientific respectability. He then sketches what he calls a "Science of Design" whose basic ingredients include a logic of alternatives and a means-ends analysis for selecting "good enough" designs.
We review some of the history of Software Engineering since 1968 and discuss some the underlying concepts of Structured and Object-Oriented Software Development. We then focus on Agent-Oriented Software Development and argue that, unlike its older cousins, it supports the fundamental concepts that underly Simon's vision of a Science of Design. We also sketch a particular Agent-Orinted Software Development methodology, called Tropos, and the kind of tool support that it entails.
The research reported in this presentation was conducted with colleagues at the Universities of Toronto (Canada) and Trento (Italy).
This event took place on Tuesday 19 April 2005 at 11:00
In his classic book titled "The Science of the Artificial" (published in 1969) Herbert Simon laments the fact that design is not taught in Engineering Schools, which instead clamor for scientific respectability. He then sketches what he calls a "Science of Design" whose basic ingredients include a logic of alternatives and a means-ends analysis for selecting "good enough" designs.
We review some of the history of Software Engineering since 1968 and discuss some the underlying concepts of Structured and Object-Oriented Software Development. We then focus on Agent-Oriented Software Development and argue that, unlike its older cousins, it supports the fundamental concepts that underly Simon's vision of a Science of Design. We also sketch a particular Agent-Orinted Software Development methodology, called Tropos, and the kind of tool support that it entails.
The research reported in this presentation was conducted with colleagues at the Universities of Toronto (Canada) and Trento (Italy).
Future Internet
KnowledgeManagementMultimedia &
Information SystemsNarrative
HypermediaNew Media SystemsSemantic Web &
Knowledge ServicesSocial Software
Future Internet is...

To succeed the Future Internet will need to address a number of cross-cutting challenges including:
- Scalability in the face of peer-to-peer traffic, decentralisation, and increased openness
- Trust when government, medical, financial, personal data are increasingly trusted to the cloud, and middleware will increasingly use dynamic service selection
- Interoperability of semantic data and metadata, and of services which will be dynamically orchestrated
- Pervasive usability for users of mobile devices, different languages, cultures and physical abilities
- Mobility for users who expect a seamless experience across spaces, devices, and velocities
Future Internet from KMi.
Check out these Hot Future Internet Projects:
List all Future Internet Projects
Check out these Hot Future Internet Technologies:
List all Future Internet Technologies
List all Future Internet Projects
Check out these Hot Future Internet Technologies:
List all Future Internet Technologies

