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)
"Sinopsis" puede pertenecer a otra edición de este libro.
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"
"Sobre este título" puede pertenecer a otra edición de este libro.
EUR 10,23 gastos de envío desde Japon a Estados Unidos de America
Destinos, gastos y plazos de envíoLibrería: Corner of a Foreign Field, Tokyo, TOKYO, Japon
Soft cover. Condición: Very Good. No Jacket. 1st Edition. 2000.Softcover.Very good condition.242 pages.Text in English.Ships from Japan.Usually ships in 1-2 working days. Nº de ref. del artículo: 2297
Cantidad disponible: 1 disponibles