Synopsis
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)
"synopsis" may belong to another edition of this title.
Synopsis
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,
"About this title" may belong to another edition of this title.
Search results for 2000 Engineering Complex Computer Sys 6th Conf Int
Stock Image
Engineering of Complex Computer Systems (Iceccs 2000): 6th IEEE International Conference
Seller: Corner of a Foreign Field, Tokyo, TOKYO, Japan
Seller rating 5 out of 5 stars
Soft cover. Condition: 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. Seller Inventory # 2297