share record
persistent URL:
John M. Rushby : What Use is Verified Software? ICECCS 2007 : 270-276 share record
persistent URL:
Wolfram Schulte : Pex - An Intelligent Assistant for Rigorous Developer Testing. ICECCS 2007 : 161 share record
persistent URL:
Wolfram Schulte : Experiments in Verifying Low Level Concurrent C Code. ICECCS 2007 : 299 export record
dblp key:
conf/iceccs/SterrittEOH07 share record
persistent URL:
Roy Sterritt , Sarah Eowyn , Patricia O'Hagan , Edward Hanna : The Imminent Complexity Quagmire in Pervasive Computing - Autonomic Agents a Solution? ICECCS 2007 : 238-250 share record
persistent URL:
Paul A. Strooper , Margaret A. Wojcicki : Selecting V&V Technology Combinations: How to Pick a Winner? ICECCS 2007 : 87-96 share record
persistent URL:
Urjaswala Vora : Architectural Design Methodologies for Complex Evolving Systems. ICECCS 2007 : 197-206 share record
persistent URL:
Hai H. Wang , Nick Gibbins , Terry R. Payne , Ahmed Saleh , Jun Sun : A Formal Semantic Model of the Semantic Web Service Ontology (WSMO). ICECCS 2007 : 74-86 share record
persistent URL:
Anton Wijs : Achieving Discrete Relative Timing with Untimed Process Algebra. ICECCS 2007 : 35-46 share record
persistent URL:
Lijun Yu , Robert B. France , Indrakshi Ray , Kevin Lano : A light-weight static approach to analyzing UML behavioral properties. ICECCS 2007 : 56-63 share record
persistent URL:
Weishan Zhang , Thomas Kunz , Klaus Marius Hansen : Product Line Enabled Intelligent Mobile Middleware. ICECCS 2007 : 148-160 share record
persistent URL:
12th International Conference on Engineering of Complex Computer Systems (ICECCS 2007), 10-14 July 2007, Auckland, New Zealand. IEEE Computer Society 2007 , ISBN 978-0-7695-2895-3 [contents]