| |
| PDF document |
header.pdf
|
Header (including cover page, table of contents, lists of tables and figures, abstract, abbreviations etc).
|
(719 KB)
|
|
30/11/06
|
| PDF document |
chapter1.pdf
|
Introduction
|
(1.4 MB)
|
|
30/11/06
|
| PDF document |
chapter2.pdf
|
Definition-based state-transition models in the abstract
|
(1.3 MB)
|
|
30/11/06
|
| PDF document |
chapter3.pdf
|
Software tools using dependency
|
(1.4 MB)
|
|
30/11/06
|
| PDF document |
chapter4.pdf
|
The Scout notation
|
(1.7 MB)
|
|
30/11/06
|
| PDF document |
chapter5.pdf
|
Definition-based state-transition models in application
|
(1.6 MB)
|
|
30/11/06
|
| PDF document |
chapter6.pdf
|
Integrating definitive notations
|
(1.4 MB)
|
|
30/11/06
|
| PDF document |
chapter7.pdf
|
Generalising single-agent definitive systems
|
(2.2 MB)
|
|
30/11/06
|
| PDF document |
chapter8.pdf
|
Agent-oriented definitive programming
|
(1.7 MB)
|
|
30/11/06
|
| PDF document |
chapter9.pdf
|
Summary and Conclusion
|
(468 KB)
|
|
30/11/06
|
| PDF document |
references.pdf
|
References
|
(995 KB)
|
|
30/11/06
|
| PDF document |
appendixa.pdf
|
[empty file - not yet scanned] Technical document of the Scout system
|
(2 KB)
|
|
30/11/06
|
| PDF document |
appendixb.pdf
|
[empty file - not yet scanned] User guide to Admira
|
(2 KB)
|
|
30/11/06
|
| PDF document |
appendixc.pdf
|
[empty file - not yet scanned] Program listing of Admira
|
(2 KB)
|
|
30/11/06
|
| PDF document |
appendixd.pdf
|
[empty file - not yet scanned] The Jugs example
|
(2 KB)
|
|
30/11/06
|
| PDF document |
appendixe.pdf
|
[empty file - not yet scanned] The visualisation example
|
(2 KB)
|
|
30/11/06
|
| PDF document |
appendixf.pdf
|
[empty file - not yet scanned] The room example
|
(2 KB)
|
|
30/11/06
|
| PDF document |
appendixg.pdf
|
[empty file - not yet scanned] The vehicle cruise control simulation example
|
(2 KB)
|
|
30/11/06
|
| PDF document |
appendixh.pdf
|
[empty file - not yet scanned] The railway station simulation example
|
(2 KB)
|
|
30/11/06
|
