02253oam 2200445zu 450 991014272170332120241212215512.09781509088584150908858X(CKB)1000000000331064(SSID)ssj0000454895(PQKBManifestationID)12161054(PQKBTitleCode)TC0000454895(PQKBWorkID)10398981(PQKB)10079517(NjHacI)991000000000331064(EXLCZ)99100000000033106420160829d2007 uy engur|||||||||||txtccr12th IEEE International Conference on Engineering Complex Computer Systems (ICECCS 2007): Auckland, New Zealand - 10-14 July 2007[Place of publication not identified]IEEE Computer Society Press20071 online resource (xiv, 383 pages) illustrationsBibliographic Level Mode of Issuance: Monograph9780769528953 0769528953 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.System designCongressesSystems engineeringCongressesSystem designSystems engineering004.21PQKBPROCEEDING991014272170332112th IEEE International Conference on Engineering Complex Computer Systems (ICECCS 2007): Auckland, New Zealand - 10-14 July 20072376454UNINA