The Generic Development Language Deva
Download The Generic Development Language Deva full books in PDF, epub, and Kindle. Read online free The Generic Development Language Deva ebook anywhere anytime directly on your device. Fast Download speed and no annoying ads. We cannot guarantee that every ebooks is available!
| Author | : Matthias Weber |
| Publisher | : Springer Science & Business Media |
| Total Pages | : 266 |
| Release | : 1993-10-28 |
| Genre | : Computers |
| ISBN | : 9783540573357 |
This book summarizes work done by the authors under the Esprit Tool Use project (1985-1990), at GMD in Karlsruhe and at Berlin University of Technology. It provides a comprehensive description of the generic development language Deva designed by the authors. Much of the research reported in this monograph is inspired by the work of Michel Sintzoff on formal program development; he contributed an enlightening Foreword. Deva is essentially a typed functional language with certain deduction rules. The difference with ordinary languages is, of course, the application domain: the types serve here to express propositions such as specifications or programs, rather than just data classes. Its practical applicability was tested on several non-trivial case studies. The whole book is written using the DVWEB system, a WEB for Deva, beeing implemented at the Berlin University of Technology.
| Author | : Matthias Weber |
| Publisher | : |
| Total Pages | : 246 |
| Release | : 1993 |
| Genre | : Artificial intelligence |
| ISBN | : 9780387573359 |
| Author | : Manfred Broy |
| Publisher | : Springer Science & Business Media |
| Total Pages | : 468 |
| Release | : 1995-11-08 |
| Genre | : Computers |
| ISBN | : 9783540605898 |
This book constitutes the final report of the work carried out in the project KORSO ("Korrekte Software") funded by the German Federal Ministry for Research and Technology. KORSO is an evolutionary, prototype-oriented project aimed at improving the theoretical foundations of quality-driven software engineering and at implementing known techniques for applications of practical relevance. The 21 strictly refereed papers presented are organized in five sections on methods for correctness, languages, development systems and logical frameworks, tools, and case studies. In addition, the preface and introductory paper give valuable background information and a concise state-of-the-art overview.
| Author | : S. Abramsky |
| Publisher | : Springer Science & Business Media |
| Total Pages | : 502 |
| Release | : 1991-03-28 |
| Genre | : Computers |
| ISBN | : 9783540539810 |
TAPSOFT '91 is the Fourth International Joint Conference on Theory and Practice of Software Development. It was held in Brighton, April 8-12, 1991, and was organized by the Department of Computing, Imperial College, London. The proceedings of TAPSOFT '91 are organized into three parts: - Advances in Distributed Computing (ADC) - Colloquium on Trees in Algebra and Programming (CAAP) - Colloquium on Combining Paradigms for Software Development (CCPSD) The proceedings are published in two volumes. The first volume (LNCS, Vol. 493) contains the papers from CAAP. The second volume (LNCS, Vol. 494) contains the papers from the ADC and CCPSD. The ADC talks by distinguished invited speakers surveys current developments in distributed computing, including the integration of different paradigms for concurrency, algebraic, logical and operational foundations, and applications to software engineering and formal methods. The CCPSD papers address aspects of the trend in software enginering towards unification and synthesis combining theory and practice, and merging hitherto diverse approaches.
| Author | : C.B. Jones |
| Publisher | : Springer Science & Business Media |
| Total Pages | : 426 |
| Release | : 2012-12-06 |
| Genre | : Mathematics |
| ISBN | : 1447131800 |
Formal methods enable computer architecture and software design to be mathematically proved correct before they are implemented. The complexity and time-consuming nature of such proofs have limited the applications of formal methods in the main to defence and safety-critical applications. The mural project (a joint Alvey-funded project between Manchester University and Rutherford Appleton Laboratories) has developed a software support system to help the user of formal methods. mural has created a user-friendly software environment (with extensive use of windows) that makes best use of human talents to produce computer systems that are proved to be correctly designed. Professor Cliff Jones is internationally known as the developer of the VDM system of formal notation (Vienna Development Method). This book describes the requirements, concepts, and realisation of the mural system. The authors present systematically and completely the results of this substantial research project, from the basic theoretical level to its effective implementation. The book will be of equal interest to academics working on formal methods at research level (and perhaps to graduate research students), and to practitioners and software engineers who are using - or who will have to use for defence contracts, etc. - formal methods.
| Author | : Gerard Huet |
| Publisher | : Cambridge University Press |
| Total Pages | : 422 |
| Release | : 1991 |
| Genre | : Computers |
| ISBN | : 9780521413008 |
In Logical Frameworks, first published in 1991, Huet and Plotkin gathered contributions from the first International Workshop on Logical Frameworks. The contributions are of the highest calibre. Four main themes are covered: the general problem of representing formal systems in logical frameworks, basic algorithms of general use in proof assistants, logical issues, and large-scale experiments with proof assistants.
| Author | : Michael Johnson |
| Publisher | : Springer Science & Business Media |
| Total Pages | : 612 |
| Release | : 1997-12 |
| Genre | : Computers |
| ISBN | : 9783540638889 |
This book constitutes the refereed proceedings of the 6th International Conference on Algebraic Methodology and Software Engineering, AMAST'97, held in Sydney, Australia, in December 1997. The volume presents 48 revised full papers selected from an unusually high number of submissions. One of the outstanding features of AMAST is its mix of serious mathematical development of formal methods in software engineering with practical concerns, tools, case studies, and industrial development. The volume addresses all current aspects of formal methods in software engineering and programming methodology, with a certain emphasis on algebraic and logical foundations.
| Author | : Franz Pichler |
| Publisher | : Springer Science & Business Media |
| Total Pages | : 484 |
| Release | : 1994-01-28 |
| Genre | : Computers |
| ISBN | : 9783540576013 |
This volume contains a selection of papers presented at the third European Computer Aided Systems Theory workshop, EUROCAST '93, held in Spain in February 1993. The workshop emphasizes interdisciplinarity with the specificgoal of creating a synergy between fields such as systems theory, computer science, systems engineering and related areas. The contributions in this volume are strongly related to current problems in CAST research. They emphasize an engineering point of view concerning systems theory. Since the computer is an essential instrument in CAST research, there are close relations to specific topics incomputer science. The papers are grouped into parts on systems theory and systems technology, specific methods, and applications.
| Author | : Wolfgang Grieskamp |
| Publisher | : Springer Science & Business Media |
| Total Pages | : 449 |
| Release | : 2000-10-18 |
| Genre | : Computers |
| ISBN | : 3540411968 |
This book constitutes the refereed proceedings of the Second International Conference on Integrated Formal Methods, IFM 2000, held in Dagstuhl, Germany in November 2000. The 22 revised full papers presented together with the abstracts of two invited talks were carefully reviewed and selected from 58 submissions. The papers are grouped together in topical sections on linking and extending notations, methodology, foundation of one formalism by another, semantics, and verification and validation.
| Author | : M. Broy |
| Publisher | : North Holland |
| Total Pages | : 600 |
| Release | : 1990 |
| Genre | : Computers |
| ISBN | : |
The papers presented in this book were originally presented at a conference organized jointly by IFIP working groups 2.2 and 2.3. The titles of the groups are Formal Description of Programming Concepts and Programming Methodology respectively. There is no formal division between these two areas. The papers here which relate to fundamental notions and notations reflect current issues in formal (semantic) description. Programming methods use such description languages but are also concerned with methods of developing implementations which can be shown to satisfy their specifications. Members of both working groups have an interest in mechanical support for the task of proving theorems and the book includes several papers relating to such systems or their underlying logical frameworks.
