An intelligent multimedia tutoring system (IMTS) is under development to support a university course on data structures in C. The IMTS is written in java and can rest on a parent canvas either designed specifically fo...
详细信息
An intelligent multimedia tutoring system (IMTS) is under development to support a university course on data structures in C. The IMTS is written in java and can rest on a parent canvas either designed specifically for it or based on a proprietary standard like a web browser or standalone application. It supports algorithms on linked lists, queues, stacks and binary search trees. The user interface is interactive with students manipulating the nodes of on-screen data structures in order to further their understanding or, in tutorial mode, to solve exercises set by the IMTS. The IMTS will respond to exercises with feedback and suggestions for further study. This paper describes our implementation of Ohlsson's (1992) constrained-based student modeling.
The state of the art talk which accompanies this entry in the WSC proceedings presents a working definition for "web-based simulation" as well as a methodology for constructing model repositories, connected ...
详细信息
The state of the art talk which accompanies this entry in the WSC proceedings presents a working definition for "web-based simulation" as well as a methodology for constructing model repositories, connected to the web. The methodology, Object-Oriented Physical Modeling (OOPM), defines a formal approach to constructing both natural and artificial systems using an extension of the classical object-oriented framework as defined in software engineering and programming language design. The extension is one where class attributes and methods can take on models as values. The end result of OOPM design is a model repository, which is integrated with the web and made available to others on the Internet so that models can be constructed in a "plug and play" fashion.
Modern embedded system designs include elements described using schematics, hardware description languages, timing diagrams, and various programming languages. We have developed a set of java applets that facilitate t...
详细信息
Modern embedded system designs include elements described using schematics, hardware description languages, timing diagrams, and various programming languages. We have developed a set of java applets that facilitate the documentation of designs for dissemination over the Web. These tools enable the specification of multiple layers of active regions on diagrams and on text so that different mouse-over comments and/or hyper-text links can be attached to elements on each layer. This layering supports multiple hierarchical views of the same design. The tools, thus provide a highly expressive and modular system for navigating design documentation. These same tools can be used to provide a medium for delivering comments on students' work. We would expect such functionality to eventually be directly supported by EDA tool vendors.
This paper describes some tools to support formal methods, and conversely some formal methods for developing such tools. We focus on distributed cooperative proving over the web. Our tools include a proof editor/assis...
详细信息
This paper describes some tools to support formal methods, and conversely some formal methods for developing such tools. We focus on distributed cooperative proving over the web. Our tools include a proof editor/assistant, servers for remote proof execution, a distributed truth protocol, an editor generator; and a new method for interface design called algebraic semiotics, which combines semiotics with algebraic specification. Some examples are given.
The educational experience of students in a Computer engineering capstone design course can be greatly enhanced by providing a framework that enables students to design devices that are accessible over the web. The fr...
详细信息
The educational experience of students in a Computer engineering capstone design course can be greatly enhanced by providing a framework that enables students to design devices that are accessible over the web. The framework consists of inexpensive hardware and software that permits the connection of arbitrary devices to a web page. Remote users can then interact with the physical device through a form-based or java-applet interface that can exploit data flow in both directions. Examples of devices that can be connected to the web range from positionable digital cameras to robots to distance-learning aids to home control devices. The contribution of this work is an inexpensive, bi-directional, public-domain method that does not require the insertion of special boards in the machine hosting the hardware nor modification to server software.
Component-based software development is associated with a shift from statement-oriented coding to system building by plugging together components. The idea is not new and some progress has been made over the past deca...
详细信息
Component-based software development is associated with a shift from statement-oriented coding to system building by plugging together components. The idea is not new and some progress has been made over the past decades. Nevertheless, today's software development practice is still far away from the vision. In recent years, the term componentware became the vogue in the software engineering community. The paper defines the relevant terms by relating the definitions to the already well-defined terms of object technology. In particular, the focus lies on a discussion of the deficiencies of the object-oriented paradigm and how componentware might solve these shortcomings.
暂无评论