This paper describes the design and implementation of a computer-assisted learning tool to support the learning environment provided for postgraduate students following courses in Information Technology. The tool is c...
This paper describes the design and implementation of a computer-assisted learning tool to support the learning environment provided for postgraduate students following courses in Information Technology. The tool is called 'ICITT' - an acronym for Interactive Computerized Information Technology Tutor. The paper presents the unique aspects of this tool and the overall educational benefits of the system are briefly discussed.
This paper is based on a project which was funded under the EU DELTA research initiative with participating partners from the UK, The Netherlands, Germany and Ireland. It describes the purpose, design and development ...
This paper is based on a project which was funded under the EU DELTA research initiative with participating partners from the UK, The Netherlands, Germany and Ireland. It describes the purpose, design and development of a knowledge-based computer system that addresses Training Needs Analysis (TNA). The consortium of industrialists and academics designed and built an innovative software tool which gives accurate and consistent advice regarding training requirements for an organisation's personnel. To create this tool, knowledge engineers methodically interviewed and elicited knowledge from several experts in the domain of human training and development. The final system entailed representing the underlying knowledge structures and concepts of the training needs analysis process. The application was constructed to represent training needs analysis decision making and the system and interface were built using Visual Basic. The final application has been critically evaluated by end-users at several test sites across Europe.
Summary form only given. Distance education enables students who are unable to attend classes on a regular basis (for reasons such as work or family commitments, disability or geographical location) to complete degree...
详细信息
Summary form only given. Distance education enables students who are unable to attend classes on a regular basis (for reasons such as work or family commitments, disability or geographical location) to complete degrees in their own time and at their own preferred location. While providing these study opportunities has been the primary reason that universities have specialized in distance learning, increasingly educational institutions are viewing distance learning as a means of broadening their student base, often in answer to political pressures. Before deciding to offer courses at a distance, consideration must be given to: how, by whom and for whom the courses will be developed; what professional support is needed and available to assist with development; the support structures that will be put in place for the students; the logistics and mechanics of assessment; the equipment and software to which the students must have access; the courses that will benefit from integrating technologies in their preparation and teaching; what is a reasonable class size; and so forth. Today consideration must be given also to the costs and benefits of: multimedia; interactive distance learning via satellites; and computer mediated courses. This paper considers aspects of these issues from various perspectives.
It is suggested that Category Theory provides the right level of mathematical abstraction to address languages for describing software architectures. Contrarily to most other formalisations of SA concepts, Category Th...
ISBN:
(纸本)0818673613
It is suggested that Category Theory provides the right level of mathematical abstraction to address languages for describing software architectures. Contrarily to most other formalisations of SA concepts, Category Theory does not promote any particular formalism for component and connector description but provides instead the very semantics of the concepts that are related to the gross modularisation of complex systems like "interconnection", "configuration", "instantiation" and "composition". Two examples, a category of programs for a parallel program design language and a category of temporal logic specifications, together with comparisons with other work, namely by Allen and Garlan, and Moriconi and Qian, are adduced to justify this claim.
It is suggested that category theory provides the right level of mathematical abstraction to address languages for describing software architectures. Contrarily to most other formalisations of SA concepts, category th...
详细信息
It is suggested that category theory provides the right level of mathematical abstraction to address languages for describing software architectures. Contrarily to most other formalisations of SA concepts, category theory does not promote any particular formalism for component and connector description but provides instead the very semantics of the concepts that are related to the gross modularisation of complex systems like "interconnection": "configuration", "instantiation" and "composition": Two examples, a category of programs for a parallel program design language and a category of temporal logic specifications, together with comparisons with other work, namely by R. Allen and D. Garlan (1994), and M. Moriconi and X. Qian (1994), are adduced to justify this claim.
It is suggested that Category Theory provides the right level of mathematical abstraction to address languages for describing software architectures. Contrarily to most other formalisations of SA concepts, Category Th...
ISBN:
(纸本)9780818673610
It is suggested that Category Theory provides the right level of mathematical abstraction to address languages for describing software architectures. Contrarily to most other formalisations of SA concepts, Category Theory does not promote any particular formalism for component and connector description but provides instead the very semantics of the concepts that are related to the gross modularisation of complex systems like "interconnection", "configuration", "instantiation" and "composition". Two examples, a category of programs for a parallel program design language and a category of temporal logic specifications, together with comparisons with other work, namely by Allen and Garlan, and Moriconi and Qian, are adduced to justify this claim.
In this position paper, we give a critical analysis of the deductive and inductive approaches to program synthesis, and of the current research in these fields. From the shortcomings of these approaches and works, we ...
详细信息
We address the hierarchical (vertical) decomposition, or abstract implementation, of object specification in temporal logic. Whereas previous approaches to refinement in the context of temporal logic such as those dev...
详细信息
暂无评论