This paper provides operational semantics for imperative programming languages that legitimize the phraseology used in the statement and proof of a fundamental theorem of program correctness. Some of the phrases used in the theorem are normally undefined, but intuitively appealing. This paper attempts to give precise meaning to the questionable…

Describes Document Style Semantics and Specification Language (DSSSL), an international standard for the formatting and processing of SGML documents. Outlines DSSSL structure as the key to enabling interchange of formatting information in a standardized non-proprietary format, the processing model, areas of standardization, and DSSSL language.…

Discusses the need for people with object-oriented (OO) skills, explains benefits of OO in software development, and addresses some of the difficulties in teaching OO. Topics include the evolution of programming languages; differences between OO and traditional approaches; differences from data modeling; and Unified Modeling Language (UML) and…

Explores elements of folkloristics that are applicable to the understanding and construction of computer software systems and programs. Discusses a similar tension between structuralism and contextualism in the study of folkways and by examining software pattern languages in comparison with narrative functions. (Author/LRW)

ISO--International Organization for Standards highlights the activities of WG8 (Working Group 8 of ISO) in the alignment of standards for a common tree model and common query languages. Examines the how Document Style Semantics and Specification Language (DSSSL) and HyTime make documents easier to work with and more powerful in their ability to…

Examines HotJava and Java, World Wide Web technology for use on the Internet. HotJava, an interactive, animated Web browser, based on the object-oriented Java programming language, is different from HTML-based browsers such as Netscape. Its client/server design does not understand Internet protocols but can dynamically find what it needs to know.…

This report describes DVI (Digital Video Interactive) technology, current authoring languages and tools, and the reasons for developing new tools and applications. The work described was performed by Betac Corporation as part of a Phase II Small Business Innovation Research project. Section I provides background information on DVI. DVI technology…

Describes an automatic grading system for a formal methods computer science course that is able to evaluate a formal specification written in the Z language. Quality is measured by considering first, specification correctness (syntax, semantics, and satisfaction of customer requirements), and second, specification maintainability (comparison of…

The availability of digital multimedia technology poses new challenges to researchers, authors, and educators, even as it creates new opportunities for communication. VideoScheme, a prototype video programming environment is described, along with its applications in research, authoring and education. In terms of research, VideoScheme can help…

Describes and compares two methods for developing multimedia courseware for use on the Internet: an authoring tool called Shockwave, and an object-oriented language called Java. Topics include vector graphics, browsers, interaction with network protocols, data security, multithreading, and computer languages versus development environments. (LRW)

Discusses the poor technical and design quality of many Web sites and provides tips for improving quality: use meta tags; provide page sponsor identification, links back to home page, page titles; display a paragraph describing the purpose of the Web page; avoid using frames and publishing pages under construction; check language and mechanics;…

Discusses a user interface that simplifies NF Squared (non-first-normal-form) relational query formulation in which query specification remains compact and straightforward. This interface allows for nesting and general hierarchical structures and restructuring which provides for more effective retrieval and query formulation. (Author/JKP)

Describes "Glass-box Interpreter" a low-level program visualization tool called Bradman designed to provide a conceptual model of C program execution for novice programmers and makes visible aspects of the programming process normally hidden from the user. Presents an experiment that tests the efficacy of Bradman, and provides…

Various schools are struggling with the introduction of Object Oriented (OO) programming concepts and GUI (graphical user interfaces) within the traditional COBOL sequence. OO programming has been introduced in some of the curricula with languages such as C++, Smalltalk, and Java. Introducing OO programming into a typical COBOL sequence presents…

Describes a software system that allows teachers and students in practically any subject to make interactive expert systems of quizzes on the Internet. Discusses the design of the system, including building a database of questions and answers; integrating text files of questions and answers with JavaScript-HTML pages; and the JavaScript and HTML…