登入
選單
返回
Google圖書搜尋
Engineering of Computer-based Systems
IEEE Computer Society. Technical Committee on the Engineering of Computer Based Systems
出版
IEEE Computer Society Press
, 2002
主題
Computers / Interactive & Multimedia
Computers / Distributed Systems / General
Technology & Engineering / Engineering (General)
ISBN
0769515495
9780769515496
URL
http://books.google.com.hk/books?id=O7FQAAAAYAAJ&hl=&source=gbs_api
註釋
Papers from an April 2002 conference, 25 in all, report on academic achievements and industrial applications in the engineering of computer-based systems. Contributors represent some 12 countries and a variety of application domains. Papers deal with themes of requirements engineering, processes and tools, system properties and methods, modeling and analysis, system architecture, model-based system development, component-based design and reuse, embedded systems, and mobile agents. Specific topics include an intelligent agent security intrusion system, managing complex temporal requirements in real-time control systems, using category theory to model software component dependencies, and advanced Petri nets for modeling mobile agent enabled interorganizational workflows. There is no subject index. Annotation copyrighted by Book News Inc., Portland, OR.
