3rd Refinement Workshop
Author : Carroll Morgan
Publisher : Springer
Page : 216 pages
File Size : 12,72 MB
Release : 1991
Category : Computers
ISBN :
Refinement Workshop ; 3
Author :
Publisher :
Page : pages
File Size : 27,2 MB
Release : 1990
Category :
ISBN :
Book Description
4th Refinement Workshop
Author : Joseph M. Morris
Publisher : Springer Science & Business Media
Page : 488 pages
File Size : 19,80 MB
Release : 2013-03-14
Category : Mathematics
ISBN : 1447137566
Book Description
This volume contains the proceedings ofthe 4th Refinement Workshop which was organised by the British Computer Society specialist group in Formal Aspects of Computing Science and held in Wolfson College, Cambridge, on 9-11 January, 1991. The term refinement embraces the theory and practice of using formal methods for specifying and implementing hardware and software. Most of the achievements to date in the field have been in developing the theoretical framework for mathematical approaches to programming, and on the practical side in formally specifying software, while more recently we have seen the development of practical approaches to deriving programs from their speCifications. The workshop gives a fair picture of the state of the art: it presents new theories for reasoning about software and hardware and case studies in applying known theory to interesting small-and medium-scale problems. We hope the book will be Of interest both to researchers in formal methods, and to software engineers in industry who want to keep abreast of possible applications of formal methods in industry. The programme consisted both of invited talks and refereed papers. The invited speakers were Ib S0rensen, Jean-Raymond Abrial, Donald MacKenzie, Ralph Back, Robert Milne, Mike Read, Mike Gordon, and Robert Worden who gave the introductory talk. This is the first refinement workshop that solicited papers for refereeing, and despite a rather late call for papers the response was excellent.
5th Refinement Workshop
Author : Cliff B. Jones
Publisher : Springer Science & Business Media
Page : 389 pages
File Size : 23,16 MB
Release : 2013-03-14
Category : Mathematics
ISBN : 1447135504
Book Description
Refinement is the term used to describe systematic and formal methods of specifying hard- and software and transforming the specifications into designs and implementations. The value of formal methods in producing reliable hard- and software is widely appreciated by academics and workers in industry, despite the fact that certain research areas, such as the application to industrial-scale problems, are still in their infancy. This volume contains the papers presented at the 5th Refinement Workshop held in London, 8-10 January 1992. Its theme was the theory and practice of software specifications, which is the transformation of formal software specifications into more correct specifications, designs and codes. This has been an important area of research for the last 5 years and the workshop addressed specific issues and problems related to it. Among the topics discussed in this volume are: the role of refinement in software development, parallel designs and implementations, methods and tools for verification of critical properties, refinement and confidentiality, concurrent processes as objects, the compliance of Ada programs with Z specifications and a tactic driven refinement tool. This is the latest refinement workshop proceedings to be published in the Workshops in Computing series (the 3rd and 4th workshops having appeared in 1990 and 1991 respectively). It will be of interest to academic and industrial researchers, postgraduate students and research-oriented developers in the computer industry.
Third Refinement Workshop
Author : Carroll Morgan
Publisher : Springer Verlag
Page : 197 pages
File Size : 39,35 MB
Release : 1991
Category : Mathematics
ISBN : 9780387196244
Book Description
6th Refinement Workshop
Author : David Till
Publisher : Springer Science & Business Media
Page : 315 pages
File Size : 31,98 MB
Release : 2012-12-06
Category : Mathematics
ISBN : 1447132408
Book Description
The Sixth Refinement Workshop took place at City University in London from 5th to 7th January 1994. The present volume includes all of the papers which were submitted and accepted for presentation, together with two papers by invited speakers. The workshops in the series have generally occurred at one year intervals but in this last case a two year period had elapsed. These workshops have established themselves as an important event in the calendar for all those who are interested in progress in the underlying theory of refinement and in the take-up by industry of the methods supported by that theory. One of the proposed themes of the sixth workshop was the reporting of successful adoption in industry of rigorous software development methods. The programme committee was perhaps slightly disappointed by the response from industry to the call in this respect. However, the recent period could be characterised as one of consolidation, when those companies which have made the decision that formal development methods are important to their business have been adopting them where appropriate and finding them to be worthwhile. On the other hand,. the difficult economic climate which exists in most parts of the developed world is perhaps not the context within which companies still dubious about the benefits are goil'\g to opt for making major changes in their working practices.
ALPUK91
Author : Geraint A. Wiggins
Publisher : Springer Science & Business Media
Page : 226 pages
File Size : 48,98 MB
Release : 2013-06-29
Category : Computers
ISBN : 1447135466
Book Description
Since its conception nearly 20 years ago, Logic Programming - the idea of using logic as a programming language - has been developed to the point where it now plays an important role in areas such as database theory, artificial intelligence and software engineering. However, there are still many challenging research issues to be addressed and the UK branch of the Association for Logic Programming was set up to provide a forum where the flourishing research community could discuss important issues of Logic Programming which were often by-passed at the large international conferences. This volume contains the twelve papers which were presented at the ALPUK's 3rd conference which was held in Edinburgh, 10-12 April 1991. The aim of the conference was to give a broad but detailed technical insight into the work currently being done in this field, both in the UK and by researchers as far afield as Canada and Bulgaria. The breadth of interest in this area of Computer Science is reflected in the range of the papers which cover - amongst other areas - massively parallel implementation, constraint logic programming, circuit modelling, algebraic proof of program properties, deductive databases, specialised editors and standardisation. The resulting volume gives a good overview of the current progress being made in the field and will be of interest to researchers and students of any aspects of logic programming, parallel computing or database techniques and management.
Formal Methods and Software Engineering
Author : Jin Song Dong
Publisher : Springer Science & Business Media
Page : 693 pages
File Size : 36,99 MB
Release : 2003-10-27
Category : Computers
ISBN : 354020461X
Book Description
This book constitutes the refereed proceedings of the 5th International Conference on Formal Engineering Methods, ICFEM 2003, held in Singapore in November 2003. The 34 revised full papers presented together with 3 invited contributions were carefully reviewed and selected from 91 submissions. The papers are organized in topical sections on testing and validation, state diagrams, PVS/HOL, refinement, hybrid systems, Z/Object-Z, Petri nets, timed automata, system modelling and checking, and semantics and synthesis.
Adaptive Mesh Refinement - Theory and Applications
Author : Tomasz Plewa
Publisher : Springer Science & Business Media
Page : 550 pages
File Size : 26,9 MB
Release : 2005-12-20
Category : Mathematics
ISBN : 3540270396
Book Description
Advanced numerical simulations that use adaptive mesh refinement (AMR) methods have now become routine in engineering and science. Originally developed for computational fluid dynamics applications these methods have propagated to fields as diverse as astrophysics, climate modeling, combustion, biophysics and many others. The underlying physical models and equations used in these disciplines are rather different, yet algorithmic and implementation issues facing practitioners are often remarkably similar. Unfortunately, there has been little effort to review the advances and outstanding issues of adaptive mesh refinement methods across such a variety of fields. This book attempts to bridge this gap. The book presents a collection of papers by experts in the field of AMR who analyze past advances in the field and evaluate the current state of adaptive mesh refinement methods in scientific computing.
Refinement
Author : John Derrick
Publisher : Springer
Page : 276 pages
File Size : 13,4 MB
Release : 2018-09-03
Category : Computers
ISBN : 3319927116
Book Description
Refinement is one of the cornerstones of a formal approach to software engineering. Refinement is all about turning an abstract description (of a soft or hardware system) into something closer to implementation. It provides that essential bridge between higher level requirements and an implementation of those requirements. This book provides a comprehensive introduction to refinement for the researcher or graduate student. It introduces refinement in different semantic models, and shows how refinement is defined and used within some of the major formal methods and languages in use today. It (1) introduces the reader to different ways of looking at refinement, relating refinement to observations(2) shows how these are realised in different semantic models (3) shows how different formal methods use different models of refinement, and (4) how these models of refinement are related.
