Proceedings of the November 1995 conference. Topics include complex and dependable real-time systems; formal methods; language, tools, and environments; systems and software engineering; advanced applications such as imaging; database systems and integration frameworks; scheduling issues; specification and reasoning; object orientation and modeling; testing and assessment; and heterogeneous systems. No index. Annotation c. by Book News, Inc., Portland, Or.
