Communication, and Software Systems International School on Formal Methods for the Design of Computer, Marco Bernardo, Alessandro Bogliolo, Takeo Kanade
出版情報:
Springer eBooks Computer Science , Springer Berlin / Heidelberg, 2005
CBSE 2005, George T. Heineman, Takeo Kanade, Association for Computing Machinery-Digital Library., George Heineman, Heinz W. Schmidt, Judith A. Stafford, Clemens Szyperski, Kurt Wallnau
出版情報:
Springer eBooks Computer Science , Springer Berlin Heidelberg, 2005
Architecture and Design of Component-Based Systems
Exogenous Connectors for Software Components / Kung-Kiu Lau ; Perla Velasco Elizondo ; Zheng Wang
Qinna, a Component-Based QoS Architecture / Jean-Charles Tournier ; Jean-Philippe Babau ; Vincent Olive
Architecture Based Deployment of Large-Scale Component Based Systems: The Tool and Principles / Ling Lan ; Gang Huang ; Liya Ma ; Meng Wang ; Hong Mei ; Long Zhang ; Ying Chen
An Empirical Study on the Specification and Selection of Components Using Fuzzy Logic / Kendra Cooper ; João W. Cangussu ; Rong Lin ; Ganesan Sankaranarayanan ; Ragouramane Soundararadjane ; Eric Wong
Finding a Needle in the Haystack: A Technique for Ranking Matches Between Components / Naiyana Tansalarak ; Kajal Claypool
Extra-Functional System Properties of Components and Component-Based Systems
A Contracting System for Hierarchical Components / Philippe Collet ; Roger Rousseau ; Thierry Coupaye ; Nicolas Rivierre
Tailored Responsibility Within Component-Based Systems / Elke Franz ; Ute Wappler
Efficient Upgrading in a Purely Functional Component Deployment Model / Eelco Dolstra
Real-Time Scheduling Techniques for Implementation Synthesis from Component-Based Software Models / Zonghua Gu ; Zhimin He
A Component-Oriented Model for the Design of Safe Multi-threaded Applications / Reimer Behrends ; R.E. Kurt Stirewalt ; Laura K. Dillon
TeStor: Deriving Test Sequences from Model-Based Specifications / Patrizio Pelliccione ; Henry Muccini ; Antonio Bucchiarone ; Fabrizio Facchini
Experience with Component-Based Development of a Telecommunication Service / Gregory W. Bond ; Eric Cheung ; Healfdene H. Goguen ; Karrie J. Hanson ; Don Henderson ; Gerald M. Karam ; K. Hal Purdy ; Thomas M. Smith ; Pamela Zave
Reusable Dialog Component Framework for Rapid Voice Application Development / Rahul P. Akolkar ; Tanveer Faruquie ; Juan Huerta ; Pankaj Kankar ; Nitendra Rajput ; T.V. Raman ; Raghavendra U. Udupa ; Abhishek Verma
Unlocking the Grid / Chris A. Mattmann ; Nenad Medvidovic ; Paul M. Ramirez ; Vladimir Jakobac
Experience Report: Design and Implementation of a Component-Based Protection Architecture for ASP.NET Web Services / Konstantin Beznosov
Concept Index
Author Index
Prediction, Analysis and Monitoring of System Architecture
Performance Prediction of J2EE Applications Using Messaging Protocols / Yan Liu ; Ian Gorton
EJBMemProf - A Memory Profiling Framework for Enterprise JavaBeans / Marcus Meyerhöfer ; Bernhard Volz
Gilles Barthe, Benjamin Gr?goire, Marieke Huisman, Takeo Kanade, Jean-Louis Lanet, Institut national de recherche en informatique et en automatique (France)
出版情報:
Springer eBooks Computer Science , Springer Berlin / Heidelberg, 2006
The Embedded Systems Design Challenge / Thomas A. Henzinger ; Joseph Sifakis
Interactive Verification
The Mondex Challenge: Machine Checked Proofs for an Electronic Purse / Gerhard Schellhorn ; Holger Grandy ; Dominik Haneberg ; Wolfgang Reif
Interactive Verification of Medical Guidelines / Jonathan Schmitt ; Alwin Hoffmann ; Michael Balser ; Mar Marcos
Certifying Airport Security Regulations Using the Focal Environment / David Delahaye ; Jean-Frederic Etienne ; Veronique Viguie Donzeau-Gouge
Proving Safety Properties of an Aircraft Landing Protocol Using I/O Automata and the PVS Theorem Prover: A Case Study / Shinya Umeno ; Nancy Lynch
Validating the Microsoft Hypervisor / Ernie Cohen
Formal Modelling of Systems
Interface Input/Output Automata / Kim G. Larsen ; Ulrik Nyman ; Andrzej Wasowski
Properties of Behavioural Model Merging / Greg Brunet ; Marsha Chechik ; Sebastian Uchitel
Automatic Translation from Circus to Java / Angela Freitas ; Ana Lucia Caneca Cavalcanti
Quantitative Refinement and Model Checking for the Analysis of Probabilistic Systems / Annabelle K. McIver
Real Time
Modeling and Validating Distributed Embedded Real-Time Systems with VDM++ / Marcel Verhoef ; Peter Gorm Larsen ; Jozef Hooman
Towards Modularized Verification of Distributed Time-Triggered Systems / Jewgenij Botaschanjan ; Alexander Gruler ; Alexander Harhurin ; Leonid Kof ; Maria Spichkova ; David Trachtenherz
Industrial Experience
A Story About Formal Methods Adoption by a Railway Signaling Manufacturer / Stefano Bacherini ; Alessandro Fantechi ; Matteo Tempestini ; Niccolo Zingoni
Partially Introducing Formal Methods into Object-Oriented Development: Case Studies Using a Metrics-Driven Approach / Yujun Zheng ; Jinquan Wang ; Kan Wang ; Jinyun Xue
Specification and Refinement
Compositional Class Refinement in Object-Z / Tim McComb ; Graeme Smith
A Proposal for Records in Event-B / Neil Evans ; Michael Butler
Pointfree Factorization of Operation Refinement / Jose Nuno Oliveira ; Cesar Jesus Rodrigues
A Formal Template Language Enabling Metaproof / Nuno Amalio ; Susan Stepney ; Fiona Polack
Programming Languages
Dynamic Frames: Support for Framing, Dependencies and Sharing Without Restrictions (Best Paper) / Ioannis T. Kassios
Type-Safe Two-Level Data Transformation / Alcino Cunha ; Joost Visser
Algebra
Feature Algebra / Peter Hofner ; Ridha Khedri ; Bernhard Moller
Education
Using Domain-Independent Problems for Introducing Formal Methods / Raymond Boute
Compositional Binding in Network Domains / Pamela Zave
Formal Modeling of Communication Protocols by Graph Transformation / Zarrin Langari ; Richard Trefler
Feature Specification and Static Analysis for interaction Resolution / Marc Aiguier ; Karim Berkani ; Pascale Le Gall
A Fully General Operational Semantics for UML 2.0 Sequence Diagrams with Potential and Mandatory Choice / Mass Soldal Lund ; Ketil Stolen
Formal Aspects of Java
Towards Automatic Exception Safety Verification / Xin Li ; H. James Hoover ; Piotr Rudnicki
Automated Boundary Test Generation from JML Specifications / Fabrice Bouquet ; Frederic Dadeau ; Bruno Legeard
Formal Reasoning About Non-atomic Java Card Methods in Dynamic Logic / Wojciech Mostowski
Formal Verification of a C Compiler Front-End / Sandrine Blazy ; Zaynah Dargaye ; Xavier Leroy
A Memory Model Sensitive Checker for C# / Thuan Quang Huynh ; Abhik Roychoudhury
Changing Programs Correctly: Refactoring with Specifications / Fabian Bannwart ; Peter Muller
Mechanical Verification of Recursive Procedures Manipulating Pointers Using Separation Logic / Viorel Preoteasa
Model Checking
Model-Based Variable and Transition Orderings for Efficient Symbolic Model Checking / Wendy Johnston ; Kirsten Winter ; Lionel van den Berg ; Paul Strooper ; Peter Robinson
Exact and Approximate Strategies for Symmetry Reduction in Model Checking / Alastair F. Donaldson ; Alice Miller
Monitoring Distributed Controllers: When an Efficient LTL Algorithm on Sequences Is Needed to Model-Check Traces / Alexandre Genon ; Thierry Massart ; Cedric Meuter
PSL Model Checking and Run-Time Verification Via Testers / Amir Pnueli ; Aleksandr Zaks
Industry Day: Abstracts of Invited Talks
Formal Methods for Security: Lightweight Plug-In or New Engineering Discipline / Werner Stephan
Formal Methods in the Security Business: Exotic Flowers Thriving in an Expanding Niche / David von Oheimb
Verifying [chi] Models of Industrial Systems with Spin / Nikola Trcka
Stateful Dynamic Partial-Order Reduction / Xiaodong Yi ; Ji Wang ; Xuejun Yang
Internetware and Web-Based Systems
User-Defined Atomicity Constraint: A More Flexible Transaction Model for Reliable Service Composition / Xiaoning Ding ; Jun Wei ; Tao Huang
Environment Ontology-Based Capability Specification for Web Service Discovery / Puwei Wang ; Zhi Jin ; Lin Liu
Scenario-Based Component Behavior Derivation / Yan Zhang ; Jun Hu ; Xiaofeng Yu ; Tian Zhang ; Xuandong Li ; Guoliang Zheng
Verification of Computation Orchestration Via Timed Automata / Yang Liu ; Jun Sun ; Xian Zhang
Towards the Semantics for Web Service Choreography Description Language / Jing Li ; Jifeng He ; Geguang Pu ; Huibiao Zhu
Type Checking Choreography Description Language / Hongli Yang ; Xiangpeng Zhao ; Zongyan Qiu ; Chao Cai
Concurrent, Communicating, Timing and Probabilistic Systems
Formalising Progress Properties of Non-blocking Programs / Brijesh Dongol
Towards a Fully Generic Theory of Data / Douglas A. Creager ; Andrew C. Simpson
Verifying Statemate Statecharts Using CSP and FDR / A. W. Roscoe ; Z. Wu
A Reasoning Method for Timed CSP Based on Constraint Solving / Ping Hao
Mapping RT-LOTOS Specifications into Time Petri Nets / Tarek Sadani ; Marc Boyer ; Pierre de Saqui-Sannes ; Jean-Pierre Courtiat
Reasoning Algebraically About Probabilistic Loops / Larissa Meinicke ; Ian J. Hayes
Object and Component Orientation
Formal Verification of the Heap Manager of an Operating System Using Separation Logic / Nicolas Marti ; Reynald Affeldt ; Akinori Yonezawa
A Statically Verifiable Programming Model for Concurrent Object-Oriented Programs / Bart Jacobs ; Jan Smans ; Frank Piessens ; Wolfram Schulte
Model Checking Dynamic UML Consistency / Quan Long
Testing and Model Checking
Conditions for Avoiding Controllability Problems in Distributed Testing / Jessica Chen ; Lihua Duan
Generating Test Cases for Constraint Automata by Genetic Symbiosis Algorithm / Samira Tasharofi ; Sepand Ansari ; Marjan Sirjani
Checking the Conformance of Java Classes Against Algebraic Specifications / Isabel Nunes ; Antonia Lopes ; Vasco Vasconcelos ; Joao Abreu ; Luis S. Reis
Incremental Slicing / Heike Wehrheim
Assume-Guarantee Software Verification Based on Game Semantics / Aleksandar Dimovski ; Ranko Lazic
Optimized Execution of Deterministic Blocks in Java PathFinder / Marcelo d'Amorim ; Ahmed Sobeih ; Darko Marinov
Tools
A Tool for a Formal Pattern Modeling Language / Soon-Kyeong Kim ; David Carrington
An Open Extensible Tool Environment for Event-B / Jean-Raymond Abrial ; Michael Butler ; Stefan Hallerstede ; Laurent Voisin
Tool for Translating Simulink Models into Input Language of a Model Checker / Meenakshi B. ; Abhishek Bhatnagar ; Sudeepa Roy
Fault-Tolerance and Security
Verifying Abstract Information Flow Properties in Fault Tolerant Security Devices / Tim McComb ; Luke Wildman
A Language for Modeling Network Availability / Luigia Petre ; Kaisa Sere ; Marina Walden
Multi-process Systems Analysis Using Event B: Application to Group Communication Systems / J. Christian Attiogbe
Specification and Refinement
Issues in Implementing a Model Checker for Z / John Derrick ; Siobhan North ; Tony Simons
Taking Our Own Medicine: Applying the Refinement Calculus to State-Rich Refinement Model Checking / Leo Freitas ; Ana Cavalcanti ; Jim Woodcock
Discovering Likely Method Specifications / Nikolai Tillmann ; Feng Chen
Time Aware Modelling and Analysis of Multiclocked VLSI Systems / Tomi Westerlund ; Juha Plosila
SALT-Structured Assertion Language for Temporal Logic / Andreas Bauer ; Martin Leucker ; Jonathan Streit
Author Index
Keynote Talks
Program Verification Through Computer Algebra / Chaochen Zhou
JML's Rich, Inherited Specifications for Behavioral Subtypes / Gary T. Leavens
A Software Component Model and Its Preliminary Formalisation / Kung-Kiu Lau ; Mario Ornaghi ; Zheng Wang
Synchronised Hyperedge Replacement as a Model for Service Oriented Computing / Gian Luigi Ferrari ; Dan Hirsch ; Ivan Lanese ; Ugo Montanari ; Emilio Tuosto
System Design
Control of Modular and Distributed Discrete-Event Systems / Jan Komenda ; Jan H. van Schuppen
Model-Based Security Engineering with UML: Introducing Security Aspects / Jan Jurjens
The Pragmatics of Stairs / Ragnhild Kobro Runde ; Oystein Haugen ; Ketil Stolen
Tools
Smallfoot: Modular Automatic Assertion Checking with Separation Logic / Josh Berdine ; Cristiano Calcagno ; Peter W. O'Hearn
Orion: High-Precision Methods for Static Error Analysis of C and C++ Programs / Dennis R. Dams ; Kedar S. Namjoshi
Algebraic Methods
Beyond Bisimulation: The "up-to" Techniques / Davide Sangiorgi
Separation Results Via Leader Election Problems / Maria Grazia Vigliotti ; Iain Phillips ; Catuscia Palamidessi
Divide and Congruence: From Decomposition of Modalities to Preservation of Branching Bisimulation / Wan Fokkink ; Rob van Glabbeek ; Paulien de Wind
Model Checking
Abstraction and Refinement in Model Checking / Orna Grumberg
Program Compatibility Approaches / Edmund Clarke ; Natasha Sharygina ; Nishant Sinha
Cluster-Based LTL Model Checking of Large Systems / Jiri Barnat ; Lubos Brim ; Ivana Cerna
Safety and Liveness in Concurrent Pointer Programs / Dino Distefano ; Joost-Pieter Katoen ; Arend Rensink
Assertional Methods
Modular Specification of Encapsulated Object-Oriented Components / Arnd Poetzsch-Heffter ; Jan Schafer
Beyond Assertions: Advanced Specification and Verification with JML and ESC/Java2 / Patrice Chalin ; Joseph R. Kiniry ; Gary T. Leavens ; Erik Poll
Boogie: A Modular Reusable Verifier for Object-Oriented Programs / Mike Barnett ; Bor- Yuh Evan Chang ; Robert DeLine ; Bart Jacobs ; K. Rustan M. Leino
Quantitative Analysis
On a Probabilistic Chemical Abstract Machine and the Expressiveness of Linda Languages / Alessandra Di Pierro ; Chris Hankin ; Herbert Wiklicky
Partial Order Reduction for Markov Decision Processes: A Survey / Marcus Groesser ; Christel Baier
Author Index
Component and Service Oriented Computing
A Software Component Model and Its Preliminary Formalisation / Kung-Kiu Lau ; Mario Ornaghi ; Zheng Wang
Synchronised Hyperedge Replacement as a Model for Service Oriented Computing / Gian Luigi Ferrari ; Dan Hirsch ; Ivan Lanese ; Ugo Montanari ; Emilio Tuosto
Model Checking PSL Using HOL and SMV / Thomas Tuerk ; Klaus Schneider ; Mike Gordon
Using Linear Programming Techniques for Scheduling-Based Random Test-Case Generation / Amir Nahir ; Yossi Shiloach ; Avi Ziv
Extracting a Simplified View of Design Functionality Based on Vector Simulation / Onur Guzey ; Charles Wen ; Li-C. Wang ; Tao Feng ; Hillel Miller ; Magdy S. Abadir
Automatic Fault Localization for Property Checking / Stefan Staber ; Gorschwin Fey ; Roderick Bloem ; Rolf Drechsler
Verification of Data Paths Using Unbounded Integers: Automata Strike Back / Tobias Schuele
A Software Modeling Odyssey: Designing Evolutionary Architecture-Centric Real-Time Systems and Product Lines / Hassan GomaaKeynote 1:
Evaluating UML
Uses and Abuses of the Stereotype Mechanism in UML 1.x and 2.0 / Brian Henderson-Sellers ; Cesar Gonzalez-Perez
An Experimental Investigation of UML Modeling Conventions / Christian F.J. Lange ; Bart Du Bois ; Michel R.V. Chaudron ; Serge Demeyer
Improving the Definition of UML / Greg O'Keefe
MDA in Software Development
Adopting Model Driven Software Development in Industry - A Case Study at Two Companies / Miroslaw Staron
Use Case Driven Iterative Development: Hurdles and Solutions / Santiago Ceria ; Juan Jose Cukier
Model-Driven Development with SDL - Process, Tools, and Experiences / Thomas Kuhn ; Reinhard Gotzhein ; Christian Webel
Concrete Syntax
Model-Driven Analysis and Synthesis of Concrete Syntax / Pierre-Alain Muller ; Franck Fleurey ; Frederic Fondement ; Michel Hassenforder ; Rend Schneckenburger ; Sebastien Gerard ; Jean-Marc Jezequel
Correctly Defined Concrete Syntax for Visual Modeling Languages / Thomas Baar
Applying UML to Interaction and Coordination
Compositional MDA / Louis van Gool ; Teade Punter ; Marc Hamilton ; Remco van Engelen
CUP 2.0: High-Level Modeling of Context-Sensitive Interactive Applications / Jan Van den Bergh ; Karin Coninx
Aspects
Domain Models Are NOT Aspect Free / Awais Rashid ; Ana Moreira
A Slice of MDE with AOP: Transforming High-Level Business Rules to Aspects / Maria Agustina Cibran ; Maja D'Hondt
Model Intergration
Package Merge in UML 2: Practice vs. Theory? / Alanna Zito ; Zinovy Diskin ; Juergen Dingel
Detecting and Resolving Model Inconsistencies Using Transformation Dependency Analysis / Tom Mens ; Ragnhild Van Der Straeten
Merging Models with the Epsilon Merging Language (EML) / Dimitrios S. Kolovos ; Richard F. Paige ; Fiona A.C. Polack
Formal Semantics of UML
Mappings, Maps and Tables: Towards Formal Semantics for Associations in UML2
Semantic Variations Among UML StateMachines / Ali Taleghani ; Joanne M. Atlee
Facilitating the Definition of General Constraints in UML / Dolors Costal ; Cristina Gomez ; Anna Queralt ; Ruth Raventos ; Ernest Teniente
Security
Towards a MOF/QVT-Based Domain Architecture for Model Driven Security / Michael Hafner ; Muhammad Alam ; Ruth Breu
MDA-Based Re-engineering with Object-Z / Jorn Guy Suss ; Tim McComb ; Soon-Kyeong Kim ; Luke Wildman ; Geoffrey Watson
A Model Transformation Semantics and Analysis Methodology for SecureUML / Achim D. Brucker ; Jurgen Doser ; Burkhart Wolff
Model Transformation Tools and Implementation
Incremental Model Transformation for the Evolution of Model-Driven Systems / David Hearnden ; Michael Lawley ; Kerry Raymond
A Plugin-Based Language to Experiment with Model Transformation / Jesus Sanchez Cuadrado ; Jesus Garcia Molina
SiTra: Simple Transformations in Java / David H. Akehurst ; Behzad Bordbar ; Michael J. Evans ; W. Gareth J. Howells ; Klaus D. McDonald-Maier
Analyzing Dynamic Models
Analysis and Visualization of Behavioral Dependencies Among Distributed Objects Based on UML Models / Vahid Garousi ; Lionel C. Briand ; Yuan Labiche
Model Extraction Using Context Information / Lucio Mauro Duarte ; Jeff Kramer ; Sebastian Uchitel
Dynamic and Generic Manipulation of Models: From Introspection to Scripting / Christophe Tombelle ; Gilles Vanwormhoudt
Specifying Transformations
Model Transformation by Example / Daniel Varro
Graphical Definition of In-Place Transformations in the Eclipse Modeling Framework / Enrico Biermann ; Karsten Ehrig ; Christian Kohler ; Gunter Kuhns ; Gabriele Taentzer ; Eduard Weiss
Model Transformations? Transformation Models! / Jean Bezivin ; Fabian Buttner ; Martin Gogolla ; Frederic Jouault ; Ivan Kurtev ; Arne Lindow
MOF
A Mapping Language from Models to DI Diagrams / Marcus Alanen ; Torbjorn Lundkvist ; Ivan Porres
Basic Operations over Models Containing Subset and Union Properties
A Metamodeling Approach to Pattern Specification / Maged Elaasar ; Yvan Labiche
Immune System Computation and the Immunological Homunculus / Irun R. CohenKeynote 2:
Bridging Models
Building Abstractions in Class Models: Formal Concept Analysis in a Model-Driven Approach / Gabriela Arevalo ; Jean-Remi Falleri ; Marianne Huchard ; Clementine Nebut
Lifting Metamodels to Ontologies: A Step to the Semantic Integration of Modeling Languages / Gerti Kappel ; Elisabeth Kapsammer ; Horst Kargl ; Gerhard Kramler ; Thomas Reiter ; Werner Retschitzegger ; Wieland Schwinger ; Manuel Wimmer
Incremental Model Synchronization with Triple Graph Grammars / Holger Giese ; Robert Wagner
Risk, Trust and Dependability
Model-Driven Assessment of Use Cases for Dependable Systems / Sadaf Mustafiz ; Ximeng Sun ; Jorg Kienzle ; Hans Vangheluwe
A Graphical Approach to Risk Identification, Motivated by Empirical Investigations / Ida Hogganvik ; Ketil Stolen
Reusable MDA Components: A Testing-for-Trust Approach / Jean-Marie Mottu ; Benoit Baudry ; Yves Le Traon
Tool Environments
Using Smalltalk as a Reflective Executable Meta-language / Stephane Ducasse ; Tudor Girba
UML Model Interchange in Heterogeneous Tool Environments: An Analysis of Adoptions of XMI 2 / Bjorn Lundell ; Brian Lings ; Anna Persson ; Anders Mattsson
Applying Model Fragment Copy-Restore to Build an Open and Distributed MDA Environment / Prawee Sriplakich ; Xavier Blanc ; Marie-Pierre Gervais
OCL
An OCL-Based Technique for Specifying and Verifying Refinement-Oriented Transformations in MDE / Claudia Pons ; Diego Garcia
An OCL Semantics Specified with QVT / Slavisa Markovic
Specification of Invariability in OCL / Piotr Kosiuczenko
Roundtrip Engineering
Framework-Specific Modeling Languages with Round-Trip Engineering / Michal Antkiewicz ; Krzysztof Czarnecki
A Visualization Framework for the Modeling and Formal Analysis of High Assurance Systems / Heather Goldsby ; Betty H. C. Cheng ; Sascha Konrad ; Stephane Kamdoum
Layered Class Diagrams: Supporting the Design Process / Scott Hendrickson ; Bryan Jett ; Andre van der Hoek
Real Time and Embedded Systems
Using UML Activities for System-on-Chip Design and Synthesis / Tim Schattkowsky ; Jan Hendrik Hausmann ; Gregor Engels
Modeling and Early Performance Estimation for Network Processor Applications / Antonia Bertolino ; Alvise Bonivento ; Guglielmo De Angelis ; Alberto Sangiovanni-Vincentelli
A Formal Semantics of UML-RT / Michael von der Beeck
Workshops, Tutorials and Panels
Workshops and Symposia at MoDELS 2006 / Thomas Kuhne
Tutorials at MoDELS 2006 / Egidio Astesiano
Panels at MoDELS 2006 / Douglas C. Schmidt
Author Index
A Software Modeling Odyssey: Designing Evolutionary Architecture-Centric Real-Time Systems and Product Lines / Hassan GomaaKeynote 1:
Evaluating UML
Uses and Abuses of the Stereotype Mechanism in UML 1.x and 2.0 / Brian Henderson-Sellers ; Cesar Gonzalez-Perez
Lu?s Miguel Pinho, Michael Gonzaalez Harbour, Michael Gonz?lez Harbour, Takeo Kanade, Luais Miguel Pinho, Association for Computing Machinery-Digital Library.
出版情報:
Springer eBooks Computer Science , Springer Berlin Heidelberg, 2006
CoCoME - The Common Component Modeling Example / Sebastian Herold ; Holger Klus ; Yannick Welsch ; Constanze Deiters ; Klaus Krogmann ; Heiko Koziolek ; Benjamin Hummel ; Michael Meisinger ; Christian Pfaller3:
Modeling Components and Component-Based Systems in KobrA / Colin Atkinson ; Philipp Bostan ; Daniel Brenner ; Giovanni Falcone ; Matthias Gutheil ; Oliver Hummel ; Monika Juhasz ; Dietmar Stoll4:
A Rich Services Approach to CoCoME / Barry Demchak ; Vina Ermagan ; Emilia Farcas ; To-ju Huang ; Ingolf H. Kruger ; Massimiliano Menarini5:
Modelling with Relational Calculus of Object and Component Systems - rCOS / Zhenbang Chen ; Abdel Hakim Hannousse ; Dang Van Hung ; Istvan Knoll ; Xiaoshan Li ; Zhiming Liu ; Yang Liu ; Qu Nan ; Joseph C. Okika ; Anders P. Ravn ; Volker Stolz ; Lu Yang ; Naijun Zhan6:
Service-Oriented Modeling of CoCoME with Focus and AutoFocus / Manfred Broy ; Jorge Fox ; Florian Holzl ; Dagmar Koss ; Marco Kuhrmann ; Birgit Penzenstadler ; Sabine Rittmann ; Bernhard Schatz ; Maria Spichkova ; Doris Wild8:
Modelling the CoCoME with the Java/A Component Model / Alexander Knapp ; Stephan Janisch ; Rolf Hennicker ; Allan Clark ; Stephen Gilmore ; Florian Hacklinger ; Hubert Baumeister ; Martin Wirsing9:
Linking Programs to Architectures: An Object-Oriented Hierarchical Software Model Based on Boxes / Jan Schafer ; Markus Reitz ; Jean-Marie Gaillourdet ; Arnd Poetzsch-Heffter10:
Modelling the CoCoME with DisCComp / Andre Appel11:
Palladio - Prediction of Performance Properties / 12:
KLAPER: An Intermediate Language for Model-Driven Predictive Analysis of Performance and Reliability / Vincenzo Grassi ; Enrico Randazzo ; Antonino Sabetta13:
CoCoME in Fractal / Lubomir Bulej ; Tomas Bures ; Thierry Coupaye ; Martin Decky ; Pavel Jezek ; Pavel Parizek ; Tomas Poch ; Nicolas Rivierre ; Ondrej Sery ; Petr Tuma14:
CoCoME in SOFA / Petr Hnetynka ; Jan Kofron15:
A Specification Language for Distributed Components Implemented in GCM/ProActive / Antonio Cansado ; Denis Caromel ; Ludovic Henrio ; Eric Madelaine ; Marcela Rivera ; Emil Salageanu16:
CoCoME Jury Evaluation and Conclusion / Johannes Siedersleben ; Clemens Szyperski17:
CoCoME - The Common Component Modeling Example / Sebastian Herold ; Holger Klus ; Yannick Welsch ; Constanze Deiters ; Klaus Krogmann ; Heiko Koziolek ; Benjamin Hummel ; Michael Meisinger ; Christian Pfaller3:
The Future of Software: Adaptation and Dependability / Paola Inverardi ; Massimo Tivoli
Autonomic Computing Now You See It, Now You Don't: Design and Evolution of Autonomic Software Systems / Hausi A. Muller ; Holger M. Kienle ; Ulrike Stege
Impact of Usability on Software Requirements and Design / Natalia Juristo
Software Testing and Reverse Engineering
Service-Oriented Architectures Testing: A Survey / Gerardo Canfora and Massimiliano Di Penta
The PLASTIC Framework and Tools for Testing Service-Oriented Applications / Antonia Bertolino ; Guglielmo De Angelis ; Lars Frantzen ; Andrea Polini
Architecture Reconstruction: Tutorial on Reverse Engineering to the Architectural Level / Rainer Koschke
Management
Collaboration in Distributed Software Development / Filippo Lanubile
Web Cost Estimation and Productivity Benchmarking / Emilia Mendes
Knowledge Base and Experience Factory for Empowering Competitiveness / Giuseppe Visaggio
Author Index
Software Requirements and Design
The Future of Software: Adaptation and Dependability / Paola Inverardi ; Massimo Tivoli
Autonomic Computing Now You See It, Now You Don't: Design and Evolution of Autonomic Software Systems / Hausi A. Muller ; Holger M. Kienle ; Ulrike Stege