Ieee's Books

Application of the single-failure criterion to the electrical power, instrumentation, and control portions of nuclear power generating station safety systems is covered in this standard.

Twenty-five papers presented at the October 1999 conference are grouped into sessions having the broad topics of software synthesis, requirements elicitation, reuse, test synthesis, analysis, verification, transformation, architecture, and automated testing. Among the topics are data mining library reuse patterns in user-selected applications, industrial applications of software synthesis via category theory, automated translation of UML models of architectures for verification and simulation using SPIN, verification of picture generated code, evolving object-oriented designs with refactorings, automatically detecting mismatches during component-based and model-based development, and an overview of Lutess: a specification- based tool for testing synchronous software. There are also 25 short papers that represent novel work not yet fully mature. No subject index. Annotation copyrighted by Book News, Inc., Portland, OR.

Additional computer specific requirements to supplement the criteria and requirements of IEEE Std 603-1998 are specified. Within the context of this standard, the term computer is a system that includes computer hardware, software, firmware, and interfaces. The criteria contained herein, in conjunction with criteria in IEEE Std 603-1998, establish minimum functional and design requirements for computers used as components of a safety system.

This standard defines recommended practices for Web page engineering. It addresses the needs of Webmasters and managers to effectively develop and manage World Wide Web projects (internally via an intranet or in relation to specific communities via an extranet). This standard discusses life cycle planning: identifying the audience, the client environment, objectives, and metric, and continues with recommendations on server considerations, and specific Web page content. IEEE Std 2001-1999 defines conformance for both Web pages and tools that generate Web pages. This document is entended to reduce site-management costs, reduce legal risks, facilitate user satisfaction, and increase the productivity of Web applications for both maintainers and users.

Book's by Ieee

IEEE Standard Application of the Single-failure Criterion to Nuclear Power Generating Station Safety Systems

IEEE Standard Application of the Single-failure Criterion to Nuclear Power Generating Station Safety Systems

The 14th IEEE International Conference on Automated Software Engineering

The 14th IEEE International Conference on Automated Software Engineering

IEEE Standard Criteria for Digital Computers in Safety Systems of Nuclear Power Generating Stations

IEEE Standard Criteria for Digital Computers in Safety Systems of Nuclear Power Generating Stations

IEEE Recommended Practice for Internet Practices

IEEE Recommended Practice for Internet Practices

Username

Password

Username

Password

Password again

Birthday

Email