(Ilmumisaeg: 29-Oct-1997, Paperback / softback, Kirjastus: Springer-Verlag Berlin and Heidelberg GmbH & Co. K, ISBN-13: 9783540762157)
The aim of this workshop, held in Ilkley, Yorkshire in July 1997, was to provide an informal atmosphere for the exchange of ideas in order to contribute to fundamental research in the use of formal methods for the development of concurrent, real-tim...Loe edasi...
(Ilmumisaeg: 11-Sep-1997, Paperback / softback, Kirjastus: Springer-Verlag Berlin and Heidelberg GmbH & Co. K, ISBN-13: 9783540761969)
As of 1996 the Workshops in Computing series has been published on-line. This work provides the passwords needed to access the papers from the first Irish Workshop on Formal Methods. It covers topics within the general area of formal methods, theo...Loe edasi...
Sylvain Fraisse, Franca Garzotto, Tomas Isakowitz, Jocelyne Nanard, Marc Nanard
Sari: Workshops in Computing
(Ilmumisaeg: 15-Nov-1995, Paperback / softback, Kirjastus: Springer-Verlag Berlin and Heidelberg GmbH & Co. K, ISBN-13: 9783540199854)
The Workshops in Computing series is the result of a collaborative venture between the British Computer Society and Springer-Verlag. It is international in scope.Each volume is based on the proceedings of a specialist workshop and is designed to...Loe edasi...
(Ilmumisaeg: 21-Mar-1995, Paperback / softback, Kirjastus: Springer-Verlag Berlin and Heidelberg GmbH & Co. K, ISBN-13: 9783540199120)
The Sixth International Workshop on Persistent Object Systems was held at Les Mazets des Roches near Tarascon, Provence in southern France from the fifth to the ninth of September 1994. The attractive context and autumn warmth greeted the 53 particip...Loe edasi...
(Ilmumisaeg: 16-Aug-1994, Paperback / softback, Kirjastus: Springer-Verlag Berlin and Heidelberg GmbH & Co. K, ISBN-13: 9783540198970)
This volume contains papers from the Workshop on Incompleteness and Uncertainty in Information Systems, which was held at Concordia University, Montreal, Canada, from 8 - 9 October 1993. The workshop was organised by the Universitys Software Enginee...Loe edasi...
(Ilmumisaeg: 19-Jul-1994, Paperback / softback, Kirjastus: Springer-Verlag Berlin and Heidelberg GmbH & Co. K, ISBN-13: 9783540198864)
This volume contains the papers presented at the 6th Refinement Workshop which was held in London from 5 - 7 January 1994. The theme of the workshop was the theory and practice of formal software development, and papers with industrial relevance we...Loe edasi...
(Ilmumisaeg: 28-Jan-1994, Paperback / softback, Kirjastus: Springer-Verlag Berlin and Heidelberg GmbH & Co. K, ISBN-13: 9783540198642)
This volume contains the papers from the Third International Workshop on Logic Program Synthesis and Transformation (LOPSTR 93), held in Louvain-la-Neuve, Belgium, from 7-9 July 1993. Logic program synthesis and transformation play a vital role in th...Loe edasi...
Maurice Nivat, Charles Rattray, Teodor Rus, Giuseppe Scollo
Sari: Workshops in Computing
(Ilmumisaeg: 17-Dec-1993, Paperback / softback, Kirjastus: Springer-Verlag Berlin and Heidelberg GmbH & Co. K, ISBN-13: 9783540198529)
This volume contains papers presented at the Third International Conference on Algebraic Methodology and Sofware Technology (AMAST93), held at the University of Twente, The Netherlands, 21-25 June 1993. The AMAST conferences aim to promote the use o...Loe edasi...
(Ilmumisaeg: 01-Sep-1992, Paperback / softback, Kirjastus: Springer-Verlag Berlin and Heidelberg GmbH & Co. K, ISBN-13: 9783540197782)
This collection of papers draws together a variety of approaches for adding ob ject orientation to the Z formal specification language. These papers are not a conference proceedings, but have a slightly more complicated his tory. This work has grown...Loe edasi...
(Ilmumisaeg: 10-Jun-1993, Paperback / softback, Kirjastus: Springer-Verlag Berlin and Heidelberg GmbH & Co. K, ISBN-13: 9783540198185)
The Z notation has been developed at the Programming Research Group at the Oxford University Computing Laboratory and elsewhere for over a decade. It is now used by industry as part of the software (and hardware) development process in both Europe an...Loe edasi...
(Ilmumisaeg: 19-May-1993, Paperback / softback, Kirjastus: Springer-Verlag Berlin and Heidelberg GmbH & Co. K, ISBN-13: 9783540198208)
This volume contains the papers presented at the latest Glasgow Workshop on Functional Programming, held in Ayr, Scotland, 6-8 July 1992. These workshops have been held annually by the Glasgow Functional Programming group since 1988. Despite the obvi...Loe edasi...
(Ilmumisaeg: 30-Apr-1993, Paperback / softback, Kirjastus: Springer-Verlag Berlin and Heidelberg GmbH & Co. K, ISBN-13: 9783540198000)
The Fifth International Workshop on Persistent Object Systems took place in the historic setting of Centro Studi I Cappuccini della Cassa di Risparmio di San Miniato. San Miniato (pisa). Italy from 1-4 September 1992. The workshop continued the tra...Loe edasi...
(Ilmumisaeg: 22-Apr-1993, Paperback / softback, Kirjastus: Springer-Verlag Berlin and Heidelberg GmbH & Co. K, ISBN-13: 9783540198048)
The aim of the workshop upon which this text is based was to raise the profile of LARCH, a group of formal specification languages and tools orginally developed in the USA. Among the topics covered in this volume are the mechanical verification of co...Loe edasi...
(Ilmumisaeg: 24-Feb-1993, Paperback / softback, Kirjastus: Springer-Verlag Berlin and Heidelberg GmbH & Co. K, ISBN-13: 9783540198123)
The Workshop on Formal Methods in Databases and Software Engineering took place at Concordia University, Montreal, Canada, from the 15-16 May 1992. Most existing research tends to concentrate exclusively on formal methods in either databases or softw...Loe edasi...
(Ilmumisaeg: 29-Jan-1993, Paperback / softback, Kirjastus: Springer-Verlag Berlin and Heidelberg GmbH & Co. K, ISBN-13: 9783540198062)
Sponsored by the Association for Logic Programming and ALPUK Logic program synthesis and transformation are topics of central importance to the software industry. The demand for software can not be met by the current supply, in terms of volum...Loe edasi...
Jane E. Hillston, Peter J.B. King, Robert J. Pooley
Sari: Workshops in Computing
(Ilmumisaeg: 13-Jan-1992, Paperback / softback, Kirjastus: Springer-Verlag Berlin and Heidelberg GmbH & Co. K, ISBN-13: 9783540197331)
Performance engineering is a fast-moving field where advances in technology mean that new issues constantly need to be addressed. In response to this, the UK Computer and Telecommunications Performance Engineering workshops were set up in 1985 to pro...Loe edasi...
Maurice Nivat, etc., C. Rattray, T. Rus, G. Scollo
Sari: Workshops in Computing
(Ilmumisaeg: 23-Oct-1992, Paperback / softback, Kirjastus: Springer-Verlag Berlin and Heidelberg GmbH & Co. K, ISBN-13: 9783540197973)
The proceedings of a conference that aimed to promote the use of algebraic methodology as a foundation for software technology. The contributors examine how algebraic methodology can be used to provide mathematical alternatives to the ad hoc methods...Loe edasi...
(Ilmumisaeg: 06-Aug-1992, Paperback / softback, Kirjastus: Springer-Verlag Berlin and Heidelberg GmbH & Co. K, ISBN-13: 9783540197805)
The mathematical concepts and notational conventions known as Z were first proposed around 1981. The objective was to establish a mathematical basis for programming concepts, and to verify the work by case studies with industry. Since 1986 there has...Loe edasi...
