Publisher's Synopsis
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