6th IEEE International Conference on Engineering of Complex Computer Systems
| Other author | IEEE Xplore (Online service) |
| Format | Electronic |
| Publication Info | Los Alamitos : IEEE Computer Society Press |
| Description | 256 p. 27.000 x 022.000 cm. |
| Supplemental Content | Full text available from IEEE Electronic Library (IEL) |
| Supplemental Content | Full text available from IEEE Electronic Library (IEL) Conference Proceedings |
| Subjects |
| Summary | Annotation Proceedings of a September 2000 conference, with papers arranged in sections on reactive systems, system modeling, network software, systems development, SOFL, testing and verification, communication and control systems, and embedded, concurrent, and distributed systems. Specific topics include cost models for electronic architecture trade studies, definitions of equivalence for transformational synthesis of embedded systems, generating test data from SOFL specifications, and an analysis tool for coupling-based integration testing. Other topics are automated result verification with AWK, engineering software for the Net, the multiple backup virtual paths reservation problem, and domain modeling of software process models. Lacks a subject index. Annotation copyrighted by Book News, Inc., Portland, OR |
| Access restriction | Available only to authorized users. |
| Technical details | Mode of access: World Wide Web |
| Genre/form | Electronic books. |
| ISBN | 9780769505831 |
| ISBN | 076950583X (Trade Paper) Active Record |
| Standard identifier# | 9780769505831 |
| Stock number | 00029433 |
Availability
| Library | Location | Call Number | Status | Item Actions |
|---|---|---|---|---|
| Electronic Resources | ✔ Available |