12th IEEE International Conference on Engineering Complex Computer Systems (ICECCS 2007): Auckland, New Zealand - 10-14 July 2007

• Pubblicazione: [Place of publication not identified], : IEEE Computer Society Press, 2007
• Descrizione fisica: 1 online resource (xiv, 383 pages) : illustrations
• Disciplina: 004.21
• Soggetto topico: System design; Systems engineering
• Note generali: Bibliographic Level Mode of Issuance: Monograph
• Sommario/riassunto: The goal of this conference is to bring together industrial, academic, and government experts, from a variety of user domains and software disciplines, to report on how the disciplines' problems and solution techniques interact within the whole system. ICECCS 2007 focuses long-term research issues, near-term complex system requirements and promising tools, existing complex systems, and commercially available tools. Contents: Real-Time Systems; Modeling and Verification; Safety and Security; Context Awareness and Ubiquitous Computing; Formal Languages; Software Architecture; Addressing Complexity with Autonomic Systems; Complex Program Verifier; Advances in the FMICS-jETI Platform for Program Verification; Selected Papers from the UML 2007 & AADL 2007 Workshop.
• Titolo autorizzato: 12th IEEE International Conference on Engineering Complex Computer Systems (ICECCS 2007): Auckland, New Zealand - 10-14 July 2007
• ISBN: 1-5090-8858-X
• Formato: Materiale a stampa
• Livello bibliografico: Monografia
• Lingua di pubblicazione: Inglese
• Record Nr.: 996202057103316
• Lo trovi qui: Univ. di Salerno