Skip to main content
SpringerLink
Log in

A Triptych Software Development Paradigm: Domain, Requirements and Software Towards a Nodel Development of a Decision Support System for Sustainable Development

  • Chapter
  • First Online:
Correct System Design

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 1710))

Abstract

A paradigmatic three stage approach to software development is sketched in terms of a torso-like, but schematic development of informal and formal descriptions (i) of the domain of sustainable development, (ii) of requirements to decision support software for developing models for and monitoring development (claimed to be sustainable), and (iii) of rudiments of a software architecture for such a system. In “one bat we tackle three problems”: (i) illustrating a fundamental approach to separation of concerns in software development: From domain via requirements to software descriptions; (ii) contributing towards a theory of sustainable development: Bringing some precision to many terms fraught by “political correctness”; and (iii) providing, we believe, a proper way of relating geographic information system+demographic information system systems to decision support software. Perhaps a fourth result of this paper can be claimed: (iv) Showing, as we believe it does, the structural main parts of a proper presentation of software.

Acknowledgements

I thank (i) participants in the February 1996 UNU/IIST Workshop on Software Technology for Agenda‘21: Decision Support Systems of Sustainable Development [35,36] for instigating the modelling effort of this paper and for kind remarks, (ii) my colleagues at UNU/IIST for enabling me to enjoy five stimulating years as first and founding UN director of that flourishing UN University software technology research and post-doctoral training centre in Macau, (iii) members of the IFIP WG2.2 and IFIP WG2.3 Working Groups for providing stimulating critique of my work, and (iv) Hans Langmaack for 20 years of close friendship.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. The RAISE Language Group. The RAISE Specication Language. The BCS Practitioner Series. Prentice-Hall, Hemel Hampstead, England, 1995.

    Google Scholar 

  2. The RAISE Method Group. The RAISE Method. The BCS Practitioner Series. Prentice-Hall, Hemel Hampstead, England, 1992.

    Google Scholar 

  3. Dines Bjørner. 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.

    Google Scholar 

  4. Dines Bjørner and Jorge M. Cuellar. The Rôle of Formal Techniques in Software Engineering Education. Annals of Software Engineering, 1999. Editors: Norman E. Gibbs and N. Coulter.

    Google Scholar 

  5. Dines Bjørner. Where do Software Architectures come from ? Systematic Development from Domains and Requirements. A Re-assessment of Software Engneering ? South African Journal of Computer Science, 1999. Editor: Chris Brink.

    Google Scholar 

  6. Dines Bjørner. Pinnacles of Software Engineering: 25 Years of Formal Methods. Annals of Software Engineering, 1999. Editors: Dilip Patel and Wang YingYu.

    Google Scholar 

  7. Dines Bjørner. 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.

    Google Scholar 

  8. Dines Bjørner et al. Formal Models of Railway Systems: Domains.Technical report, Dept. of IT, Technical University of Denmark, Bldg. 344, DK-2800 Lyngby, Denmark, September 23 1999. Presented at the FMERail Workshop on Formal Methods in Railway Systems, FM‘99 World Congress on Formal Methods, Toulouse, France. Avaliable on CD ROM.

    Google Scholar 

  9. Dines Bjørner et al. Formal Models of Railway Systems: Requirements. Technical report, Dept. of IT, Technical University of Denmark, Bld.g 344, DK-2800 Lyngby, Denmark, September 23 1999. Presented at the FMERail Workshop on Formal Methods in Railway Systems, saFM‘99 World Congress on Formal Methods, Toulouse, France. Avaliable on CD ROM.

    Google Scholar 

  10. John Fitzgerald and Peter Gorm Larsen. Developing Software using VDM­SL. Cambridge University Press, The Edinburgh Building, Cambridge CB2 1RU, England, 1997.

    Google Scholar 

  11. Gro Harlem Brundtland, editor. Our Common Future. World Commision on Environment and Development. Oxford University Press, WCED, UN, 1987.

    Google Scholar 

  12. UN. Agenda‘21. United Nations, The Rio de Janeiro, Brasil, Conference on Environment, June 14 1992.

    Google Scholar 

  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; http://hdxugoy@hkucc.hku.hk.39.

  14. International Union for the Conservation of Nature. World conservation strategy. Technical report, International Union for the Conservation of Nature, Gland, Switzerland, 1980. Report highlights sustainability of natural resources.

    Google Scholar 

  15. A.G. Levinsohn and S.J. Brown. Gis and sustainable development in natural resource management. In M. Heit and A. Shrtreid, editors, GIS Applications in Natural Resources, pages 17–21. GIS World, Inc., 1991.

    Google Scholar 

  16. Anthony Gar-On YEH. Gis in decision support systems for sustainable development. In [35], 1996. Centre for Urban Planning and Environmental Management + GIS/LIST Research Centre, University of Hong Kong, Pokfulam Road, Hong Kong; http://hdxugoy@hkucc.hku.hk.23. A Triptych Software Development Paradigm 59

  17. U.E. Loening. Introductory comments: The challenge for the future. In A.J. Gilbert and L.C. Braat, editors, Modelling for Population and Sustainable Development, pages 11–17, London, England, 1991.Routeledge.

    Google Scholar 

  18. A. Steer and W. Wade-Grey. Sustainable development: Theory and practice for a sustainable future. Sustainable Development, 1(3):223–35, 1993.

    Article  Google Scholar 

  19. C. Ponting. Historical perspectives on sustainable development. Environment, (4-9):31–33, November 1990.

    Google Scholar 

  20. L.K. Caldwell. Political aspects of ecologically sustainable development. Environmental Conservation, 11(4):299–308, 1984.

    Google Scholar 

  21. M.R. Redclift. Sustainable Development: Exploring the Contradictions. Methuen, London and New York, 1987.

    Google Scholar 

  22. S.R. Dovers and J.H. Handmer. Contradictions in sustainability. Environmental Conservation, 20(3):217–222, 1993.

    Article  Google Scholar 

  23. Nicholas Georgescu-Roegen. The Entropy Law and the Economic Process. Harvard University Press, Cambridge, 1971.

    Google Scholar 

  24. Julian Simon. The Ultimate Resource. Princeton University Press, Princeton, N.J., 1981.

    Google Scholar 

  25. B.J. Brown, M.E. Hanson, D.M. Liverman, and R.W. Meredith Jr. Global sustainability: Toward definition. Environmental Management, 11(6):713–719, 1987.

    Article  Google Scholar 

  26. Apic. Apic news: Le journal d‘xapic systems. Technical Report 6, Apic Systems, 25,_ rue de Stalingrad, F-94742 Arcueil, Cedex, France, 1995.

    Google Scholar 

  27. Environmental Systems Research Institute (ESRI). Understanding GIS: The ARC/INFO Methods. Number Version 7 for UNIX and Open VMS. GeoInformation International, 307 Cambridge Science Park, Milton Road, Cambridge, CB4 4ZD, United Kingdom, 3 edition, 1995.

    Google Scholar 

  28. Environmental Systems Research Institute. Introducing arcview. Manual, Environmental Systems Research Institute (ESRI), ESRI Inc. 380 New York Street, Redlands, California 92373-2853, USA, 1994.

    Google Scholar 

  29. Earth Resource Mapping. Er mapper 5.0-product information. Literature with demo version, Earth Resource Mapping, Level 2, 87 Colin Street, West Perth, Western Australia, 6005, 17 January 1995.

    Google Scholar 

  30. J. Ronald Eastman. Idrisi for windows. User’s Guide Version 1.0, Clark Labs for Cartographic Technology and Geographic Analysis, Clark University 950 Main St., Worcester, MA 01610-1477 USA, May 1995.

    Google Scholar 

  31. INTERGRAPH. Geographic information systems. Product info. folder, Intergraph Corporation, One Madison Industrial Park, Huntsville Albama 35807-4210, USA, 1995.

    Google Scholar 

  32. MapInfo. Mapinfo reference. Reference manual version 3.0, MapInfo Corporation, One Global View, Troy, New York 12180-8399, 1994.

    Google Scholar 

  33. UNSTAT/DESIPA. Popmap: Integrated software package for geographical information, maps and graphics databases ­ user’s guide and reference manual. Technical Report ST/ESA/STAT/107, Department for Economic and Social Information and Policy Analysis, Statistical Division (UNSTAT), United Nations, New York, New York 10017, USA, 1994.

    Google Scholar 

  34. CELADE/ECLAC. Redatam-plus version 1.1. User’s Manual Distr. GENERAL: LC/DEM/G.90 Series A, Nr. 201, Latin American Demographic Centre (CELADE)/United Nations Economic Commission for Latin American and Caribbean (ECLAC), Casilla 91, Santiago, Chile, December 1991.

    Google Scholar 

  35. Dines Bjørner, Zbigniew Mikolajuk, Mohd Rais, and Anthony Gar On Yeh, editors. Decision Support Systems for Environmentally Sustainable Development — Software Technology for Agenda‘21, UNU/IIST, P.O.Box 3058, Macau, February 25 — March 8 1996. IDRC (International Development Research Centre, Ottawa, Canada) and UNU/IIST (United Nations University, International Institute for Software Technology), UNU/IIST. Unpublished Workshop Hand­outs. (Workshop co-sponsored by IDRC: The Canadian Governments ‘Intl. Devt. Research Centre, Ottawa.)

    Google Scholar 

  36. P.A.V. Hall, D. Bjørner, and Z. Mikolajuk (eds.). Decision Support Systems for Sustainable Develpoment: Experience and Potential. Position Paper 80, UNU/IIST, P.O.Box 3058, Macau, August 1996. International workshop on Decision Support Systems for Environmentally Sustainable Development — Software Technology for Agenda‘21 co­sponsored by IDRC: The Canadian Governments ‘Intl. Devt. Research Centre, Ottawa.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Information Technology, The Technical University of Denmark, DK, 2800, Lyngby, Denmark

    Dines Bjørner

Authors
  1. Dines Bjørner
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Fachbereich Informatik, Universität Oldenburg, Postfach 2503, D-26111, Oldenburg, Germany

    Ernst-Rüdiger Olderog

  2. Fachbereich Informatik, Universität Dortmund, Baroper Str. 301, D-44221, Dortmund, Germany

    Bernhard Steffen

Rights and permissions

Reprints and permissions

Copyright information

© 1999 Springer-Verlag Berlin Heidelberg

About this chapter

Cite this chapter

Bjørner, D. (1999). A Triptych Software Development Paradigm: Domain, Requirements and Software Towards a Nodel Development of a Decision Support System for Sustainable Development. In: Olderog, ER., Steffen, B. (eds) Correct System Design. Lecture Notes in Computer Science, vol 1710. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-48092-7_2

Download citation

  • DOI: https://doi.org/10.1007/3-540-48092-7_2

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-66624-0

  • Online ISBN: 978-3-540-48092-1

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation