development  (42.730 Angebote unter 30.868.544 Artikeln)

This book constitutes the proceedings of the 17th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2012, held in Paris, France, in August 2012. The 14 papers presente...

Dynamical systems theory and flow control are two research areas of great current interest. These and other special situations are among the topics covered in this volume. Each article emphasizes t...

In this book, Hussmann builds a bridge between the pragmatic methods for the design of information systems and the formal, mathematical background. Firstly, the principal feasibility of an integrat...

The 9 regular papers presented in this volume were carefully reviewed and selected from 15 submissions. The conference also featured invited talks by Jaco van de Pol (Aarhus University, and Twente ...

New advanced materials are being rapidly developed, thanks to the progress of science. These are making our daily life more convenient. The Institute for Materials Research (IMR) at Tohoku Universi...

On the relevance of formal methods to software development.- Combining algebraic and predicative specifications in Larch.- The role of proof obligations in software design.- Functional semantics of...

The papers included in this volume were presented as a part of the dedication of a new clinical/teaching/research facility for the University of Houston College of Optometry, March 27-31, 1977. The...

This volume contains the proceedings of the 2003 International Conference on Formal Engineering Methods (ICFEM 2003). The conference was the ?fth in a series that began in 1997. ICFEM 2003 was held...

The biannual Formal Methods in Computer Aided Design conference (FMCAD 2000)is the third in a series of conferences under that title devoted to the use of discrete mathematical methods for the anal...

FICWTM 2017

Invited Talks.- SFI: A Refinement Based Layered Software Architecture.- Developing Quality Software Systems Using the SOFL Formal Engineering Method.- Maintaining Referential Integrity on the Web.-...

Logic and object-orientation have come to be recognized as being among the most powerful paradigms for modeling information systems. The term "information systems" is used here in a very general co...

In a knowledge-based society, research into fundamental physics plays a vital role not only in the enhancement of human knowledge but also in the development of new technology that affects everyday...

This book constitutes the refereed proceedings of the 14th International Conference on Formal Engineering Methods, ICFEM 2012, held in Kyoto, Japan, November 2012. The 31 revised full papers togeth...