From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/2281 Path: news.gmane.org!not-for-mail From: "boerger" Newsgroups: gmane.science.mathematics.categories Subject: Book announcement Date: Tue, 13 May 2003 09:50:47 +0200 Message-ID: NNTP-Posting-Host: main.gmane.org Mime-Version: 1.0 Content-Type: text/plain; charset="iso-8859-1" Content-Transfer-Encoding: quoted-printable X-Trace: ger.gmane.org 1241018547 3376 80.91.229.2 (29 Apr 2009 15:22:27 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Wed, 29 Apr 2009 15:22:27 +0000 (UTC) To: Original-X-From: rrosebru@mta.ca Tue May 13 16:41:29 2003 -0300 Return-path: Envelope-to: categories-list@mta.ca Delivery-date: Tue, 13 May 2003 16:41:29 -0300 Original-Received: from Majordom by mailserv.mta.ca with local (Exim 4.10) id 19FfeL-0004Ri-00 for categories-list@mta.ca; Tue, 13 May 2003 16:41:21 -0300 content-class: urn:content-classes:message X-MimeOLE: Produced By Microsoft Exchange V6.0.6249.0 Original-Sender: cat-dist@mta.ca Precedence: bulk X-Keywords: X-UID: 16 Original-Lines: 64 Xref: news.gmane.org gmane.science.mathematics.categories:2281 Archived-At: Egon Boerger and Robert Staerk Abstract State Machines. A Method for High-Level System Design = and Analysis=20 X+438p., Hardcover, EUR 49,95 Springer-Verlag 2003, ISBN 3-540-00702-4 =20 The systems engineering method proposed in this book, which is based on Abstract State Machines (ASMs), guides the development of software and embedded hardware-software systems seamlessly from requirements capture to actual implementation and documentation. Within a single conceptual framework it covers design, verification by reasoning techniques, and validation by simulation and testing. ASMs improve current industrial practice by using accurate high-level modeling and by linking the descriptions at the successive stages of system development in an organic and efficiently maintainable chain of rigorous and coherent system models at stepwise-refined abstraction levels. =20 This book combines the features of a textbook and a handbook. Researchers will find here the most comprehensive description of ASMs available today and professionals will use it as a "modeling handbook for the working software engineer." As a textbook it supports self-study or it can form the basis of a lecture course. The book is complemented by a CD containing the whole book text, additional course material, solutions to exercises, and additional examples. Lecture notes and additional material are freely available=20 at the AsmBook website=20 http://www.di.unipi.it/AsmBook/ Contents: 1. Introduction 2. ASM Design and Analysis Method 3. Basic ASMs (Ground Model and Refinement Method) 4. Structured ASMs (Composition Techniques) 5. Synchronous Multi-Agent ASMs 6. Asynchronous Multi-Agent ASMs 7. Universal Specification and Computation Model 8. Tool Support for ASMs 9. History and Survey of ASM Research - References Please order from our web site www.springer.de, from your local bookseller, or from Springer directly. Orders can also be placed by sending an email to orders@springer.de . Shipping charges within Europe are EUR 5 per book, plus EUR 1.50 for each additional book; except Germany, Austria, Switzerland EUR 2.50 per order. Springer GmbH & Co. KG=20 Auslieferungs-Gesellschaft Order Processing=20 Haberstra=DFe 7 69126 Heidelberg Germany FAX: +49-6221-345-229 See also http://www.amazon.de/exec/obidos/ASIN/3540007024/ http://www.amazon.co.uk/exec/obidos/ASIN/3540007024/ http://www.amazon.com/exec/obidos/ASIN/3540007024/