Testing is the primary hardware and software verification technique used by industry today. Usually, it is ad hoc, error prone, and very expensive. In recent years, however, many attempts have been made to develop more sophisticated formal testing methods. This coherent book provides an in-depth assessment of this emerging field, focusing on formal testing of reactive systems.
This book is based on a seminar held in Dagstuhl Castle, Germany, in January 2004. It presents 19 carefully reviewed and revised lectures given at the seminar in a well-balanced way ensuring competent...
Testing is the primary hardware and software verification technique used by industry today. Usually, it is ad hoc, error prone, and very expensive....
Model-Driven Architecture (MDA) is an initiative proposedby the Object M- agement Group (OMG) for platform-generic software development. MDA s- arates the speci?cation of system functionality from the implementation on a speci?c platform. It is aimed at making software assets more resilient to changes caused by emerging technologies. While stressing the importance of modeling, the MDA initiative covers a wide spectrum of research areas. Further e?orts are required to bring them into a coherent approach based on open standards and supported by matured tools and techniques....
Model-Driven Architecture (MDA) is an initiative proposedby the Object M- agement Group (OMG) for platform-generic software development. MDA s- arates...
APLAS 2005 was the Asian Symposium on Programming Languages and S- tems, held in Tsukuba, Japan in November 2 5, 2005. It was the latest event in the series of annual meetings started in 2000 by Asian researchers in the ?eld of programming languages and systems. The ?rst three were organized as wo- shops, and were held in Singapore(2000), Daejeon (2001), and Shanghai (2002). Theenthusiasmthere, encouragedbytherichproductionoforiginalresearch- pers, and the support of the internationalresearchcommunities in programming languagesandsystems, ledtothe?rstAPLASasasymposiuminBeijing(2003), followed...
APLAS 2005 was the Asian Symposium on Programming Languages and S- tems, held in Tsukuba, Japan in November 2 5, 2005. It was the latest event in the ...
Constitutes the proceedings of the 10th International Conference on Reliable Software Technologies, Ada-Europe 2005, held in York, UK in June 2005. This book contains papers that are organized in topical sections on applications, design and scheduling, formal methods, Ada and education, certification and verification, and distributed systems.
Constitutes the proceedings of the 10th International Conference on Reliable Software Technologies, Ada-Europe 2005, held in York, UK in June 2005. Th...
Formal methods have been applied successfully to the verification of medium-sized programs in protocol and hardware design. However, their application to the development of large systems requires more emphasis on specification, modelling and validation techniques supporting the concepts of reusability and modifiability, and their implementation in new extensions of existing programming languages.
This book presents revised tutorial lectures given by invited speakers at the Third International Symposium on Formal Methods for Components and Objects, FMCO 2004, held in Leiden, The...
Formal methods have been applied successfully to the verification of medium-sized programs in protocol and hardware design. However, their applicat...
This monograph addresses four critical software development aspects for the engineering and execution of applications on parallel and Grid architectures.
A new directive-based language called ZEN is proposed for compact specification of wide value ranges of interest for arbitrary application parameters. The monograph contributes to various research areas related to integrated tool development for efficient engineering and high performance execution of scientific applications in Grid environments.
This monograph addresses four critical software development aspects for the engineering and execution of applications on parallel and Grid architec...
This book constitutes the thoroughly refereed post-proceedings of the 13th International Workshop on Design, Specification, and Verification of Interactive Systems, DSVIS 2006, held in Dublin, Ireland in July 2006. The 19 revised full papers presented together with one keynote paper, and two working group reports were carefully reviewed and selected from 57 submissions during two rounds of reviewing and improvement.
This book constitutes the thoroughly refereed post-proceedings of the 13th International Workshop on Design, Specification, and Verification of Int...
This book constitutes the refereed proceedings of the 9th International Symposium on Practical Aspects of Declarative Languages, PADL 2007, held in Nice, France, in January 2007, co-located with POPL 2007, the Symposium on Principles of Programming Languages. The 19 revised full papers presented together with two invited papers were carefully reviewed and selected from 58 submissions. All current aspects of declarative programming are addressed.
This book constitutes the refereed proceedings of the 9th International Symposium on Practical Aspects of Declarative Languages, PADL 2007, held in...
Software engineering is widely recognized as one of the most exciting, stimulating, and profitable research areas, with a significant practical impact on the software industry. Thus, training future generations of software engineering researchers and bridging the gap between academia and industry are vital to the field. The International Summer School on Software Engineering (ISSSE), which started in 2003, aims to contribute both to training future researchers and to facilitating the exchange of knowledge between academia and industry.
This volume constitutes a collection of articles...
Software engineering is widely recognized as one of the most exciting, stimulating, and profitable research areas, with a significant practical imp...
This year's edition of the international federated conferences on Distributed Computing Techniques took place in Lisbon during June 9-11. It was hosted by the Faculty of Sciences of the University of Lisbon and formally organized by the Institute of Telecommunications, the research center I am associated with. The DisCoTecconferences jointly coverthe completespectrum ofdistributed computing subjects ranging from theoretical foundations to formal speci?cation techniques to practical considerations. The event this year comprised the 11th...
This year's edition of the international federated conferences on Distributed Computing Techniques took place in Lisbon during June 9-11. It was hoste...
