An approach to formal specification and verification of map-centered applications

Environmental Modelling and Software

Volumn 16, Issue 5, 2001, Pages 459-465

  Nelson, M A V ^a   Alencar, P S C ^a   Cowan, D D ^a  

^a UNIVERSITY OF WATERLOO   (Canada)

Author keywords

Domain specific languages; Formal methods; Map centered applications; Specification

Indexed keywords

COMPUTATIONAL LINGUISTICS; DATA REDUCTION; DATA STRUCTURES; FORMAL LANGUAGES; GEOGRAPHIC INFORMATION SYSTEMS; IMAGE ANALYSIS; MATHEMATICAL MODELS;

MAP-CENTERED APPLICATIONS; SPACE MODELS;

INFORMATION RETRIEVAL SYSTEMS;

EID: 0035009305     PISSN: 13648152     EISSN: None     Source Type: Journal    
DOI: 10.1016/S1364-8152(01)00017-2     Document Type: Article

References (14)

1. ACM SIGPLAN (Ed.), 1997. Proceedings of the Workshop on Domain Specific Languages. Proceedings of DSL '97, University of Illinois Computer Science Report. Website: www-sal.cs.uiuc.edu/˜kamin/dsl.
2. Alencar, P.S.C., Cowan, D.D., Grove, T.R., Mayfield, C.I., Nelson, M.A.V., 1997. An approach to hypermap-based applications. In: Environmental Software Systems/Proceedings of the Second International Symposium on Environmental Software Systems - ISESS '97, volume 2, pp. 244-251, Canada. Published by Chapman & Hall on behalf of the International Federation for Information Processing (IFIP), London, 1997.
3. Belina F., Hogrefe D. The CCITT-specification and description language SDL. Computer Networks and ISDN Systems. 16(4):1989;311-341.
4. Câmara G., Souza R.C.M., Freitas U.M., Garrido J. SPRING: Integrating remote sensing and GIS by object-oriented data modelling. Computers and Graphics. 20(3):1996;395-403.
5. Jackson M. Software Requirements and Specifications - A Lexicon of Practice, Principles and Prejudices. 1995;ACM Press and Addison Wesley, New York.
6. Kosters G., Pagel B.-U., Six H.-W. GIS-application development with GeoOOA. International Journal of Geographical Information Science. 11(4):1997;307-335.
7. Maguire D.J. An overview and definition of GIS. Maguire D.J., Goodchild M.F., Rhind D.W. editors, Geographical Information Systems: Principles and Applications. 1991;9-20 Longman Scientific and Technical, London.
8. Smith T.R., Park K.K. Algebraic approach to spatial reasoning. International Journal of Geographical Information Systems. 6(3):1992;177-192.
9. Spivey J.M. The Z Notation: A Reference Manual, International Series in Computer Science. 2nd ed. 1992;Prentice-Hall, New York.
10. Tryfona N., Pfoser D., Hadzilacos T. Modeling behavior of geographic objects: an experience with the object modeling technique. Proceedings of the Ninth International Conference on Advanced Information Systems Engineering (CAiSE'97), Barcelona, Spain. 1997;347-359 Springer-Verlag, New York.
11. Tulloch I.M. Domain specific languages (including an introduction to HEAL). Technical Report SE-01-94. 1994;Department of Computer Science, University of Strathclyde, Glasgow.
12. Wing J.M. Study of 12 specifications of the library problem. IEEE Software. 5(4):1988;66-76.
13. Worboys M.F. GIS: A Computing Perspective. 1995;Taylor and Francis, London.
14. Worboys M.F., Hearnshaw H.M., Maguire D.J. Object-oriented data modelling for spatial databases. International Journal of Geographical Information Systems. 4:1990;369-383.