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.
Keywords
- Sustainable Development
- Decision Support System
- Software Architecture
- Equity Function
- Geographic Information System
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
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.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
The RAISE Language Group. The RAISE Specication Language. The BCS Practitioner Series. Prentice-Hall, Hemel Hampstead, England, 1995.
The RAISE Method Group. The RAISE Method. The BCS Practitioner Series. Prentice-Hall, Hemel Hampstead, England, 1992.
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.
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.
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.
Dines Bjørner. Pinnacles of Software Engineering: 25 Years of Formal Methods. Annals of Software Engineering, 1999. Editors: Dilip Patel and Wang YingYu.
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.
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.
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.
John Fitzgerald and Peter Gorm Larsen. Developing Software using VDMSL. Cambridge University Press, The Edinburgh Building, Cambridge CB2 1RU, England, 1997.
Gro Harlem Brundtland, editor. Our Common Future. World Commision on Environment and Development. Oxford University Press, WCED, UN, 1987.
UN. Agenda‘21. United Nations, The Rio de Janeiro, Brasil, Conference on Environment, June 14 1992.
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.
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.
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.
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
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.
A. Steer and W. Wade-Grey. Sustainable development: Theory and practice for a sustainable future. Sustainable Development, 1(3):223–35, 1993.
C. Ponting. Historical perspectives on sustainable development. Environment, (4-9):31–33, November 1990.
L.K. Caldwell. Political aspects of ecologically sustainable development. Environmental Conservation, 11(4):299–308, 1984.
M.R. Redclift. Sustainable Development: Exploring the Contradictions. Methuen, London and New York, 1987.
S.R. Dovers and J.H. Handmer. Contradictions in sustainability. Environmental Conservation, 20(3):217–222, 1993.
Nicholas Georgescu-Roegen. The Entropy Law and the Economic Process. Harvard University Press, Cambridge, 1971.
Julian Simon. The Ultimate Resource. Princeton University Press, Princeton, N.J., 1981.
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.
Apic. Apic news: Le journal d‘xapic systems. Technical Report 6, Apic Systems, 25,_ rue de Stalingrad, F-94742 Arcueil, Cedex, France, 1995.
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.
Environmental Systems Research Institute. Introducing arcview. Manual, Environmental Systems Research Institute (ESRI), ESRI Inc. 380 New York Street, Redlands, California 92373-2853, USA, 1994.
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.
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.
INTERGRAPH. Geographic information systems. Product info. folder, Intergraph Corporation, One Madison Industrial Park, Huntsville Albama 35807-4210, USA, 1995.
MapInfo. Mapinfo reference. Reference manual version 3.0, MapInfo Corporation, One Global View, Troy, New York 12180-8399, 1994.
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.
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.
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 Handouts. (Workshop co-sponsored by IDRC: The Canadian Governments ‘Intl. Devt. Research Centre, Ottawa.)
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 cosponsored by IDRC: The Canadian Governments ‘Intl. Devt. Research Centre, Ottawa.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights 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