Knowledge Based Tools in Software Engineering Education
A computer based laboratory on abstract algebraic specifications was designed and implemented. The lab is intended as a tool to enable software engineering students to reason about programming problems abstractly. In particular, the lab provides students
- PDF / 33,861,749 Bytes
- 318 Pages / 439.37 x 666.142 pts Page_size
- 15 Downloads / 209 Views
Plenum Publishing Corporation London and New York
C Mathematical and Physical Sciences o Behavioural and Social Sciences E Applied Sciences
Kluwer Academic Publishers Dordrecht, Boston and London
F Computer and Systems Sciences G Ecological Sciences H Cell Biology I Global Environmental Change
Springer-Verlag Berlin Heidelberg New York London Paris Tokyo Hong Kong Barcelona Budapest
NATo-peo DATABASE The electronic index to the NATO ASI Series provides full bibliographical references (with keywords and/or abstracts) to more than 30000 contributions from international scientists published in all sections of the NATO ASI Series. Access to the NATO-PCO DATABASE compiled by the NATO Publication Coordination Office is possible in two ways: - via online FILE 128 (NATO-PCO DATABASE) hosted by ESRIN, Via Galileo Galilei, 1-00044 Frascati, Italy. - via CD-ROM "NATO Science & Technology Disk" with user-friendly retrieval software in English, French and German (© WTV GmbH and DATAWARE Technologies Inc. 1989). The CD-ROM can be ordered through any member of the Board of Publishers or through NATO-PCO, Overijse, Belgium.
Series F: Computer and Systems Sciences Vol. 111
The ASI Series Books Published as a Result of Activities of the Special Programme on ADVANCED EDUCATIONAL TECHNOLOGY
This book contains the proceedings of a NATO Advanced Research Workshop held within the activities of the NATO Special Programme on Advanced Educational Technology, running from 1988 to 1993 under the auspices of the NATO Science Committee. The books published so far as a result of the activities of the Special Programme are as follows (further details are given at the end of this volume): Vol. F 67:
Designing Hypermedia for Learning. 1990.
Vol. F 76:
Multimedia Interface Design in Education. 1992.
Vol. F 78:
Integrating Advanced Technology into Technology Education. 1991.
Vol. F 80:
Intelligent Tutoring Systems for Foreign Language Learning. 1992.
Vol. F 81:
Cognitive Tools for Learning. 1992.
Vol. F 84: Computer-Based Learning Environments and Problem Solving. 1992. Vol. F 85:
Adaptive Learning Environments: Foundations and Frontiers. 1992.
Vol. F 86:
Intelligent Learning Environments and Knowledge Acquisition in Physics. 1992.
Vol. F 87:
Cognitive Modelling and Interactive Environments in Language Learning. 1992.
Vol. F 89:
Mathematical Problem Solving and New Information Technologies. 1992.
Vol. F 90:
Collaborative Learning Through Computer Conferencing. 1992.
Vol. F 91:
New Directions for Intelligent Tutoring Systems. 1992.
Vol. F 92:
Hypermedia Courseware: Structures of Communication and Intelligent Help. 1992.
Vol. F 93:
Interactive Multimedia Learning Environments. 1992.
Vol. F 95:
Comprehensive System Design: A New Educational Technology. 1993.
Vol. F 96:
New Directions in Educational Technology. 1992.
Vol. F 97: Advanced Models of Cognition for Medical Training and Practice. 1992. Vol. F104: Instructional Models in Computer-Based Learning Environments. 1992. Vol. F105: Designing Environments for Cons
