Електронна книга > Наука > Інформатика > Інформатика > Jean-Raymond Abrial & Uwe Glässer: Rigorous Methods for Software Construction and Analysis (PDF)

Jean-Raymond Abrial & Uwe Glässer
Rigorous Methods for Software Construction and Analysis [PDF ebook]
Essays Dedicated to Egon Börger on the Occasion of His 60th Birthday

Підтримка

Обкладинка Jean-Raymond Abrial & Uwe Glässer: Rigorous Methods for Software Construction and Analysis (PDF)

This Festschrift volume, published in honor of Egon Börger, contains 14 papers from a Dagstuhl Seminar, that cover a wide range of applied research, spanning from theoretical and methodological foundations to practical applications.

€71.39

Зміст

Relaxing Restrictions on Invariant Composition in the B Method by Ownership Control a la Spec#.- Designing Old and New Distributed Algorithms by Replaying an Incremental Proof-Based Development.- Ten Reasons to Metamodel ASMs.- An ASM-Characterization of a Class of Distributed Algorithms.- Using Abstract State Machines for the Design of Multi-level Transaction Schedulers.- Validating and Animating Higher-Order Recursive Functions in B.- A Systematic Verification Approach for Mondex Electronic Purses Using ASMs.- Management of UML Clusters.- A Step towards Merging x UML and CSP B.- Core ASM Plug-In Architecture.- JASMine: Accessing Java Code from Core ASM.- A Modular Verification Methodology for C# Delegates.- On the Evolution of OCL for Capturing Structural Constraints in Modelling Languages.- Ten Commandments Ten Years On: Lessons for ASM, B, Z and VSR-net.

Придбайте цю електронну книгу та отримайте ще 1 БЕЗКОШТОВНО!

Мова Англійська ● Формат PDF ● Сторінки 235 ● ISBN 9783642114472 ● Редактор Jean-Raymond Abrial & Uwe Glässer ● Видавець Springer Berlin ● Місто Heidelberg ● Країна DE ● Опубліковано 2010 ● Завантажувані 24 місяців ● Валюта EUR ● Посвідчення особи 2171600 ● Захист від копіювання Adobe DRM

Потрібен читач електронних книг, що підтримує DRM

Більше електронних книг того самого автора / Редактор

Jean-Raymond Abrial Uwe Glasser

16 570 Електронні книги в цій категорі

Обкладинка Yu-Hsin Chen & Joel S. Emer: Efficient Processing of Deep Neural Networks

Yu-Hsin Chen & Joel S. Emer: Efficient Processing of Deep Neural Networks

This book provides a structured treatment of the key principles and techniques for enabling efficient processing of deep neural networks (DNNs) . DNNs are currently widely used for many artificial in …

Обкладинка Roger A. Philips: Guide To Software Export: A Handbook For International Software Sales

Roger A. Philips: Guide To Software Export: A Handbook For International Software Sales

An ideal reference source for CEOs, marketing and sales managers, sales consultants, and students of international marketing, Guide to Software Export provides a step-by-step approach to initiating o …

Обкладинка Dr. Nilesh Bhaskarrao Bahadure & Saurabh Chandrakar: Python GUI with PyQt

Dr. Nilesh Bhaskarrao Bahadure & Saurabh Chandrakar: Python GUI with PyQt

Python GUI with Py Qt is an invaluable guide for both novice and experienced programmers who want to master the art of creating visually appealing and interactive graphical user interfaces (GUIs) for …

Обкладинка Sanket Subhash Khandare: Mastering Large Language Models

Sanket Subhash Khandare: Mastering Large Language Models

Transform your business landscape with the formidable prowess of large language models (LLMs). The book provides you with practical insights, guiding you through conceiving, designing, and implementi …

Обкладинка Duarte (Technical University of Lisbon, Portugal) Araujo & Micael (University of Lisbon, Portugal) Couceiro: Artificial Intelligence in Sport Performance Analysis

Duarte (Technical University of Lisbon, Portugal) Araujo & Micael (University of Lisbon, Portugal) Couceiro: Artificial Intelligence in Sport Performance Analysis

To understand the dynamic patterns of behaviours and interactions between athletes that characterize successful performance in different sports is an important challenge for all sport practitioners. …

Обкладинка Dr. Harsh Bhasin: Machine Learning for Beginners - 2nd Edition

Dr. Harsh Bhasin: Machine Learning for Beginners – 2nd Edition

The second edition of "Machine Learning for Beginners" addresses key concepts and subjects in machine learning. The book begins with an introduction to the foundational principles of machin …

Обкладинка Joseph D. (University of Tennessee at Chattanooga, USA) Dumas II: Computer Architecture

Joseph D. (University of Tennessee at Chattanooga, USA) Dumas II: Computer Architecture

Not only does almost everyone in the civilized world use a personal computer, smartphone, and/or tablet on a daily basis to communicate with others and access information, but virtually every other m …

Обкладинка M.A. Jabbar & MVV Prasad Kantipudi: Machine Learning Methods for Signal, Image and Speech Processing

M.A. Jabbar & MVV Prasad Kantipudi: Machine Learning Methods for Signal, Image and Speech Processing

The signal processing (SP) landscape has been enriched by recent advances in artificial intelligence (AI) and machine learning (ML), yielding new tools for signal estimation, classification, predicti …

Обкладинка Yigit Kazancoglu & Shristi Kharola: Advances in Soft Computing Applications

Yigit Kazancoglu & Shristi Kharola: Advances in Soft Computing Applications

The proclivity of today’s technology to think like humans may be seen in new developing disciplines such as neural computing, fuzzy logic, evolutionary computation, machine learning, and probabilisti …

Обкладинка Dr. Surabhi Shanker: Building Dynamic Web Experiences with PHP

Dr. Surabhi Shanker: Building Dynamic Web Experiences with PHP

This book covers a wide range of topics starting with the introduction of web applications, including client-side and server-side scripting, different categories of web applications, and the installa …

Наступна сторінка >>>