Title :
The requirements and framework for the general intensional programming system
Author :
Paquet, Joey ; Wu, Ai Hua
Author_Institution :
Concordia Univ., Montreal, Que., Canada
Abstract :
Intensional programming is a declarative programming paradigm that involves the programming of expressions placed in an inherently multidimensional context space. It is an emerging and evolving domain of very general application. The general intensional programming system (GIPSY) aims at the development of a programming system that would allow very dynamic investigations on the possibilities of intensional programming and all its widely different flavors and domains of application. Requirement as a key driver to any systems or software effort, it provides the basis for all of the following development work by R. R. Young (2001). Capture effective requirements is human activity works on a system design. This work focuses on the requirements capturing for the GIPSY system, the method to achieve the requirements, and considering each effective requirements practices in the context of our current work.
Keywords :
formal specification; logic programming; systems analysis; GIPSY system; declarative programming; expression programming; general intensional programming system; multidimensional context space; system design; system requirements; Application software; Computer languages; Dynamic programming; Filters; Humans; Multidimensional systems; Programming environments; Prototypes; Software systems; Yarn;
Conference_Titel :
Computer Supported Cooperative Work in Design, 2004. Proceedings. The 8th International Conference on
Print_ISBN :
0-7803-7941-1
DOI :
10.1109/CACWD.2004.1349273