Engineering of Complex Computer Systems (Iceccs 2000): 6th IEEE International Conference - Softcover
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.
Search results for Engineering of Complex Computer Systems (Iceccs 2000):...
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
Buy Used
US$ 110.00
US$ 12.00 shipping
Ships from Japan to U.S.A.
Ships from Japan to U.S.A.
Quantity: 1 available