Informal description and analysis of geographic requirements: An approach based on problems

Software and Systems Modeling

Volumn 6, Issue 3, 2007, Pages 223-245

  Nelson, Maria Augusta V ^a   Alencar, Paulo S C ^b   Cowan, Donald D ^b  

^a PONTIFICAL CATHOLIC UNIVERSITY OF MINAS GERAIS   (Brazil)

^b UNIVERSITY OF WATERLOO   (Canada)

Author keywords

[No Author keywords available]

Indexed keywords

DATA DESCRIPTION; DATA STRUCTURES; GEOGRAPHIC INFORMATION SYSTEMS; PROBLEM ORIENTED LANGUAGES; QUERY LANGUAGES;

GEOGRAPHIC APPLICATIONS; GEOGRAPHIC SUBPROBLEMS;

SOFTWARE ENGINEERING;

EID: 34548011953     PISSN: 16191366     EISSN: 16191374     Source Type: Journal    
DOI: 10.1007/s10270-006-0031-y     Document Type: Article

References (52)

1. Alencar P.S.C., Cowan D.D., Grove T.R., Mayfield C.I., Nelson M.A.V.: An approach to hypermap-based applications. In: Environmental Software Systems/Proceedings of the Second International Symposium on Environmental Software Systems - ISESS'97, Vol. 2, pp. 244-251. Whistler, Canada (1997)
2. Antón A.: Goal-based requirements analysis. In: Proceedings of the Second IEEE International Conference on Requirements Engineering(ICRE'96), pp. 136-144 (1996)
3. Bédard Y. (1999) Visual modelling of spatial databases: Towards spatial PVL and UML. Geomatica 53(2): 169-186
4. Bédard Y., Caron C., Maamar Z., Moulin B. (1996.) Adapting data models for the design of spatio-temporal databases. Comput. Environ. Urban Syst. 20(1): 19-41
5. Berry D.M. (2003) More requirements engineering adventures with building contractors. Requirem. Eng. J. 8(2): 142-146
6. Booch G., Rumbaugh J., Jacobson I. (1998) Unified Modeling Language User Guide. Addison-Wesley, New York
7. Borges K.A.V., Davis C.A., Laender A.H.F. (2001) OMT-G: An object-oriented data model for geographic applications. GeoInformatica 5(3): 221-260
8. Borges K.A.V., Laender A.H.F., Davis C.A.: Spatial data integrity constraints in object oriented geographic data modeling. In: ACM-GIS'99, Proceedings of the 7th International Symposium on Advances in Geographic Information Systems, November 2-6, 1999, Kansas City, pp. 1-6. ACM, New York (1999)
9. Calkins H.: Entity relationship modeling of spatial data for geographic information systems. Technical Report, National Center for Geographic Information and Analysis (1996)
10. Coad P., Yourdon E. (1991) Object-Oriented Analysis, 2nd edn. Prentice Hall, London
11. Davis A.M. (1993) Software Requirements: Objects, functions and states. Prentice-Hall International, Englewood Cliffs
12. Lisboa F.J., Iochpe C.: Specifying analysis patterns for geographic databases on the basis of a conceptual framework. In: ACM-GIS'99, Proceedings of the 7th International Symposium on Advances in Geographic Information Systems, November 2-6, 1999, Kansas City, pp. 7-13. ACM, New York (1999)
13. Friis-Christensen A., Tryfona N., Jensen C.S.: Requirements and research issues in geographic data modeling. In: Proceedings of the Ninth ACM International Symposium on Advances in Geographic Information Systems, pp. 2-8. ACM Press, New York (2001)
14. Gause D.C., Weinberg G.M. (1991) Exploring Requirements: Quality Before Design. Dorset House, New York
15. Gervasi V., Nuseibeh B. (2002) Lightweight validation of natural language requirements. Softw. Pract. Exp. 32(2): 113-133
16. Gunter C.A., Gunter E.L., Jackson M., Zave P. (2000) A reference model for requirements and specifications. IEEE Soft. 17(3): 37-43
17. Günther O., Riekert W.F. (1993) The design of GODOT: An object-oriented geographic information system. IEEE Data Eng. Bull. 16(3): 4-9
18. Güting R.H., Graph D.B.: Modeling and querying graphs in databases. In: Bocca J.B., Jarke M., Zaniolo C. (eds.) 20th International Conference on Very Large Data Bases, September 12-15. Santiago, Chile, pp. 297-308, Los Altos. Morgan Kaufmann Publishers, San Francisco (1994)
19. Hadzilacos T., Tryfona N. (1997) An extended entity-relationship model for geographic applications. SIGMOD Record 26(3): 24-29
20. Hall J., Rapanotti L., Jackson M. (2005) Problem frame semantics for software development. Softw. Syst. Model. 4(2): 189-198
21. Hamil D.: Your Mission, Should You Choose To Accept It: Project Management Excellence. Spatial News, Geo Community, 2001. http:// spatialnews.geocomm.com/features/mesa1/hamil1.pdf
22. Heitmeyer C.L., Jeffords R.D., Labaw B.G. (1996) Automated consistency checking of requirements specifications. ACM Trans. Softw. Eng. Methodol. 5(3): 231-261
23. Iles J.: Why some watershed plans can end up on the shelf. Buckeye Basins Newsletter, Ohio State University Extension, USA, Summer 2002. http://east.osu.edu/anr/Buckeye
24. Jackson M. (1995) Software Requirements & Specifications - a lexicon of practice, principles and prejudices. ACM Press and Addison Wesley, New York
25. Jackson M.: The world and the machine. In: Proceedings: 17th International Conference on Software Engineering, pp. 283-292. IEEE Computer Society Press/ACM Press, New York (1995)
26. Jackson. M. (1999) Problem analysis using small problem frames. S. Afr. Comput. J. (22): 47-60
27. Jackson M. (2000) Problem Frames - Analyzing and structuring software development problems. ACM Press and Addison Wesley, New York
28. Jackson M., Zave P.: Domain descriptions. In: Proceedings of the IEEE International Symposium on Requirements Engineering, Re'93, pp. 56-64. IEEE Computer Society Press, New York (1993)
29. Jackson M., Zave P.: Deriving specifiAations from requirements: an example. In: Proceedings: 17th International Conference on Software Engineering, pp. 15-24. IEEE Computer Society Press/ACM Press, New York (1995)
30. Kamsties E., Berry D.M., Paech B.: Detecting ambiguities in requirements documents using inspections. In: Proceedings of Workshop on Inspections in Software Engineering (WISE'01), pp. 68-80, Paris, France, 2001. Software Quality Research Lab, McMaster University, Hamilton, Canada (2001)
31. Kösters G., Pagel B., Six H.: GeoOOA: Object-Oriented Analysis for Geographic Information Systems. In: Proceedings of the Second International Conference on Requirements Engineering, Colorado, pp. 245-253. IEEE Computer Society Press, New York (1996)
32. Kosters G., Pagel B.-U., Six H.W. (1997) GIS-application development with GeoOOA. Int. J. Geograph. Inf. Sci. 11(4): 307-335
33. Kovitz B.(1998) Practical Software Requirements - a manual of content and style. Manning Publications Co., Greenwich
34. Maguire D.J. (1991). An Overview and Definition of GIS. In: Maguire D.J., Goodchild M.F., Rhind D.W. (eds) Geographical Information Systems: principles and applications. Longman Scientific & Technical, London, pp. 9-20
35. Maiden N.A.M. (1998) CREWS-SAVRE: Scenarios for acquiring and validating requirements. Automated Softw. Eng. Int. J. 5(4): 419-446
36. Muehrcke P.C., Muehrcke J.O. (1998) Map Use - Reading, Analysis and Interpretation, 4th edn. JP Publications, Brisbane
37. Nelson M.A.V.: Multi-frame approach to formal requirements specification of geographical applications. In: Proceedings of the Doctoral Symposium of Fourth IEEE International Symposium on Requirements Engineering, pp. 31-34 (1999)
38. Nelson M.A.V.: A Problem-Oriented Approach to Description and Analysis of Geographic Requirements. PhD Thesis, University of Waterloo, Waterloo, Ontario, Canada, 2003. http://www.inf.pucminas.br/professores/ guta/thesis/thesis.pdf
39. Nelson M.A.V., Cowan D.D., Alencar P.S.C.: Geographic problem frames. In: Proceedings of the Fifth IEEE International Symposium on Requirements Engineering, pp. 306-307 (2001)
40. Nelson M.A.V., Alencar P.S.C., Cowan D.D. (2001) An approach to formal specification and verification of map-centered applications. Environ. Model. Softw. 16(5): 459-465
41. Nuseibeh B., EasterbAook S.: Requirements engineering: a roadmap. In: Proceedings of the Conference on The Future of Software Engineering, pp. 35-46. ACM Press, New York (2000)
42. Oliveira J.L., Pires F., Medeiros C.M.B. (1997) An environment for modeling and design of geographic applications. GeoInformatica 1(1): 29-58
43. Openshaw S., Cross A., Charlton M., Brunsdon C.: Lessons learnt from a post mortem of a failed GIS. In: Proceedings of the Association for Geographic Information Conference. AGI, Alexandria (1990)
44. Parent C., Spaccapietra S., Zimányi E.: Spatic-temporal conceptual models: Data structures + space + time. In: ACM-GIS '99, Proceedings of the 7th International Symposium on Advances in Geographic Information Systems, November 2-6, 1999, Kansas City, pp. 26-33. ACM (1999)
45. Prieto-Diaz R., Arango C. (1989) Domain Analysis: Acquistion of Reusable Information for Software Construction. IEEE Computer Society Press, New York
46. Rumbaugh J., Blaha M., Premerlani W., Eddy F., Lorensen W. (1991) Object-oriented Modeling and Design. Prentice Hall, Englewood Cliffs
47. Santos I., Carvalho J.A.: An assessment of the applicability of object-oriented analysis to the development of information systems. In: Proceedings: 2nd International Conference on Requirements Engineering, pp. 238-244. IEEE Computer Society Press, New York (1996)
48. Shekhar S., Coyle M., Goyal B., Liu D., Sarkar S. (1997) Data models in geographic information systems. Commun. ACM 40(4): 103-111
49. Tryfona N., Jensen C.S. (1999) Conceptual data modeling for spatiotemporal applications. GeoInformatica 3(3): 245-268
50. Tryfona N., Pfoser D., Hadzilacos T.: Modeling behavior of geographic objects: An experience with the object modeling technique. In: Proceedings of the Ninth International Conference on Advanced Information Systems Engineering CAiSE'97, pp. 347-359, Barcelona, Spain (1997)
51. van Lamsweerde A., Letier E., Darimont R. (1998) Managing conflicts in goal-driven requirements engineering. IEEE Trans. Softw. Eng. 24(11): 908-926
52. Zave P., Jackson M. (1997) Four dark corners of requirements engineering. ACM Trans. Softw. Eng. Methodol. (TOSEM) 6(1): 1-30