Formal Methods for Components and Objects

>> Google Books

Formal Methods for Components and Objects / Frank S. Boer, Marcello M. Bonsangue, Takeo Kanade, Eric Madelaine

資料種別:

電子ブック

出版情報:

Springer eBooks Computer Science
Springer Berlin Heidelberg, 2009

著者名:

ISBN:

9783642041662 [3642041663]
9783642041679 [3642041671]

書誌ID:

OB00355118

子書誌情報

フルテキスト

所蔵情報

書誌詳細

主題:

Information Technology - Software Engineering

言語:

英語

目次情報:

The COMPAS Project

Reusable Architectural Decision Model for Model and Metadata Repositories / Christine Mayr ; Uwe Zdun ; Schahram Dustdar

Formal Behavioral Modeling and Compliance Analysis for Service-Oriented Systems / Natallia Kokash ; Farhad Arbab

The CREDO Project

A Real-Time Extension of Creol for Modelling Biomedical Sensors / Marcel Kyas ; Einar Broch Johnsen

Conformance Testing of Distributed Concurrent Systems with Executable Designs / Bernhard K. Aichernig ; Andreas Griesmayer ; Rudolf Schlatte ; Andries Stam

Formal Verification for Components and Connectors / Christel Baier ; Tobias Blechmann ; Joachim Klein ; Sascha Kt&uuuml;ppelholz

The DEPLOY Project

Formal Modular Modelling of Context-Awareness / Mats Neovius ; Kaisa Sere

Towards Demonstrably Correct Compilation of Java Byte Code / Michael Leuschel

Incremental System Modelling in Event-B / Stefan Hallerstede

The GRIDCOMP Project

An Asynchronous Distributed Component Model and Its Semantics / Ludovic Henrio ; Florian Kamm&uuuml;ller ; Marcela Rivera

Specification and Verification for Grid Component-Based Applications: From Models to Tools / Antonio Cansado ; Eric Madelaine

Semi-formal Models to Support Program Development: Autonomic Management within Component Based Parallel and Distributed programming / M. Aldinucci ; M. Danelutto ; P. Kilpatrick

The MOBIUS Project

Session-Based Compilation Framework for Multicore Programming / Nobuko Yoshida ; Vasco Vasconcelos ; Hervé Paulino ; Kohei Honda

Abstract Interpretation of Symbolic Execution with Explicit State Updates / Richard Bubel ; Reiner Hähnle ; Benjamin Weiß

BML and Related Tools / Jacek Chrz&acedil;szcz ; Marieke Huisman ; Aleksy Schubert

Author Index

The COMPAS Project

Reusable Architectural Decision Model for Model and Metadata Repositories / Christine Mayr ; Uwe Zdun ; Schahram Dustdar

Formal Behavioral Modeling and Compliance Analysis for Service-Oriented Systems / Natallia Kokash ; Farhad Arbab

The CREDO Project

A Real-Time Extension of Creol for Modelling Biomedical Sensors / Marcel Kyas ; Einar Broch Johnsen

Conformance Testing of Distributed Concurrent Systems with Executable Designs / Bernhard K. Aichernig ; Andreas Griesmayer ; Rudolf Schlatte ; Andries Stam

続きを見る

東工大ブックレビュー

類似資料:

1 電子ブック Formal Methods for Components and Objects Boer, Frank S., Bonsangue, Marcello M., Kanade, Takeo, Madelaine, Eric, Kittler, Josef SpringerLink Books - AutoHoldings, Springer Berlin Heidelberg	7 電子ブック Formal Methods for Components and Objects Boer, Frank S., Boer, Frank S. de, Bonsangue, Marcello M., Graf, Susanne, Kanade, Takeo, Roever, Willem-Paul, de Roever, … SpringerLink Books - AutoHoldings, Springer Berlin Heidelberg
2 電子ブック Formal Methods for Components and Objects Hutchison, David, Kanade, Takeo, Bonsangue, Marcello M., de Boer, Frank S. SpringerLink Books - AutoHoldings, Springer Berlin Heidelberg	8 電子ブック Formal Methods for Components and Objects Boer, Frank S., Boer, Frank S. de, Bonsangue, Marcello M., Graf, Susanne, Kanade, Takeo, Roever, Willem-Paul, de Roever, … SpringerLink Books - AutoHoldings, Springer Berlin Heidelberg
3 電子ブック Formal Methods for Components and Objects Boer, Frank S., Boer, Frank S. de, Bonsangue, Marcello M., Graf, Susanne, Kanade, Takeo, Roever, Willem-Paul Springer eBooks Computer Science, Springer Berlin Heidelberg	9 電子ブック Formal Methods for Components and Objects Boer, Frank S., Bonsangue, Marcello M., Hallerstede, Stefan, Kanade, Takeo, Leuschel, Michael Springer eBooks Computer Science, Springer Berlin Heidelberg
4 電子ブック Formal Methods for Components and Objects Boer, Frank S., Boer, Frank S. de, Bonsangue, Marcello M., Graf, Susanne, Kanade, Takeo, Roever, Willem-Paul Springer eBooks Computer Science, Springer Berlin Heidelberg	10 電子ブック Formal Methods for Components and Objects Boer, Frank S., Bonsangue, Marcello M., Hallerstede, Stefan, Kanade, Takeo, Leuschel, Michael SpringerLink Books - AutoHoldings, Springer Berlin Heidelberg
5 電子ブック Formal Methods for Components and Objects Boer, Frank S., Boer, Frank S. de, Bonsangue, Marcello M., Graf, Susanne, Kanade, Takeo, Roever, Willem-Paul Springer eBooks Computer Science, Springer Berlin Heidelberg	11 電子ブック Formal Methods for Components and Objects Hutchison, David, Kanade, Takeo, Bonsangue, Marcello M., Damiani, Ferruccio, de Boer, Frank S. SpringerLink Books - AutoHoldings, Springer Berlin Heidelberg
6 電子ブック Formal Methods for Components and Objects Hutchison, David, Boer, Frank S. de, Kanade, Takeo, de Boer, Frank S., de Roever, Willem-Paul, Graf, Susanne, Bonsangue, … SpringerLink Books - AutoHoldings, Springer Berlin / Heidelberg	12 電子ブック Formal Methods for Components and Objects Boer, Frank S., Boer, Frank S. de, Bonsangue, Marcello M., Graf, Susanne, Kanade, Takeo, Roever, Willem-Paul, de Roever, … SpringerLink Books - AutoHoldings, Springer Berlin Heidelberg

1

2

3

4

5

6

7

8

9

10

11

12