Publisher's Synopsis
This volume covers: design patterns and frameworks; object-oriented re-engineering; migrating legacy systems; data management; high assurance and fault tolerant systems; software architecture and components; transformational formal methods; and software maintenance.