The proceedings of a conference sponsored by the ACM, the IEE Computer Society and AFCET. The theme of the papers in this book is "building a foundation for the future", and they present a selection of research results and workshop reports, surveys, panels and forward-looking plenary addresses.
Sprache
Verlagsort
Zielgruppe
Für höhere Schule und Studium
Für Beruf und Forschung
Maße
ISBN-13
978-0-8186-2026-3 (9780818620263)
Copyright in bibliographic data is held by Nielsen Book Services Limited or its licensors: all rights reserved.
Schweitzer Klassifikation
Process models; formal verification; recent advances in metrics; real-time and reactive systems; environments; metrics and reliability; software engineering; experience reports; tools for formal verification; recent advances in object management systems; prototyping; design and architecture; real-life safety-critical software; AI applications to software engineering.
