A Triptych Software Development Paradigm - Correct System Design: Recent Insights and Advances - page 56

2. The RAISE Method Group. The RAISE Method . The BCS Practitioner Series.
Prentice-Hall, Hemel Hampstead, England, 1992.
3. Dines Bjrner. Domains as Prerequisites for Requirements and Software &c. In
M. Broy and B. Rumpe, editors, RTSE'97: Requirements Targeted Software and
Systems Engineering , volume 1526 of Lecture Notes in Computer Science , pages
1{41. Springer-Verlag, Berlin Heidelberg, 1998.
4. Dines Bjrner and Jorge M. Cuellar. The Role of Formal Techniques in Software
Engineering Education. Annals of Software Engineering , 1999. Editors: Norman
E. Gibbs and N. Coulter.
5. Dines Bjrner. Where do Software Architectures come from ? Systematic Develop-
ment from Domains and Requirements. A Re{assessment of Software Engneering ?
South African Journal of Computer Science , 1999. Editor: Chris Brink.
6. Dines Bjrner. Pinnacles of Software Engineering: 25 Years of Formal Methods.
Annals of Software Engineering , 1999. Editors: Dilip Patel and Wang YingYu.
7. Dines Bjrner. Domain Modelling: Resource Management Strategics, Tactics &
Operations, Decision Support and Algorithmic Software. In J.C.P. Woodcock,
editor, Festschrift to Tony Hoare . Oxford University and Microsoft, September
13{14 1999.
8. Dines Bjrner et al. Formal Models of Railway Systems: Domains. Technical
report, Dept. of IT, Technical University of Denmark, Bldg. 344, DK{2800 Lyn-
gby, Denmark, September 23 1999. Presented at the FME Rail Workshop on For-
mal Methods in Railway Systems, FM'99 World Congress on Formal Methods,
Toulouse, France. Avaliable on CD ROM.
9. Dines Bjrner et al. Formal Models of Railway Systems: Requirements. Tech-
nical report, Dept. of IT, Technical University of Denmark, Bld.g 344, DK{2800
Lyngby, Denmark, September 23 1999. Presented at the FME Rail Workshop on
Formal Methods in Railway Systems, FM'99 World Congress on Formal Methods,
Toulouse, France. Avaliable on CD ROM.
10. John Fitzgerald and Peter Gorm Larsen. Developing Software using VDM{SL .
Cambridge University Press, The Edinburgh Building, Cambridge CB2 1RU, Eng-
land, 1997.
11. Gro Harlem Brundtland, editor. Our Common Future . World Commision on
Environment and Development. Oxford University Press, WCED, UN, 1987.
12. UN. Agenda'21. United Nations, The Rio de Janeiro, Brasil, Conference on Envi-
ronment, June 14 1992.
13. LI Xia and Anthony Gar-On YEH. A dss for sustainable land development in china
using remote sensing and gis | a case study in dongguan. In [35] , 1996. Centre for
Urban Planning and Environmental Management + GIS/LIST Research Centre,
University of Hong Kong, Pokfulam Road, Hong Kong; [e-mail].39.
14. International Union for the Conservation of Nature. World conservation strat-
egy. Technical report, International Union for the Conservation of Nature, Gland,
Switzerland, 1980. Report highlights sustainability of natural resources.
15. A.G.Levinsohn and S.J. Brown. Gis and sustainable development in natural re-
source management.

In M. Heit and A. Shrtreid, editors, GIS Applications in

Natural Resources , pages 17{21. GIS World, Inc., 1991.
16. Anthony Gar-On YEH. Gis in decision support systems for sustainable develop-
ment. In [35] , 1996. Centre for Urban Planning and Environmental Management
+ GIS/LIST Research Centre, University of Hong Kong, Pokfulam Road, Hong
Kong; [e-mail].23.