2000 Engineering Complex Computer Sys 6th Conf Int - Softcover

 
9780769505831: 2000 Engineering Complex Computer Sys 6th Conf Int
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)

Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.

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"

„Über diesen Titel“ kann sich auf eine andere Ausgabe dieses Titels beziehen.

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