close
1.

図書

図書
Nora Koch, Piero Fraternali, Martin Wirsing (eds.)
出版情報: Berlin : Springer, c2004  xxi, 623 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 3140
所蔵情報: loading…
目次情報: 続きを見る
Invited Papers
The Real World or Web Engineering? / Lutz Heuser
Web Engineering - Old Wine in New Bottles? / Gerti Kappel ; Elke Michlmayr ; Birgit Pröll ; Siegfried Reich ; Werner Retschitzegger
Requirements Engineering: Problem Analysis and Solution Specification / R.J. Wieringa
Web Quality and Usability
Automated Evaluation of Web Usability and Accessibility by Guideline Review / Jean Vanderdonckt ; Abdo Beirekdar ; Monique Noirhomme-Fraiture
"I Need It Now": Improving Website Usability by Contextualizing Privacy Policies / Davide Boichini ; Qingfeng He ; Annie I. Antón ; William Stufflebeam
A Linear Regression Model for Assessing the Ranking of Web Sites Based on Number of Visits / Dowming Yeh ; Pei-Chen Sun ; Jia-Wen Lee
A Framework for Exploiting Conceptual Modeling in the Evaluation of Web Application Quality / Pier Luca Lanzi ; Maristella Matera ; Andrea Maurino
Using Adaptive Techniques to Validate and Correct an Audience Driven Design of Web Sites / Sven Casteleyn ; Irene Garrigós ; Olga De Troyer
Conceptual Modeling
Modeling User Input and Hypermedia Dynamics in Hera / Geert-Jan Houben ; Flavius Frasincar ; Peter Barna ; Richard Vdovjak
A Behavioral Semantics of OOHDM Core Features and of Its Business Process Extension / Hans Albrecht Schmid ; Oliver Herfort
XGuide - Concurrent Web Engineering with Contracts / Clemens Kerer ; Engin Kirda
A Proposal for Petri Net Based Web Service Application Modeling / Daniel Moldt ; Sven Offermann ; Jan Ortmann
Extending Navigation Modelling to Support Content Aggregation in Web Sites / Pedro Valderas ; Joan Fons ; Vicente Pelechano
Web Services and Distributed Processes and Systems
Exception Handling Within Workflow-Based Web Applications / Marco Brambilla ; Nicola D'Elia
Loosely Coupled Web Services in Remote Object Federations / Uwe Zdun
MDA Applied: From Sequence Diagrams to Web Service Choreography / Bernhard Bauer ; Jörg P. Müller
A Three-Level Architecture for Distributed Web Information Systems / Markus Kirchberg ; Klaus-Dieter Schewe ; Bernhard Thalheim ; Richard Wang
Modeling and Analysis of Contract Net Protocol / Fu-Shiung Hsieh
Web Metrics, Cost Estimation, and Measurement
A Web Metrics Survey Using WQM / Coral Calero ; Julián Ruiz ; Mario Piattini
A COSMIC-FFP Based Method to Estimate Web Application Development Effort / Gennaro Costagliola ; Filomena Ferrucci ; Carmine Gravino ; Genoveffa Tortora ; Giuliana Vitiello
Evaluation of Commercial Web Engineering Processes / Andrew McDonald ; Ray Welland
A Roadmap Towards Distributed Web Assessment / Arno Scharl
Ontology for Software Metrics and Indicators: Building Process and Decisions Taken / Luis Olsina ; María de los Angeles Martín
Measuring Semantic Relations of Web Sites by Clustering of Local Context / Carsten Stolz ; Vassil Gedov ; Kai Yu ; Ralph Neuneier ; Michal Skubacz
Personalization and Adaptation of Web Applications
Interplay of Content and Context / Rudi Belotti ; Corsin Decurtins ; Michael Grossniklaus ; Moira C. Norrie ; Alexios Palinginis
Model-Driven Design of Web Applications with Client-Side Adaptation / Stefano Ceri ; Peter Dolog ; Wolfgang Nejdl
Personalisation Services for Self E-learning Networks / Kevin Keenoy ; Alexandra Poulovassilis ; Vassilis Christophides ; Philippe Rigaux ; George Papamarkos ; Aimilia Magkanaraki ; Miltos Stratakis ; Nicolas Spyratos ; Peter Wood
Personalizing Web Sites for Mobile Devices Using a Graphical User Interface / Leonardo Teixeira Passos ; Marco Tulio Valente
Personalizing Digital Libraries at Design Time: The Miguel de Cervantes Digital Library Case Study / Alejandro Bia ; Jaime Gómez
Code Generation and Tools
Comparison of Two Approaches for Automatic Construction of Web Applications: Annotation Approach and Diagram Approach / Mitsuhisa Taguchi ; Kornkamol Jamroendararasame ; Kazuhiro Asami ; Takehiro Tokuda
Device Independent Web Applications - The Author Once - Display Everywhere Approach / Thomas Ziegert ; Markus Lauff
WAPS: Web Application Prototyping System / Roberto Paiano ; Andrea Pandurino
A Framework for the Simulation of Web Applications / Pedro Peixoto ; K.K. Fung ; David Lowe
Advisor Suite: A Tool for Rapid Development of Maintainable Online Sales Advisory Systems / Dietmar Jannach ; Ceroid Kreutler
Development Process and Process Improvement of Web Applications
An Agent-Based Approach to Web Site Maintenance / Wamberto W. Vasconcelos ; João Cavalcanti
From Maintenance to Evolutionary Development of Web Applications: A Pragmatic Approach / Rudolf Ramler ; Klaus Wolfmaier ; Edgar Weippl
An MDA Approach for the Development of Web Applications / Santiago Meliá Beigbeder ; Cristina Cachero Castro
RetroWeb: A Web Site Reverse Engineering Approach / Sélima Besbes Essanaa ; Nadira Lammari
Empirical Methodologies for Web Engineering / Briony J. Oates ; Gary Griffiths ; Mike Lockyer ; Barry Hebbron
Semantic Web and Applications
Using RDF to Query Spatial XML / Jose Eduardo Córcoles ; Pascual Conzález
Extending Policy Languages to the Semantic Web / Ernesto Damiani ; Sabrina De Capitani di Vimercati ; Cristiano Fugazza ; Pierangela Samarati
HyCo - An Authoring Tool to Create Semantic Learning Objects for Web-Based E-learning Systems / Francisco J. García ; Adriana J. Berlanga ; Maria N. Moreno ; Javier García ; Jorge Carabias
Annotation for the Semantic Web During Website Development / Peter Plessers
Lifting XML Schema to OWL / Matthias Ferdinand ; Christian Zirpins ; David Trastour
Performance
Accelerating Dynamic Web Content Delivery Using Keyword-Based Fragment Detection / Daniel Brodie ; Amrish Gupta ; Weisong Shi
SIE - Intelligent Web Proxy Framework / Grzegorz Andruszkiewicz ; Krzysztof Ciebiera ; Marcin Gozdalik ; Cezary Kaliszyk ; Mateusz Srebrny
Wide Area Performance Monitoring Using Aggregate Latency Profiles / Vladimir Zadorozhny ; Avigdor Gal ; Louiqa Raschid ; Qiang Ye
Workload Characterization of Uncacheable HTTP Content / Zhaoming Zhu ; Yonggen Mao
A Scalable Component-Based Architecture for Online Services of Library Catalogs / Marcus Flehmig
Web Data Models, Query and Representation Languages
An XHTML 2.0 Implementation / Mikko Pohja ; Mikko Honkala ; Petri Vuorimaa
Semantic Matching of Natural Language Web Queries / Naouel Karam ; Salima Benbernou ; Mohand-Said Hacid ; Michel Schneider
From Relational Data to RDFS Models / Makym Korotkiy ; Jan L. Top
Automatic Interpretation of Natural Language for a Multimedia E-learning Tool / Serge Linckels ; Christoph Meinel
Representing XML Schema in UML - A Comparison of Approaches / Martin Bernauer ; Gerhard Kramler
Web Interface Engineering
Screen Readers Cannot See - Ontology Based Semantic Annotation for Visually Impaired Web Travellers / Yeliz Yesilada ; Simon Harper ; Carole Goble ; Robert Stevens
Engineering the Presentation Layer of Adaptable Web Information Systems / Zoltán Fiala ; Michael Hinz ; Klaus Meissner
A Notation and Framework for Dialog Flow Control in Web Applications / Matthias Book ; Volker Gruhn
A Framework for the Internationalization of Data-Intensive Web Applications / Alberto Belussi ; Roberto Posenato
Using Web Services to Build Context-Aware Applications in Ubiquitous Computing / Gerhard Austaller ; Jussi Kangasharju ; Max Mühlhäuser
Security, Safety, and Reliability
Model-Checking of Safety and Security Aspects in Web Service Flows / Shin Nakajima
Reliable and Adaptable Security Engineering for Database-Web Services / Martin Wimmer ; Daniela Eberhardt ; Pia Ehrnlechner ; Alfons Kemper
Supporting Secure Deployment of Portal Components / Martin Gaedke ; Johannes Meinecke ; Martin Nussbaumer
A System for Interactive Authorization for Business Processes for Web Services / Hristo Koshutanski ; Fabio Massacci
Web Engineering Curriculum: A Case Study of an Evolving Framework / Yogesh Deshpande
Web Mining, User Models, and Data Analysis
Behaviour Recovery and Complicated Pattern Definition in Web Usage Mining / Long Wang
An Efficient Automated Negotiation System Using Multi-attributes in the Online Environment / Sanghyun Park ; Sung-Bong Yang
Local Nonnegative Matrix Factorization for Mining Typical User Session Profile / Jixiang Jiang ; Baowen Xu ; Jianjiang Lu ; Hongji Yang
An Architecture for Personalized Systems Based on Web Mining Agents / María N. Moreno ; M. José Polo
WISE: A Web-Based Intelligent Sensor Explorer Framework for Publishing, Browsing, and Analyzing Sensor Data over the Internet / Kien A. Hua ; Rui Peng ; Georgiana L. Hamza-Lup
Posters
Semantic Information Generation from Classification and Information Extraction / Tércio de Morais Sampaio Silva ; Frederico Luiz Gonçalves de Freitas ; Rafael Cobra Teske ; Guilherme Bittencourt
A Study on the Secure Business Web Service Based on ebXML / Dongil Shin ; Dongkyoo Shin ; Baek-Ho Sung ; Jun-Hong Song
Website Modeling and Website Generation / Irina Romalis ; Thomas Raak ; Gunar Fiedler
Improving Web Sites by Automatic Source Code Analysis and Modifications / Piotr Sankowski
Using Topic Maps in an E-learning Context / Marie-Hélène Abel ; Dominique Lenne ; Claude Moulin ; Ahcene Benayache
A Component-Based WebGIS Geo-Union / Yingwei Luo ; Xiaolin Wang ; Zhuoqun Xu
Engineering a Semantic Web for Pathology / Robert Tolksdorf ; Elena Paslaru Bontas
Enhancing Decoupling in Portlet Implementation / Salvador Trujillo ; Iñaki Paz ; Oscar Díaz
A Metadata Model for the Design and Deployment of Document Management Systems / Federica Paganelli ; Omar Abou Khaled ; Maria Chiara Pettenati ; Dino Giuli
MSC-Based Formalism for Automated Web Navigation / Vicente Luque Centeno ; Carlos Delgado Kloos ; Luis Sánchez Fernández ; Norberto Fernández García
A Procedure for Development and Execution of Process-Based Composite Web Services / Dimka Karastoyanova ; Alejandro Buchmann
Towards Integrating Autonomously Created Knowledge Descriptions for the Semantic Web / Christian Mönch ; Sari Hakkarainen
XWebProcess: Agile Software Development for Web Applications / Américo Sampaio ; Alexandre Vasconcelos ; Pedro R. Falcone Sampaio
Automating Standards-Based Courseware Development Using UML / Andreas Papasalouros ; Symeon Retalis ; Nikolaos Papaspyrou
WING: A Web Probing, Visualization, and Performance Analysis Service / Leszek Borzemski ; Ziemowit Nowak
Preparing for Service-Oriented Computing: A Composite Design Pattern for Stubless Web Service Invocation / Paul A. Buhler ; Christopher Starr ; William H. Schroder ; José M. Vidal
An Architectural Model to Promote User Awareness on the Web / Claudio O. Gutiérrez ; Luis A. Guerrero ; César A. Collazos
UML Profile for OWL / Dragan Djurić ; Dragan Gašević ; Vladan Devedžic ; Violeta Damjanović
Building and Operating an E-business Platform - Technical Challenges and Other Pitfalls / Peter Zoller
Tool Demonstrations
Model-Driven Web Development with VisualWADE / Jaime Gócmez
WebRatio, an Innovative Technology for Web Application Development / Roberto Acerbis ; Aldo Bongio ; Stefano Butti ; Fulvio Ciapessoni ; Carlo Conserva ; Piero Fraternali ; Giovanni Toffetti Carughi
Modeling the Structure of Web Applications with ArgoUWE / Alexander Knapp ; Nora Koch ; Gefei Zhang
Welkin: Automatic Generation of Adaptive Hypermedia Sites with NLP Techniques / Enrique Alfonseca ; Diana Pérez ; Pilar Rodríguez
Authoring and Dynamic Generation of Adaptive E-courses / Rosa M. Carro ; Manuel Freiré ; Estefanía Martín ; Alvaro Ortigosa ; Pedro Paredes ; Johann Schlichter
Author Index
Invited Papers
The Real World or Web Engineering? / Lutz Heuser
Web Engineering - Old Wine in New Bottles? / Gerti Kappel ; Elke Michlmayr ; Birgit Pröll ; Siegfried Reich ; Werner Retschitzegger
2.

図書

図書
Martin Wirsing, Dirk Pattinson, Rolf Hennicker (eds.)
出版情報: Berlin ; Tokyo : Springer, c2003  viii, 456 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2755
所蔵情報: loading…
目次情報: 続きを見る
Invited Technical Papers
AGILE: Software Architecture for Mobility / L. Andrade ; P. Baldan ; H. Baumeister ; R. Bruni ; A. Corradini ; R. De Nicola ; J.L. Fiadeiro ; F. Gadducci ; S. Gnesi ; P. Hoffman ; N. Koch ; P. Kosiuczenko ; A. Lapadula ; D. Latella ; A. Lopes ; M. Loreti ; M. Massink ; F. Mazzanti ; U. Montanari ; C. Oliveira ; R. Pugliese ; A. Tarlecki ; M. Wermelinger ; M. Wirsing ; A. Zawlocki
A Coinductive Calculus of Component Connectors / F. Arbab ; J.J.M.M. Rutten
An Attempt at Analysing the Consistency Problems in the UML from a Classical Algebraic Viewpoint / E. Astesiano ; G. Reggio
MultiMedia Instruction in Safe and Secure Systems / B. Krieg-Bruckner ; D. Hutter ; A. Lindow ; C. Luth ; A. Mahnke ; E. Melis ; P. Meier ; A. Poetzsch-Heffter ; M. Roggenbach ; G. Russell ; J.-G. Smaus
Invited Non-technical Papers
Zero, Connected, Empty / R.A. Goguen ; J.A. Goguen
Zero, Connected, Empty: An Essay after a Cantata
Contributed Papers
Type Checking Parametrised Programs and Specifications in ASL+FPC / D. Aspinall
Pre-nets, Read Arcs and Unfolding: A Functorial Presentation
Coreflective Concurrent Semantics for Single-Pushout Graph Grammars / L. Ribeiro
Completeness Results for Fibred Parchments / C. Caleiro ; P. Gouveia ; J. Ramos
Use of Patterns in Formal Development: Systematic Transition from Problems to Architectural Designs / C. Choppy ; M. Heisel
Conditional Circular Coinductive Rewriting with Case Analysis / K. Lin ; G. Rosu
Verifying Generative Casl Architectural Specifications
Algebraic Higher-Order Nets: Graphs and Petri Nets as Tokens / K. Hoffmann ; T. Mossakowski
The Coinductive Approach to Verifying Cryptographic Protocols / J. Hughes ; M. Warnier
Behavioural Equivalence and Indistinguishability in Higher-Order Typed Languages / S. Katsumata
Approach-Independent Structuring Concepts for Rule-Based Systems / H.-J. Kreowski ; S. Kuske
Notions of Behaviour and Reachable-Part and Their Institutions / A. Kurz
Combining Specification Formalisms in the `General Logic' of Multialgebras / Y. Lamo ; M. Walicki
On How Distribution and Mobility Interfere with Coordination
Foundations of Heterogeneous Specification
Algebraic-Coalgebraic Specification in CoCasl / H. Reichel ; L. Schroder
Translating Logics for Coalgebras / D. Pattinson
Presenting and Combining Inference Systems / W. Pawlowski
Monad-Independent Dynamic Logic in HasCasl / L. Schröder
Preserving Properties in System Redesign: Rule-Based Approach / M. Urbasek
Author Index
Invited Technical Papers
AGILE: Software Architecture for Mobility / L. Andrade ; P. Baldan ; H. Baumeister ; R. Bruni ; A. Corradini ; R. De Nicola ; J.L. Fiadeiro ; F. Gadducci ; S. Gnesi ; P. Hoffman ; N. Koch ; P. Kosiuczenko ; A. Lapadula ; D. Latella ; A. Lopes ; M. Loreti ; M. Massink ; F. Mazzanti ; U. Montanari ; C. Oliveira ; R. Pugliese ; A. Tarlecki ; M. Wermelinger ; M. Wirsing ; A. Zawlocki
A Coinductive Calculus of Component Connectors / F. Arbab ; J.J.M.M. Rutten
3.

電子ブック

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
4.

電子ブック

EB
Iman Hafiz Poernomo, John N. Crossley, David Gries, Fred B. Schneider, Martin Wirsing
出版情報: Springer eBooks Computer Science , Springer New York, 2005
所蔵情報: loading…
5.

電子ブック

EB
Marsha Chechik, Takeo Kanade, Martin Wirsing
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2009
所蔵情報: loading…
6.

電子ブック

EB
Martin Wirsing, Martin Hofmann, Takeo Kanade, Axel Rauschmayer
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2010
所蔵情報: loading…
目次情報: 続きを見る
Invited Talks / I:
Symbolic and Analytic Techniques for Resource Analysis of Java Bytecode / David Aspinall ; Robert Atkey ; Kenneth MacKenzie ; Donald Sannella
Perspectives in Certificate Translation / Gilles Barthe ; César Kunz
Uniform Labeled Transition Systems for Nondeterministic, Probabilistic, and Stochastic Processes / Marco Bernardo ; Rocco De Nicola ; Michele Loreti
Toward a Game-Theoretic Model of Grid Systems / Maria Grazia Buscemi ; Ugo Montanari ; Sonia Taneja
Functions as Processes: Termination and the ???-calculus / Matteo Cimini ; Claudio Sacerdoti Coen ; Davide Sangiorgi
Predicate Encryption for Secure Remote Storage (Abstract) / Giuseppe Persiano
Trust in Crowds: Probabilistic Behaviour in Anonymity Protocols / Vladimiro Sassone ; Ehab ElSalamouny ; Sardaouna Hamadou
Types and Processes / II:
Expressiveness of Generic Process Shape Types / Jan Jakubuv ; J.B. Wells
A Java Inspired Semantics for Transactions in SOC / Laura Bocchi ; Emilio Tuosto
Responsive Choice in Mobile Processes / Maxime Gamboni ; António Ravara
A Model of Evolvable Components / Fabrizio Montesi
Games and Concurrent Systems / III:
The Impact of Altruism on the Efficiency of Atomic Congestion Games / Ioannis Caragiannis ; Christos Kaklamanis ; Panagiotis Kanellopoulos ; Maria Kyropoulou ; Evi Papaioannou
Stressed Web Environments as Strategic Games: Risk Profiles and Weltanschauung / Joaquim Gabarro ; Peter Kilpatrick ; Maria Serna ; Alan Stewart
An Algebra of Hierarchical Graphs / Roberto Bruni ; Fabio Gadducci ; Alberto Lluch Lafuente
Property-Preserving Refinement of Concurrent Systems / Liliana D'Errico
Certification of Correctness / IV:
Certificate Translation for the Verification of Concurrent Programs
Certified Result Checking for Polyhedral Analysis of Bytecode Programs / Frédéric Besson ; Thomas Jensen ; David Pichardie ; Tiphaine Turpin
Tools and Languages / V:
A Novel Resource-Driven Job Allocation Scheme for Desktop Grid Environments / Paolo Bertasi ; Alberto Pettarin ; Michele Scquizzato ; Francesco Silvestri
A Framework for Rule-Based Dynamic Adaptation / Ivan Lanese ; Antonio Bucchiarone
CarPal: Interconnecting Overlay Networks for a Community-Driven Shared Mobility / Vincenzo Ciancaglini ; Luigi Liquori ; Laurent Vanni
Refactoring Long Running Transactions: A Case Study / Gianluigi Ferrari ; Roberto Guanciale ; Daniele Strollo
Probabilistic Aspects / VI:
Approximate Model Checking of Stochastic COWS / Paola Quaglia ; Stefano Schivo
Probabilistic Aspects: Checking Security in an Imperfect World / Chris Hankin ; Flemming Nielson ; Hanne Riis Nielson
A Tool for Checking Probabilistic Properties of COWS Services / Igor Cappello
Author Index
Invited Talks / I:
Symbolic and Analytic Techniques for Resource Analysis of Java Bytecode / David Aspinall ; Robert Atkey ; Kenneth MacKenzie ; Donald Sannella
Perspectives in Certificate Translation / Gilles Barthe ; César Kunz
7.

電子ブック

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
8.

電子ブック

EB
ICTAC 2005, Hung Van Dang, Takeo Kanade, Martin Wirsing
出版情報: Springer eBooks Computer Science , Springer Berlin / Heidelberg, 2005
所蔵情報: loading…
9.

電子ブック

EB
International Conference on Algebraic Methodology and Software Technology, M. Nivat, Martin Wirsing
出版情報: SpringerLink Books Lecture Notes In Computer Science Archive , Springer Berlin Heidelberg, 1996
所蔵情報: loading…
10.

電子ブック

EB
M. Broy, Martin Wirsing
出版情報: SpringerLink Books Lecture Notes In Computer Science Archive , Springer Berlin Heidelberg, 1991
所蔵情報: loading…
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼