IFIP Advances in Information and Communi Advances in Formal Design Methods for CAD: Proceedings of the Ifip Wg5.2 Workshop on Formal Design Methods for Computer- Hardcover from other stores

  • Designing is one of the most significant of human acts. Surprisingly given tha... Designing is one of the most significant of human acts. Surprisingly given that designing has been occurring for many millenia our understanding of the processes of designing is remarkably limited. Recently design methods have been formalised not as... more
  • Computer Aided Design (CAD) technology plays a key role in today s advanced ma... Computer Aided Design (CAD) technology plays a key role in today s advanced manufacturing environment. To reduce the time to market achieve zero defect quality the first time and use available production and logistics resources effectively product... more
  • Formal Methods for Open Object-Based Distributed Systems IV presents the leadi... Formal Methods for Open Object-Based Distributed Systems IV presents the leading edge in the fields of object-oriented programming open distributed systems and formal methods for object-oriented systems. With increased support within industry... more
  • Formal Methods for Open Object-Based Distributed Systems presents the leading ... Formal Methods for Open Object-Based Distributed Systems presents the leading edge in several related fields specifically object-orientated programming open distributed systems and formal methods for object-oriented systems. With increased support... more
  • Formal Methods for Open Object-Based Distributed Systems V brings together res... Formal Methods for Open Object-Based Distributed Systems V brings together research in three important and related fields: Formal methods; Distributed systems; Object-based technology. Such a convergence is representative of recent advances in the... more
  • Formal Methods for Open Object-Based Distributed Systems presents the leading ... Formal Methods for Open Object-Based Distributed Systems presents the leading edge in several related fields specifically object-orientated programming open distributed systems and formal methods for object-oriented systems. With increased support... more
  • This proceedings volume contains the papers of the scientific program of the I... This proceedings volume contains the papers of the scientific program of the IFIP Working Group 8.I working conference on Situational Method Engineering: Fundamentals and Experiences. The conference has been held from 12 to 14 September 2007 at the... more
  • This proceedings volume contains the papers of the scientific program of the I... This proceedings volume contains the papers of the scientific program of the IFIP Working Group 8.I working conference on Situational Method Engineering: Fundamentals and Experiences. The conference has been held from 12 to 14 September 2007 at the... more
  • These proceedings contain the papers selected for presentation at the 23rd Int... These proceedings contain the papers selected for presentation at the 23rd Inter- tional Information Security Conference (SEC 2008) co-located with IFIP World Computer Congress (WCC 2008) September 8-10 2008 in Milan Italy. In - sponse to the call... more
  • These proceedings contain the papers selected for presentation at the 23rd Int... These proceedings contain the papers selected for presentation at the 23rd Inter- tional Information Security Conference (SEC 2008) co-located with IFIP World Computer Congress (WCC 2008) September 8-10 2008 in Milan Italy. In - sponse to the call... more
  • These proceedings contain the papers selected for presentation at the 23rd Int... These proceedings contain the papers selected for presentation at the 23rd Inter- tional Information Security Conference (SEC 2008) co-located with IFIP World Computer Congress (WCC 2008) September 8-10 2008 in Milan Italy. In - sponse to the call... more
  • This book contains the papers presented and discussed at the conference that w... This book contains the papers presented and discussed at the conference that was held in May/June 1997 in Philadelphia Pennsylvania USA and that was sponsored by Working Group 8.2 of the International Federation for Information Processing. IFIP... more
  • This book contains the papers presented and discussed at the conference that w... This book contains the papers presented and discussed at the conference that was held in May/June 1997 in Philadelphia Pennsylvania USA and that was sponsored by Working Group 8.2 of the International Federation for Information Processing. IFIP... more
  • Recently IT has entered all important areas of society. Enterprises individual... Recently IT has entered all important areas of society. Enterprises individuals and civilisations all depend on functioning safe and secure IT. Focus on IT security has previously been fractionalised detailed and often linked to non-business... more
  • Recently IT has entered all important areas of society. Enterprises individual... Recently IT has entered all important areas of society. Enterprises individuals and civilisations all depend on functioning safe and secure IT. Focus on IT security has previously been fractionalised detailed and often linked to non-business... more
Items per page