close
1.

電子ブック

EB
Martin Wirsing, Jean-Pierre Banâtre, Matthias Hölzl, Takeo Kanade, Axel Rauschmayer
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2008
所蔵情報: loading…
目次情報: 続きを見る
Engineering of Software-Intensive Systems: State of the Art and Research Challenges / Matthias Holzl ; Axel Rauschmayer ; Martin Wirsing
Ensemble Engineering / I:
Software Engineering for Ensembles
Change-Enabled Software Systems / Oscar Nierstrasz ; Marcus Denker ; Tudor Girba ; Adrian Lienhard ; David Rothlisberger
On the Challenge of Engineering Socio-technical Systems / Jose Luiz Fiadeiro
Design of Complex Cyber Physical Systems with Formalized Architectural Patterns / Lui Sha ; Jose Meseguer
Cyber-Physical Systems and Events / Carolyn Talcott
Design and Deployment of Large-Scale Software-Intensive Systems in Urban Districts / Teruo Higashino
Theory and Formal Methods / II:
Formal Ensemble Engineering / J.W. Sanders ; Graeme Smith
Structured Interacting Computations: A Position Paper / William Cook ; Jayadev Misra
Extending Formal Methods for Software-Intensive Systems
Ensemble Engineering and Emergence / Hu Jun ; Zhiming Liu ; G.M. Reed
Mathematical Support for Ensemble Engineering / Michael Johnson
Behaviour Equivalences in Timed Distributed [pi]-Calculus / Gabriel Ciobanu
Novel Computing Paradigms / III:
The Chemical Reaction Model: Recent Developments and Prospects / Jean-Pierre Banatre ; Pascal Fradet ; Yann Radenac
Spatial Organization of the Chemical Paradigm and the Specification of Autonomic Systems / Jean-Louis Giavitto ; Olivier Michel ; Antoine Spicher
Emerging Models of Computation: Directions in Molecular Computing: Position Paper for InterLink Workshop, May 2007 / Darko Stefanovic
Author Index
Engineering of Software-Intensive Systems: State of the Art and Research Challenges / Matthias Holzl ; Axel Rauschmayer ; Martin Wirsing
Ensemble Engineering / I:
Software Engineering for Ensembles
2.

電子ブック

EB
Martin Wirsing, Matthias Hölzl, Takeo Kanade
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2011
所蔵情報: loading…
目次情報: 続きを見る
Intro / I:
SENSORIA - Software Engineering for Service-Oriented Overlay Computers / Martin Wirsing ; Matthias Hölzl ; Nora Koch ; Philip Mayer
A Unifying Formal Basis for the SENSORIA Approach: A White Paper / Ugo Montanari
Introduction to the SENSORIA Case Studies / Jannis Elgner ; Stefania Gnesi
Modelling in Service-Oriented Architectures / II:
UML Extensions for Service-Oriented Systems / Howard Foster ; László Gönczy ; Carlo Montangero ; Dániel Varró
The SENSORIA Reference Modelling Language / José Fiadeiro ; Antónia Lopes ; Laura Bocchi ; João Abreu
Model-Driven Development of Adaptable Service-Oriented Business Processes / Stephan Reiff-Marganiec ; Laura Semini
A Formal Support to Business and Architectural Design for Service-Oriented Systems / Roberto Bruni ; Alberto Lluch Lafuente ; Emilio Tuosto
Calculi for Service-Oriented Computing / III:
Core Calculi for Service-Oriented Computing / Luís Caires ; Rocco De Nicola ; Rosario Pugliese ; Vasco T. Vasconcelos ; Gianluigi Zavattaro
Behavioral Theory for Session-Oriented Calculi / Ivan Lanese ; Antonio Ravara ; Hugo Torres Vieira
Static Analysis Techniques for Session-Oriented Calculi / Lucia Acciai ; Chiara Bodei ; Michele Boreale
Call-by-Contract for Service Discovery, Orchestration and Recovery / Massimo Bartoletti ; Pierpaolo Degano ; Gian Luigi Ferrari ; Roberto Zunino
Negotiations, Planning, and Reconfiguration / IV:
CC-Pi: A Constraint Language for Service Negotiation and Composition / Maria Grazia Buscemi
Advanced Mechanisms for Service Composition, Query and Discovery / Mario Bravetti
Advanced Mechanisms for Service Combination and Transactions / Carla Ferreira
Model-Driven Development of Long Running Transactions / Vincenzo Ciancia ; Gianluigi Ferrari ; Roberto Guanciale ; Daniele Strollo
Hierarchical Models for Service-Oriented Systems / Andrea Corradini ; Fabio Gadducci
Qualitative Analysis Techniques for Service-Oriented Computing / V:
Analysing Protocol Stacks for Services / Han Gao ; Flemming Nielson ; Hanne Riis Nielson
An Abstract, on the Fly Framework for the Verification of Service-Oriented Systems / Franco Mazzanti
Tools and Verification / Davide Sangiorgi
Specification and Analysis of Dynamically-Reconfigurable Service Architectures / Arun Mukhija ; David S. Rosenblum ; Sebastian Uchitel
Quantitative Analysis Techniques for Service-Oriented Computing / VI:
SoSL: A Service-Oriented Stochastic Logic / Diego Latella ; Michele Loreti ; Mieke Massink
Evaluating Service Level Agreements Using Observational Probes / Allan Clark ; Stephen Gilmore
Scaling Performance Analysis Using Fluid-Flow Approximation / Mirco Tribastone
Passage-End Analysis for Analysing Robot Movement / Adam Duguid
Quantitative Analysis of Services / Igor Cappello ; Paola Quaglia ; Stefano Schivo
Model-Driven Development and Reverse-Engineering for Service-Oriented Systems / VII:
Methodologies for Model-Driven Development and Deployment: An Overview / Ábel Hegedüs
Advances in Model Transformations by Graph Transformation: Specification, Execution and Analysis / Gábor Bergmann ; Artur Boronat ; Reiko Heckel ; Paolo Torrini ; István Ráth
Runtime Support for Dynamic and Adaptive Service Composition
Legacy Transformations for Extracting Service Components / Carlos Matos
The SENSORIA Development Environment
Case Studies and Patterns / VIII:
Specification and Implementation of Demonstrators for the Case Studies
SENSORIA Results Applied to the Case Studies / Maurice H. ter Beek
Analysing Robot Movement Using the SENSORIA Methods / Alessandro Lapadula ; Claudio Palasciano
The SENSORIA Approach Applied to the Finance Case Study / Francesco Tiezzi
SENSORIA Patterns
Author Index
Intro / I:
SENSORIA - Software Engineering for Service-Oriented Overlay Computers / Martin Wirsing ; Matthias Hölzl ; Nora Koch ; Philip Mayer
A Unifying Formal Basis for the SENSORIA Approach: A White Paper / Ugo Montanari
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼