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…

Describes a computer assisted word acquisition program (CAVOCA) that tries to operationalize current theoretical thinking about second language vocabulary acquisition. Its contents are based on a systematic inventory of the vocabulary relevant for the target group. To test its efficacy, the program was contrasted in a number of experimental…

Considers issues involving deregulation and freedom of speech on the Internet versus government regulation and licensing. Discusses a case in Texas that challenged a software program offering legal advice; and a federal regulatory agency's attempt to regulate the opinions and content of newsletters, Web site publishers, and related software. (LRW)

Discusses software for geometric construction, measurement, and calculation, and software for numerical calculation and symbolic analysis that allows for new approaches to the solution of geometric problems. Illustrates these computer-aided graphical, numerical, and algebraic methods of solution and discusses examples using the appropriate choice…

Despite widespread enthusiasm for installing computers in schools and wiring them into the Internet, there is almost no evidence that this will raise student achievement or narrow the achievement gap. Presents descriptive statistics to discuss lesser access to computers by minority students and sex differences in computer use. (Contains 34…

Offers suggestions for using multimedia and technology to make successful presentations. Describes the contents of the multimedia administrator's toolbox, and the responsibilities of the multimedia administrator. Five figures are included. (six references) (LMI)

Evaluation of five computer-based integrated learning systems for job skill development (Autoskill, CCC, Invest, Pathfinder, and PLATO) revealed (1) the importance of context (United States vs. Canada); (2) variability of sites being more significant than variability among systems; (3) lack of information on outcomes; and (4) the need to match…

So far classroom use of the Internet has been limited to asynchronous communication, but virtual conferencing will allow real-time connections between teachers and classrooms separated by continents. This article describes virtual conferencing applications: Chat, audio- and videoconferencing, electronic white boards, application sharing, and file…

Outlines some of the developments in the use of information technology in education from the BBC Model A computer to CD-ROM and the Internet. Some examples of use are touched upon as are possibilities for the future. Emphasizes the effects of these examples on teaching and learning. (Author/ASK)

Presents the evaluation of a school technology planner, an integrated electronic performance support system for developing technology use plans (TUP). Discusses reasons teachers chose not to use the software (lack of collegial, administrative, and technological support; lack of time and mixing of district and school perspectives); ranks program…

Describes activities and benefits of a series of summer technology workshops for librarians and teachers offered by the Houston Independent School District. Sidebars list software programs provided to workshop participants, basic steps of the "Big Six" skills, and Web site search tutorial. (AEF)

According to Thomas Stewart's book, intellectual capital comprises three broad categories: human, structural, and customer. Structural, or organizational capital, is knowledge that does not leave at night (with workers, or human capital). Developing a "best practices" database using Lotus Notes software would preserve and access schools'…

Although the E-Rate has been a catalyst for school technology purchases, there are no subsidies for hiring qualified technology support staff. District technology coordinators are relying on technology support systems and shoestring survival strategies, employing standardized equipment and hard-drive configurations, desktop lockdowns, anti-virus…

Discusses the design and implementation of the Kamusi Project Edit Engine, a Web-based software system uniquely suited to the needs of Swahili collaborative lexicography. Describes the edit engine, including organization of the lexicon and the mechanics by which participants use the system, discusses philosophical issues confronted in the design,…

Notes the problem of Net-based plagiarism in student papers. Describes a solution that turns the tables by using the Internet: TurnItIn.com, an Internet scanner that annotates/marks unattributed material in student papers and compiles a report for the teacher overnight. (SR)