The Generic Development Language Deva

Author : Matthias Weber,Martin Simons,Christine Lafontaine
Publisher : Springer Science & Business Media
Page : 266 pages
File Size : 47,9 Mb
Release : 1993-10-28
Category : Computers
ISBN : 3540573356

Get Book

The Generic Development Language Deva by Matthias Weber,Martin Simons,Christine Lafontaine Pdf

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 : Manfred Broy,Stefan Jähnichen
Publisher : Springer Science & Business Media
Page : 468 pages
File Size : 41,7 Mb
Release : 1995-11-08
Category : Computers
ISBN : 3540605894

Get Book

KORSO: Methods, Languages, and Tools for the Construction of Correct Software by Manfred Broy,Stefan Jähnichen Pdf

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
Page : 502 pages
File Size : 43,5 Mb
Release : 1991-03-28
Category : Computers
ISBN : 3540539816

Get Book

TAPSOFT '91 - Volume 2 by S. Abramsky Pdf

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,K.D. Jones,Peter Lindsay,R.D. Moore
Publisher : Springer Science & Business Media
Page : 426 pages
File Size : 43,7 Mb
Release : 2012-12-06
Category : Mathematics
ISBN : 9781447131809

Get Book

mural: A Formal Development Support System by C.B. Jones,K.D. Jones,Peter Lindsay,R.D. Moore Pdf

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,G. Plotkin
Publisher : Cambridge University Press
Page : 422 pages
File Size : 54,5 Mb
Release : 1991
Category : Computers
ISBN : 0521413001

Get Book

Logical Frameworks by Gerard Huet,G. Plotkin Pdf

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
Page : 612 pages
File Size : 43,9 Mb
Release : 1997-12
Category : Computers
ISBN : 3540638881

Get Book

Algebraic Methodology and Software Technology by Michael Johnson Pdf

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,Roberto Moreno Diaz
Publisher : Springer Science & Business Media
Page : 484 pages
File Size : 46,6 Mb
Release : 1994-01-28
Category : Computers
ISBN : 3540576010

Get Book

Computer Aided Systems Theory - EUROCAST '93 by Franz Pichler,Roberto Moreno Diaz Pdf

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,Thomas Santen,Bill Stoddart
Publisher : Springer Science & Business Media
Page : 449 pages
File Size : 50,7 Mb
Release : 2000-10-18
Category : Computers
ISBN : 9783540411963

Get Book

Integrated Formal Methods by Wolfgang Grieskamp,Thomas Santen,Bill Stoddart Pdf

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 : Kam W. Ng
Publisher : Springer Science & Business Media
Page : 566 pages
File Size : 40,8 Mb
Release : 1993-11-26
Category : Computers
ISBN : 3540575685

Get Book

Algorithms and Computation by Kam W. Ng Pdf

This volume presents the proceedings of the fourth annual International Symposium on Algorithms and Computation, held in Hong Kong in December 1993.Numerous selected papers present original research in such areas as design and analysis of algorithms, computational complexity, and theory of computation. Topics covered include: - automata, languages, and computability, - combinatorial, graph, geometric, and randomized algorithms, - networks and distributed algorithms, - VLSIand parallel algorithms, - theory of learning and robotics, - number theory and robotics. Three invited papers are also included.

Author : Michael Luck
Publisher : Springer Science & Business Media
Page : 1366 pages
File Size : 44,7 Mb
Release : 2001-06-20
Category : Business & Economics
ISBN : 3540423125

Get Book

Multi-Agent Systems and Applications by Michael Luck Pdf

This book presents selected tutorial lectures given at the summer school on Multi-Agent Systems and Their Applications held in Prague, Czech Republic, in July 2001 under the sponsorship of ECCAI and Agent Link. The 20 lectures by leading researchers in the field presented in the book give a competent state-of-the-art account of research and development in the field of multi-agent systems and advanced applications. The book offers parts on foundations of MAS; social behaviour, meta-reasoning, and learning; and applications.

Author : Anonim
Publisher : Unknown
Page : 498 pages
File Size : 53,6 Mb
Release : 1991
Category : Computer software
ISBN : UOM:39015022338555

Get Book

TAPSOFT by Anonim Pdf

Author : Lawrence C. Paulson
Publisher : Unknown
Page : 276 pages
File Size : 44,9 Mb
Release : 1995
Category : Computers
ISBN : UCSC:32106014494931

Get Book

Proceedings of the First Isabelle Users Workshop by Lawrence C. Paulson Pdf

Author : Hanne R. Nielson
Publisher : Springer Science & Business Media
Page : 424 pages
File Size : 44,5 Mb
Release : 1996-04-03
Category : Computers
ISBN : 3540610553

Get Book

Programming Languages and Systems - Esop'96 by Hanne R. Nielson Pdf

This book presents the refereed proceedings of the Sixth European Symposium on Programming, ESOP '96, held in Linköping, Sweden, in April 1996. The 23 revised full papers included were selected from a total of 63 submissions; also included are invited papers by Cliff B. Jones and by Simon L. Peyton Jones. The book is devoted to fundamental issues in the specification, analysis, and implementation of programming languages and systems; the emphasis is on research issues bridging the gap between theory and practice. Among the topics addressed are software specification and verification, programming paradigms, program semantics, advanced type systems, program analysis, program transformation, and implementation techniques.

Author : Matthias Weber
Publisher : Unknown
Page : 206 pages
File Size : 40,9 Mb
Release : 1991
Category : Automatic theorem proving
ISBN : PSU:000025565713

Get Book

A Meta-calculus for Formal System Development by Matthias Weber Pdf

Author : Anonim
Publisher : Unknown
Page : 724 pages
File Size : 42,7 Mb
Release : 1991
Category : Computer software
ISBN : UOM:39015023283107

Get Book

VDM '91 by Anonim Pdf

"The proceedings of the fourth Vienna Development Method Symposium, VDM '91, are published here in two volumes. Previous VDM symposia were held in 1987 (LNCS 252), 1988 (LNCS 328), and 1990 (LNCS 428). The VDM symposia have been organized by the VDM Europe, formed in 1985 as an advisory board sponsored by the Commission of the European Communities. The VDM Europe working group consisted of reasearchers, software engineers, and programmers, all interested in prommoting the industrial usage of formal methods for software development. The fourth VDM symposium presented not only VDM but also a large number of other methods for formal software development. Volume 1 contains the conference contributions. It has four parts: contributions of invited speakers, papers, project reports, and tools demonstration abstracts. The emphasis is on methods and calculi for development, verification and verification tools support, experiences from doing developments, and the associated theoretical problems. Volume2 contains four introductory tutorials (on LARCH, Refinement Calculus, VDM, and RAISE) and four advanced tutorials (on ABEL, PROSPECTRA, The B Method, and The Stack). They present a comprehensive account of the state of the art."--PUBLISHER'S WEBSITE.