Abstract State Machines: A Method for High-Level System Design a
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. The method bridges the gap between the human understanding and formulation of real-world problems and the deployment of their algorithmic solutions by code-executing machines. 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. In several industrial projects the ASM method has proven its superiority compared to the popular UML methodology when designing complex parallel or dynamic systems. This book combines the features of a textbook and a handbook: the reader will find detailed explanations, proofs, and exercises as well as numerous examples and real-world case studies. 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. Even more information can be found on the related website maintained by the authors: http://www.di.unipi.it/AsmBook/
Price now:
From
£19.98
To
£59.01
Price History:
Details:Abstract State Machines: A Method for High-Level System Design a
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. The method bridges the gap between the human understanding and formulation of real-world problems and the deployment of their algorithmic solutions by code-executing machines. 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. In several industrial projects the ASM method has proven its superiority compared to the popular UML methodology when designing complex parallel or dynamic systems. This book combines the features of a textbook and a handbook: the reader will find detailed explanations, proofs, and exercises as well as numerous examples and real-world case studies. 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. Even more information can be found on the related website maintained by the authors: http://www.di.unipi.it/AsmBook/
Price now:
From
£19.98
To
£59.01
This site contains affiliate links for which we may be compensated.
eBay
Used
£21.64
Product Description
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. The method bridges the gap between the human understanding and formulation of real-world problems and the deployment of their algorithmic solutions by code-executing machines. 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. In several industrial projects the ASM method has proven its superiority compared to the popular UML methodology when designing complex parallel or dynamic systems. This book combines the features of a textbook and a handbook: the reader will find detailed explanations, proofs, and exercises as well as numerous examples and real-world case studies. 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. Even more information can be found on the related website maintained by the authors: http://www.di.unipi.it/AsmBook/
Product Specifications
General | |
|---|---|
format | hardcover |
Language | english |
type | textbook |
Brand | Springer |
artist | not specified |
Delivery, Returns & Refunds
Delivery
Sellers offer a range of delivery options, so you can choose the one that’s most convenient for you. Many sellers offer free delivery. You can always find the postage cost and estimated delivery date in a seller’s listing. You'll then be able to see a full list of delivery options during checkout. These can include: Express delivery, Standard delivery, Economy delivery, Click & Collect, Free local collection from seller.
Returns
Your options for returning an item vary depending on what you want to return, why you want to return it, and the seller's return policy. If the item is damaged or doesn't match the listing description, you can return it even if the seller's returns policy says they don't accept returns. If you've changed your mind and no longer want an item, you can still request a return, but the seller doesn't have to accept it. If the buyer changes their mind about a purchase and wants to return an item, they may need to pay return postage costs, depending on the seller's return policy. Sellers can provide a return postage address and additional return postage information for the buyer. Sellers pay for return postage if there's a problem with the item. For example, if the item doesn't match the listing description, is damaged or defective or is counterfeit. By law, customers in the European Union also have the right to cancel the purchase of an item within 14 days beginning from the day you receive, or a third party indicated by you (other than the carrier) receives, the last good ordered by you (if delivered separately). This applies to all products except for digital items (e.g. Digital Music) that are provided immediately to you with your acknowledgement, and other items such as video, DVD, audio, video games, Sex and Sensuality products and software products where the item has been unsealed.
Refunds
Sellers have to offer a refund for certain items only if they are faulty, such as: Personalised items and custom-made items, Perishable items, Newspapers and magazines, Unwrapped CDs DVDs and computer software. If you used your PayPal balance or bank account to fund the original payment, the refunded money will go back to your PayPal account balance. If you used a credit or debit card to fund the original payment, the refunded money will go back to your card. The seller will effect the refund within three working days but it may take up to 30 days for Paypal to process the transfer. For payments funded partially by a card and partially by your balance/bank, the money taken from your card will go back to your card and the remainder will return to your PayPal balance.