Software Engineering

This book contains the best papers of the First International Conference on Software and Data Technologies (ICSOFT 2006), organized by the Institute for Systems and Technologies of Information, Communication and Control (INSTICC) in cooperation with the Object Management Group (OMG).

The Haifa Verification Conference 2006 took place for the second year in a row at the IBM Haifa Research Lab and at the Haifa University in Israel during October 23-26, 2006.

We are proud to present the TAMODIA 2006 proceedings.

Welcome to SAFECOMP 2006, the 25th International Conference on Computer Safety, Security and Reliability, held in Gdansk,Poland.

It is a pleasure to present the proceedings of the 22nd European Conference on Object-Oriented Programming (ECOOP 2008) held in Paphos, Cyprus.

This volume contains the proceedings of the 4th International Conference on Formal Modelling and Analysis of Timed Systems (FORMATS 2006), held in Paris (France) on September 25-27, 2006.

This book constitutes the refereed proceedings of the 24th International Conference on Computer Safety, Reliability, and Security, SAFECOMP 2005, held in Fredrikstad, Norway, in September 2005.

This volume contains the proceedings of EWSN 2007, the fourth European c- ference on Wireless Sensor Networks.

CAiSE 2008wasthe20thinthe seriesofInternationalConferencesonAdvanced Information System Engineering.

The Third International Workshop on OpenMP, IWOMP 2007, was held at Beijing,China.

This book constitutes the refereed proceedings of the Third International Joint Conference on Automated Reasoning, IJCAR 2006, held in Seattle, WA, USA in August 2006 as part of the 4th Federated Logic Conference, FLoC 2006.

Developing software for current and especially for future architectures will require knowledge about parallel programming techniques of applications and library p- grammers.

Information technology is a rapidly changing field in which researchers and developers must continuously set their vision on the next generation of technologies and the systems that they enable.

Formal methods have been applied successfully to the verification of medium-sized programs in protocol and hardware design.

The 21st International Conference on Industrial, Engineering and Other Applications of Applied Intelligent Systems (IEA-AIE 2008) held in Wroclaw, Poland was an international scientific forum for researchers in the field of applied artificial intelligence.

TheseproceedingsrecordthepaperspresentedattheSeventhInternationalC- ference of B Users (B 2007), held in the city of Besan con in the east of France.

This volume contains the proceedings of FORTE 2008, 28th IFIP WG6.

The fourth edition of the European Conference on Model-Driven Architecture - Foundations and Applications (ECMDA-FA 2008) was dedicated to furthering the state of knowledge and fostering the industrialization of the model-driven architecture (MDA) methodology.

Modern information systems rely increasingly on combining concurrent, d- tributed, real-time, recon?

This book constitutes the thoroughly refereed post-conference proceedings of the 7th International Conference on Parallel Processing and Applied Mathematics, PPAM 2007, held in Gdansk, Poland, in September 2007.