Seventh IEEE International Conference on Engineering of Complex Computer Systems: Proceedings : Skövde, Sweden, June 11-13, 2001
Sten F. Andler, Michael Gerard Hinchey, Jeff Offutt
IEEE Computer Society, 2001 - Computers - 281 pages
Contributions are arranged into 12 sessions, which include real-time issues; a panel discussion focusing on issues with Web site software; formal issues; industrial experiences; a panel addressing dependability in industrial systems and risk management of complex systems; architecture; testing; and analysis and modeling. The table of contents lists three keynotes speeches, but only one of them is presented (F. Dahlgren's discussion of the design challenges involved in future mobile phones). The other two consist only of a brief abstract and several paragraphs about the authors, curiously omitting the text of the keynote speech itself. Contributors primarily consist of researchers from Europe, Asia, and North America. Lacks a subject index. c. Book News Inc.
What people are saying - Write a review
We haven't found any reviews in the usual places.
A Model for RealTime System Specification
TILCOX an Extension of TILCO Temporal Logic
OnLine Scheduling of RealTime Distributed Computers with
16 other sections not shown
abstraction actuator aircraft algorithms analysis application approach architecture automata Bayesian probability behavior clock communication complex component-based components Computer Science configuration constraints context property corrective maintenance deﬁned deﬁnition dependence distributed domain evaluation event example execution faults Figure ﬁrst formal formula FTAM function graph hardware hybrid systems HyTech implementation input instance interactions interface International JAS 39 Gripen language layers machine translation messages method model checker module nodes Notes in Computer object operators optimal parameters performance Petri nets precedence graph present preventive maintenance problem protocol queries reachability real-time systems refinement function requirements result scenario scheduling search engines Section self-stabilization semantics sensors sequence software architecture Software Engineering Software Maintenance software systems source code speciﬁcation specify structure synchronization tasks techniques temporal logic Theorem TILCO TILCO-X tion trace transition UPPAAL variables veriﬁcation