2000 Engineering Complex Computer Sys 6th Conf Int - Softcover

Softcover

ISBN 10: 076950583X ISBN 13: 9780769505831

Verlag: IEEE Computer Society Press,U.S., 2000

Inhaltsangabe

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 c. Book News, Inc., Portland, OR (booknews.com)

Über diesen Titel

Reseña del editor

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"

Details zur Ausgabe

• Verlag: IEEE Computer Society Press,U.S.
• Erscheinungsdatum: 2000
• ISBN 10: 076950583X
• ISBN 13: 9780769505831
• Einband: Tapa blanda
• Sprache: Englisch
• Kontakt zum Hersteller: Nicht verfügbar