Outlines the results of a survey of the post-graduate experiences of library technicians enrolled in a Bachelor of science in Library Technology in Australia. Aim and structure of the course; Factors motivating studen...
详细信息
Outlines the results of a survey of the post-graduate experiences of library technicians enrolled in a Bachelor of science in Library Technology in Australia. Aim and structure of the course; Factors motivating students for enrolling in the course; Contribution of the course to the change of employment status.
This paper presents a modelling language, called MoDeST, for describing the behaviour of discrete event systems. The language combines conventional programming constructs – such as iteration, alternatives, atomic sta...
详细信息
This paper is an informal tutorial on stochastic process algebras, i.e., process calculi where action occurrences may be subject to a delay that is governed by a (mostly continuous) random variable. Whereas most stoch...
详细信息
We describe a successful implementation of a theorem prover for modal logic S4 that runs on a Java smart card with only 512 KBytes of RAM and 32KBytes of EEPROM. Since proof search in S4 can lead to infinite branches,...
详细信息
This paper reports on the implementation and the experiments with symbolic model checking of continuous-time Markov chains using multi-terminal binary decision diagrams (MTBDDs). Properties are expressed in Continuous...
详细信息
The use of concurrency simulators for teaching concurrent programming is discussed. A concurrency simulator is better than a standard concurrent language for introductory courses, as it provides fine-grained control o...
详细信息
The use of concurrency simulators for teaching concurrent programming is discussed. A concurrency simulator is better than a standard concurrent language for introductory courses, as it provides fine-grained control over process scheduling. An example of a concurrent program and its results in a concurrent simulator are also given. The interleaving of all iterations in the program are also presented.
THe initiation of a Programming Preparation Course for enhancing students' preparation in a C++ programming course and their level of confidence in mastering the basics of computer programming is discussed. The co...
详细信息
THe initiation of a Programming Preparation Course for enhancing students' preparation in a C++ programming course and their level of confidence in mastering the basics of computer programming is discussed. The course is a collaborative effort of faculty in the College of Engineering and the computerscience Department. The topics used to introduce the fundamentals of programming include variables, loops and input, and function calls. The instructor team that has developed thsi course has the potential of increasing student retention in the programming course during the spring semester.
This paper/tutorial is designed to introduce participants to a variety of activity-based, cooperative techniques [1], [2], [8], [9] for enhancing learning and promoting assessment in the computerscience curriculum. S...
This paper/tutorial is designed to introduce participants to a variety of activity-based, cooperative techniques [1], [2], [8], [9] for enhancing learning and promoting assessment in the computerscience curriculum. Six different active learning structures for achieving increased student involvement and professor assessment of outcomes [1] will be explained and demonstrated with audience participation. The advantages, disadvantages, flexibility, timing,@labor costs@, and sequencing of these techniques will be highlighted. Examples of using each of the six methods will be taken from actual classroom materials/practices used by the author in an Oracle based senior database class, a programming language course, a junior software engineering class, and an introductory structured programming class for non-majors.
In this paper we report on the construction of a tool for conformance testing based on Spin. The Spin tool has been adapted such that it can derive the building blocks for constructing test cases, called test primitiv...
详细信息
暂无评论