close
1.

電子ブック

EB
Jeroen Arnoldus, Mark van den Brand
出版情報: SpringerLink Books Mathematics And Statistics 2012 , Atlantis Press, 2012
所蔵情報: loading…
2.

電子ブック

EB
Matthias Blume, Takeo Kanade, Naoki Kobayashi, Germán Vidal, Association for Computing Machinery-Digital Library.
出版情報: ACM Digital Library Proceedings , Springer Berlin Heidelberg, 2010
所蔵情報: loading…
目次情報: 続きを見る
Invited Talks
Beluga: Programming with Dependent Types, Contextual Data, and Contexts / Brigitte Pientka
Using Static Analysis to Detect Type Errors and Concurrency Defects in Erlang Programs / Konstantinos Sagonas
Solving Constraint Satisfaction Problems with SAT Technology / Naoyuki Tamura ; Tomoya Tanjo ; Mutsunori Banbara
Refereed Papers
Types
A Church-Style Intermediate Language for MLF / Didier Rémy ; Boris Yakobowski
IIσDependent Types without the Sugar / Thorsten Altenkirch ; Nils Anders Danielsson ; Andres Löh ; Nicolas Oury
Haskell Type Constraints Unleashed / Dominic Orchard ; Tom Schrijvers
Program Analysis and Transformation
A Functional Framework for Result Checking / Gilles Barthe ; Pablo Buiras ; César Kunz
Tag-Free Combinatory for Binding-Time Polymorphic Program Generation / Peter Thiemann ; Martin Sulzmann
Code Generation via Higher-Order Rewrite Systems / Florian Haftmann ; Tobias Nipkow
Foundations
A Complete Axiomatization of Strict Equality / Javier Álvez ; Francisco J. López-Fraguas
Standardization and Böhm Trees for Λμ-Calculus / Alexis Saurin
An Integrated Distance for Atoms / Vicent Estruch ; César Ferri ; José Hernández-Orallo ; M. José Ramírez-Quintana
Logic Programming
A Pearl on SAT Solving in Prolog / Jacob M. Howe ; Andy King
Automatically Generating Counterexamples to Naive Free Theorems / Daniel Seidel ; Janis Voigtländer
Applying Constraint Logic Programming to SQL Test Case Generation / Rafael Caballero ; Yolanda García-Ruiz ; Fernando Sáenz-Pérez
Evaluation and Normalization
Internal Normalization, Compilation and Decompilation for System Fβη / Stefano Berardi ; Makoto Tatsuta
Towards Normalization by Evaluation for the βη-Calculus of Constructions / Andreas Abel
Defunctionalized Interpreters for Call-by-Need Evaluation / Olivier Danvy ; Kevin Millikin ; Johan Munk ; Ian Zerny
Term Rewriting
Complexity Analysis by Graph Rewriting / Martin Avanzini ; Georg Moser
Least Upper Bounds on the Size of Church-Rosser Diagrams in Term Rewriting and λ-Calculus / Jeroen Ketema ; Jakob Grue Simonsen
Proving Injectivity of Functions via Program Inversion in Term Rewriting / Naoki Nishida ; Masahiko Sakai
Parallelism and Control
Delimited Control in OCaml, Abstractly and Concretely: System Description / Oleg Kiselyov
Automatic Parallelization of Recursive Functions Using Quantifier Elimination / Akimasa Morihata ; Kiminori Matsuzaki
A Skeleton for Distributed Work Pools in Eden / Mischa Dieterle ; Jost Berthold ; Rita Loogen
Author Index
Invited Talks
Beluga: Programming with Dependent Types, Contextual Data, and Contexts / Brigitte Pientka
Using Static Analysis to Detect Type Errors and Concurrency Defects in Erlang Programs / Konstantinos Sagonas
3.

電子ブック

EB
Thomas Kühne, Takeo Kanade, Association for Computing Machinery-Digital Library.
出版情報: ACM Digital Library Proceedings , Springer Berlin Heidelberg, 2007
所蔵情報: loading…
4.

電子ブック

EB
Nabil Abdennahder, Nabil Abdennadher, Takeo Kanade, Fabrice Kordon, Ada-Europe (Organization), Association for Computing Machinery-Digital Library.
出版情報: ACM Digital Library Proceedings , Springer Berlin Heidelberg, 2007
所蔵情報: loading…
5.

電子ブック

EB
David Hutchison, Takeo Kanade, Association for Computing Machinery-Digital Library.
出版情報: ACM Digital Library Proceedings , Springer Berlin Heidelberg, 2010
所蔵情報: loading…
目次情報: 続きを見る
Code Roots / Doug LeaKeynote 1:
Programming Environments and Tools
Detecting Missing Methods Calls in Object-Oriented Software / Martin Monperrus ; Marcel Bruch ; Mira Mezini
Debugging Model-Transformation Failures Using Dynamic Tainting / Pankaj Dhoolia ; Senthil Mani ; Vibha Singhal Sinha ; Saurabh Sinha
Automatically Extracting Class Diagrams from Spreadsheets / Felienne Hermans ; Martin Pinzger ; Arie van Deursen
Theoretical Foundations of Programming Languages
Adding Dynamic Types to C# / Gavin Bierman ; Erik Meijer ; Mads Torgersen
Essential AOP: The A Calculus / Bruno De Fraine ; Erik Ernst ; Mario Südholt
The Essence of JavaScript / Arjun Guha ; Claudiu Saftoiu ; Shriram Krishnamurthi
Formal Methods
Verifying Executable Object-Oriented Specifications with Separation Logic / Stephan van Staden ; Cristiano Calcagno ; Bertrand Meyer
Verifying Generics and Delegates / Kasper Svendsen ; Lars Birkedal ; Matthew Parkinson
Recency Types for Analyzing Scripting Languages / Philip Heidegger ; Peter Thiemann
Concurrency Models in Java
Correct Refactoring of Concurrent Java Code / Max Schäfer ; Julian Dolby ; Manu Sridharan ; Emina Torlak ; Frank Tip
Programming Coordinated Behavior in Java / David Harel ; Assaf Marron ; Gera Weiss
JCoBox: Generalizing Active Objects to Concurrent Components / Jan Schäfer ; Arnd Poetzsch-Heffter
Special Session: Empirical Methods
Doubts about the Positive Impact of Static Type Systems on Programming Tasks in Single Developer Projects - An Empirical Study / Stefan Hanenberg
Types Systems
A Type System for Data-Centric Synchronization / Mandana Vaziri ; Christian Hammer ; Jan Vitek
Type-Safe Eventful Sessions in Java / Raymond Hu ; Dimitrios Kouzapas ; Olivier Pernet ; Nobuko Yoshida ; Kohei Honda
Capabilities for Uniqueness and Borrowing / Philipp Haller ; Martin Odersky
Secret Valley / Erik ErnestKeynote 2:
Language Design and Implementation
Embedding Languages without Breaking Tools / Lukas Renggli ; Tudor Gîrba ; Oscar Nierstrasz
Modules as Objects in Newspeak / Gilad Bracha ; Peter von der Ahé ; Vassili Bykov ; Yaron Kashai ; William Maddox ; Eliot Miranda
Inline Caching Meets Quickening / Stefan Brunthaler
Concurrency Abstrations
Self-Replicating Objects for Multicore Platforms / Krzysztof Ostrowski ; Chuck Sakoda ; Ken Birman
Reasoning about the Implementation of Concurrency Abstractions on x86-TSO / Scott Owens
Concurrent Abstract Predicates / Thomas Dinsdale-Young ; Mike Dodds ; Philippa Gardner ; Matthew J. Parkinson ; Viktor Vafeiadis
Experiences
The Use of Overloading in Java Programs / Joseph (Yossi) Gil ; Keren Lenz
Falling Back on Executable Specifications / Hesam Samimi ; Ei Darli Aung ; Todd Millstein
Contract-Based Data Structure Repair Using Alloy / Razieh Nokhbeh Zaeem ; Sarfraz Khurshid
Author Index
Code Roots / Doug LeaKeynote 1:
Programming Environments and Tools
Detecting Missing Methods Calls in Object-Oriented Software / Martin Monperrus ; Marcel Bruch ; Mira Mezini
6.

電子ブック

EB
Dorina C. Petriu, Øystein Haugen, Takeo Kanade, Nicolas Rouquette, Association for Computing Machinery-Digital Library.
出版情報: ACM Digital Library Proceedings , Springer Berlin Heidelberg, 2010
所蔵情報: loading…
目次情報: 続きを見る
Keynote 1
A Unified Approach to Modeling and Programming / Ole Lehrmann Madsen ; Birger Møller-Pedersen
Genericity and Generalization / Session 1a:
Generic Meta-modelling with Concepts, Templates and Mixin Layers / Juan de Lara ; Esther Guerra
An Observer-Based Notion of Model Inheritance / Thomas Kühne
MDE-Based Approach for Generalizing Design Space Exploration / Tripti Saxena ; Gabor Karsai
Model Migration and Incremental Manipulation / Session 1b:
A Comparison of Model Migration Tools / Louis M. Rose ; Markus Herrmannsdoerfer ; James R. Williams ; Dimitrios S. Kolovos ; Kelly Garcés ; Richard F. Paige ; Fiona A. C. Polack
Incremental Evaluation of Model Queries over EMF Models / Gábor Bergmann ; Ákos Horváth ; István Ráth ; Dániel Varró ; András Balogh ; Zoltán Balogh ; András Ökrös
Active Operations on Collections / Olivier Beaudoux ; Arnaud Blouin ; Olivier Barais ; Jean-Marc Jézéquel
Modeling Model Transformations / Session 1c:
transML: A Family of Languages to Model Model Transformations / Osmar Marchi dos Santos
Henshin: Advanced Concepts and Tools for In-Place EMF Model Transformations / Thorsten Arendt ; Enrico Biermann ; Stefan Jurack ; Christian Krause ; Gabriele Taentzer
A Technique for Automatic Validation of Model Transformations / Levi Lúcio ; Bruno Barroca ; Vasco Amaral
Verifying Consistency and Conformance / Session 2a:
Static- and Dynamic Consistency Analysis of UML State Chart Models / Christian Schwarzl ; Bernhard Peischl
Verifying Semantic Conformance of State Machine-to-Java Code Generators / Lukman Ab Rahim ; Jon Whittle
A Dynamic-Priority Based Approach to Fixing Inconsistent Feature Models / Bo Wang ; Yingfei Xiong ; Zhenjiang Hu ; Haiyan Zhao ; Wei Zhang ; Hong Mei
Taming Modeling Complexity / Session 2b:
Taming Graphical Modeling / Hauke Fuhrmann ; Reinhard von Hanxleden
Taming EMF and GMF Using Model Transformation / Saad Bin Abid ; Fiona A.C. Polack ; Goetz Botterweck
A Visual Traceability Modeling Language / Patrick Mäder ; Jane Cleland-Huang
Modeling User-System Interaction / Session 2c:
Application Logic Patterns - Reusable Elements of User-System Interaction / Albert Ambroziewicz ; Michal Smialek
A Metamodel-Based Approach for Automatic User Interface Generation / António Miguel Rosado da Cruz ; João Pascoal Faria
Rapid UI Development for Enterprise Applications: Combining Manual and Model-Driven Techniques / Arne Schramm ; André Preußner ; Matthias Heinrich ; Lars Vogel
Model-Driven Quality Assurance / Session 3a:
Environment Modeling with UML/MARTE to Support Black-Box System Testing for Real-Time Embedded Systems: Methodology and Industrial Case Studies / Muhammad Zohaib Iqbal ; Andrea Arcuri ; Lionel Briand
Improving Test Models for Large Scale Industrial Systems: An Inquisitive Study / Andrew Diniz da Costa ; Viviane Torres da Silva ; Alessandro Garcia ; Carlos José Pereira de Lucena
Automatically Discovering Properties That Specify the Latent Behavior of UML Models / Heather J. Goldsby ; Betty H.C. Cheng
Managing Variability / Session 3b:
Towards a Semantics of Activity Diagrams with Semantic Variation Points / Hans Grönniger ; Dirk Reiß ; Bernhard Rumpe
An AADL-Based Approach to Variability Modeling of Automotive Control Systems / Shin'ichi Shiraishi
Extending Variability for OCL Interpretation / Claas Wilke ; Michael Thiele ; Christian Wende
Multi-Modeling Approaches / Session 3c:
Inter-Modelling: From Theory to Practice
Consistent Modeling Using Multiple UML Profiles / Florian Noyrit ; Sébastien Gérard ; François Terrier ; Bran Selic
A Systematic Review on the Definition of UML Profiles / Jesús Pardillo
Author Index
Keynote 1
A Unified Approach to Modeling and Programming / Ole Lehrmann Madsen ; Birger Møller-Pedersen
Genericity and Generalization / Session 1a:
7.

電子ブック

EB
Dorina C. Petriu, Øystein Haugen, Takeo Kanade, Nicolas Rouquette, Association for Computing Machinery-Digital Library.
出版情報: ACM Digital Library Proceedings , Springer Berlin Heidelberg, 2010
所蔵情報: loading…
目次情報: 続きを見る
Keynote 2
Modeling the Internet / Pamela Zave
Distributed/Embedded Software Development / Session 4a:
Transformation-Based Parallelization of Request-Processing Applications / Taylor L. Riché ; Harrick M. Vin ; Don Batory
Model Driven Orchestration: Design for Service Compatibility / Georg Grossmann ; Michael Schrefl ; Markus Stumptner
Embedded Software Development with Projectional Language Workbenches / Markus Voelter
(De)Composition and Refactoring / Session 4b:
Concern-Based (de)composition of Model-Driven Software Development Processes / Jendrik Johannes ; Uwe Aßmann
Flexible Model Element Introduction Policies for Aspect-Oriented Modeling / Brice Morin ; Jacques Klein ; Jörg Kienzle ; Jean-Marc Jézéquel
Role-Based Generic Model Refactoring / Jan Reimann ; Mirko Seifert
Model Change / Session 4c:
Precise Detection of Conflicting Change Operations Using Process Model Terms / Christian Gerth ; Jochen M. Küster ; Markus Luckey ; Gregor Engels
Capturing the Intention of Model Changes / Patrick Könemann
Selective and Consistent Undoing of Model Changes / Iris Groher ; Alexander Egyed
(Meta)Models at Runtime / Session 5a:
Modeling Features at Runtime / Marcus Denker ; Jorge Ressia ; Orla Greevy ; Oscar Nierstrasz
Metamodel-Based Information Integration at Industrial Scale / Stefan Berger
Inferring Meta-models for Runtime System Data from the Clients of Management APIs / Hui Song ; Gang Huang ; Yingfei Xiong ; Franck Chauvel ; Yanchun Sun ; Hong Mei
Requirements Engineering / Session 5b:
A Meta Model for Artefact-Orientation: Fundamentals and Lessons Learned in Requirements Engineering / Daniel Méndez Fernández ; Birgit Penzenstadler ; Marco Kuhrmann ; Manfred Broy
A Common Framework for Synchronization in Requirements Modelling Languages / Shahram Esmaeilsabzali ; Nancy A. Day ; Joanne M. Atlee
A Systematic Review of the Use of Requirements Engineering Techniques in Model-Driven Development / Grzegorz Loniewski ; Emilio Insfran ; Silvia Abrahão
Slicing and Model Transformations / Session 5c:
Slicing of UML Models Using Model Transformations / Kevin Lano ; Shekoufeh Kolahdouz-Rahimi
An Adjustable Transformation from OWL to Ecore / Tirdad Rahmani ; Daniel Oberle ; Marco Dahms
Transforming Process Models: Executable Rewrite Rules versus a Formalized Java Program / Pieter Van Gorp ; Rik Eshuis
Keynote 3
Disciplined Heterogeneous Modeling (Invited Paper) / Edward A. Lee
Incorporating Quality Concerns in MDD / Session 6a:
Design Guidelines for the Development of Quality-Driven Model Transformations / Javier Gonzalez-Huerta
Early Deviation Detection in Modeling Activities of MDE Processes / Marcos Aurélio Almeida da Silva ; Reda Bendraou ; Xavier Blanc ; Marie-Pierre Gervais
Artifact or Process Guidance, an Empirical Study / Alix Mougenot ; Jacques Robin
Model-Driven Engineering in Practice / Session 6b:
Scaling Up Model Driven Engineering - Experience and Lessons Learnt / Vinay Kulkarni ; Sreedhar Reddy ; Asha Rajbhoj
Mod4J: A Qualitative Case Study of Model-Driven Software Development / Vincent Lussenburg ; Tijs van der Storm ; Jurgen Vinju ; Jos Warmer
Modeling Issues: A Survival Guide for a Non-expert Modeler / Emilio Rodriguez-Priego ; Francisco J. García-Izquierdo ; Ángel Luis Rubio
Modeling Architecture / Session 6c:
Monarch: Model-Based Development of Software Architectures / Hamid Bagheri ; Kevin Sullivan
Model-to-Metamodel Transformation for the Development of Component-Based Systems / Gerd Kainz ; Christian Buckl ; Stephan Sommer ; Alois Knoll
Architectural Descriptions as Boundary Objects in System and Design Work / Lars Pareto ; Peter Eriksson ; Staffan Ehnebom
Author Index
Keynote 2
Modeling the Internet / Pamela Zave
Distributed/Embedded Software Development / Session 4a:
8.

電子ブック

EB
Jeffrey Parsons, Takeo Kanade, Motoshi Saeki, Peretz Shoval, Yair Wand, Carson Woo, Association for Computing Machinery-Digital Library.
出版情報: ACM Digital Library Proceedings , Springer Berlin Heidelberg, 2010
所蔵情報: loading…
目次情報: 続きを見る
Business Process Modeling
Meronymy-Based Aggregation of Activities in Business Process Models / Sergey Smirnov ; Remco Dijkman ; Jan Mendling ; Mathias Weske
Leveraging Business Process Models for ETL Design / Kevin Wilkinson ; Alkis Simitsis ; Malu Castellanos ; Umeshwar Dayal
Adaptation in Open Systems: Giving Interaction Its Rightful Place / Fabiano Dalpiaz ; Amit K. Chopra ; Paolo Giorgini ; John Mylopoulos
Requirements Engineering and Modeling 1
Information Use in Solving a Well-Structured Is Problem: The Roles of IS and Application Domain Knowledge / Vijay Khatri ; Iris Vessey
Finding Solutions in Goal Models: An Interactive Backward Reasoning Approach / Jennifer Horkoff ; Eric Yu
The Model Role Level - A Vision / Rick Salay
Requirements Engineering and Modeling 2
Establishing Regulatory Compliance for Information System Requirements: An Experience Report from the Health Care Domain / Alberto Siena ; Giampaolo Armellin ; Gianluca Mameli ; Anna Perini ; Angelo Susi
Decision-Making Ontology for Information System Engineering / Elena Kornyshova ; Rébecca Deneckère
Reasoning with Optional and Preferred Requirements / Neil A. Ernst ; Alex Borgida ; Ivan J. Jureta
Data Evolution and Adaptation
A Conceptual Approach to Database Applications Evolution / Anthony Cleve ; Anne-France Brogneaux ; Jean-Luc Hainaut
Automated Co-evolution of Conceptual Models, Physical Databases, and Mappings / James F. Terwilliger ; Philip A. Bernstein ; Adi Unnithan
A SchemaGuide for Accelerating the View Adaptation Process / Jun Liu ; Mark Roantree ; Zohra Bellahsene
Operations on Spatio-temporal Data
Complexity of Reasoning over Temporal Data Models / Alessandro Artale ; Roman Kontchakov ; Vladislav Ryzhikov ; Michael Zakharyaschev
Using Preaggregation to Speed Up Scaling Operations on Massive Spatio-temporal Data / Angelica Garcia Gutierrez ; Peter Baumann
Situation Predication Nets: Playing the Token Game for Ontology-Driven Situation Awareness / Norbert Baumgartner ; Wolfgang Gottesheim ; Stefan Mitsch ; Werner Retschitzegger ; Wieland Schwinger
Model Abstraction, Feature Modeling, and Filtering
Granularity in Conceptual Modelling: Application to Metamodels / Brain Henderson-Sellers ; Cesar Gonzalez-Perez
Feature Assembly: A New Feature Modeling Technique / Lamia Abo Zaid ; Frederic Kleinermann ; Olga De Troyer
A Method for Filtering Large Conceptual Schemas / Antonio Villegas ; Antoni Olivé
Integration and Composition
Measuring the Quality of an Integrated Schema / Fabien Duchateau
Contextual Factors in Database Integration-A Delphi Study / Joerg Evermann
Building Dynamic Models of Service Compositions with Simulation of Provision Resources / Dragan Ivanovic ; Martin Treiber ; Manuel Carro ; Schahram Dustdar
Consistency, Satisfiability and Compliance Checking
Maintaining Consistency of Probabilistic Databases: A Linear Programming Approach / You Wu ; Wilfred Ng
Full Satisfiability of UML Class Diagrams / Diego Calvanese ; Angélica-Ibáñez-García
On Enabling Data-Aware Compliance Checking of Business Process Models / David Knuplesch ; Linh Thao Ly ; Stefanie Rinderle-Ma ; Holger Pfeifer ; Peter Dadam
Using Ontologies for Query Answering
Query Answering under Expressive Entity-Relationship Schemata / Andrea Calì ; Georg Gottlob ; Andreas Pieris
SQOWL: Type Inference in an RDBMS / Peter J. McBrien ; Nikos Rizopoulos ; Andrew C. Smith
Querying Databases with Taxomies / David Martinenghi ; Riccardo Torlone
Document and Query Processing
What Is Wrong with Digital Documents? A Conceptual Model for Structural Cross-Media Content Composition and Reuse / Beat Signer
Classification of Index Partitions to Boost XML Query Performance / Gerard Marks ; John Murphy
Specifying Aggregation Functions in Multidimensional Models with OCL / Jordi Cabot ; Jose-Norberto Mazón ; Jesús Pardillo ; Juan Trujillo
Demos and Posters
The CARD System / Faiz Currim ; Nicholas Neidig ; Alankar Kampoowale ; Girish Mhatre
AuRUS: Automated Reasoning on UML/OCL Schemas / Anna Queralt ; Guillem Rull ; Ernest Teniente ; Carles Farré ; Toni Urpí
How the Structuring of Domain Knowledge Helps Casual Process Modelers / Jakob Pinggera ; Stefan Zugal ; Barbara Weber ; Dirk Fahland ; Matthias Weidlich ; Hajo A. Reijers
SPEED: A Semantics-Based Pipeline for Economic Event Detection / Frederik Hogenboom ; Alexander Hogenboom ; Flavius Frasincar ; Uzay Kaymak ; Otto van der Meer ; Kim Schouten ; Damir Vandic
Prediction of Business Process Model Quality Based on Structural Metrics / Laura Sánchez-González ; Félix García ; Francisco Ruiz ; Mario Piattini
Modelling Functional Requirements in Spatial Design / Mehul Bhatt ; Joana Hois ; Oliver Kutz ; Frank Dylla
Business Processes Contextualisation via Context Analysis / Jose Luis de la Vara ; Raian Ali ; Juan Sánchez
A Generic Perspective Model for the Generation of Business Process Views / Horst Pichler ; Johann Eder
Extending Organizational Modeling with Business Services Concepts: An Overview of the Proposed Architecture / Hugo Estrada ; Alicia Martínez ; Oscar Pastor
Author Index
Business Process Modeling
Meronymy-Based Aggregation of Activities in Business Process Models / Sergey Smirnov ; Remco Dijkman ; Jan Mendling ; Mathias Weske
Leveraging Business Process Models for ETL Design / Kevin Wilkinson ; Alkis Simitsis ; Malu Castellanos ; Umeshwar Dayal
9.

電子ブック

EB
Jon Whittle, Tony Clark, Takeo Kanade, Thomas Kühne, Association for Computing Machinery-Digital Library.
出版情報: ACM Digital Library Proceedings , Springer Berlin Heidelberg, 2011
所蔵情報: loading…
10.

電子ブック

EB
Manfred Jeusfeld, Lois Delcambre, Takeo Kanade, Tok Wang Ling, Association for Computing Machinery-Digital Library.
出版情報: ACM Digital Library Proceedings , Springer Berlin Heidelberg, 2011
所蔵情報: loading…
11.

電子ブック

EB
Oscar Nierstrasz, David Harel, Takeo Kanade, Oscar Marius Nierstrasz, Gianna Reggio, Jon Whittle, Association for Computing Machinery-Digital Library.
出版情報: ACM Digital Library Proceedings , Springer Berlin Heidelberg, 2006
所蔵情報: loading…
目次情報: 続きを見る
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
12.

電子ブック

EB
Luís Miguel Pinho, Michael Gonzaalez Harbour, Michael González Harbour, Takeo Kanade, Luais Miguel Pinho, Association for Computing Machinery-Digital Library.
出版情報: ACM Digital Library Proceedings , Springer Berlin / Heidelberg, 2006
所蔵情報: loading…
13.

電子ブック

EB
Ada-Europe International Conference on Reliable Software Technologies, Takeo Kanade, Tullio Vardanega, Andrew J. Wellings, Association for Computing Machinery-Digital Library.
出版情報: ACM Digital Library Proceedings , Springer Berlin / Heidelberg, 2005
所蔵情報: loading…
14.

電子ブック

EB
CBSE 2005, George T. Heineman, Takeo Kanade, Association for Computing Machinery-Digital Library.
出版情報: ACM Digital Library Proceedings , Springer Berlin / Heidelberg, 2005
所蔵情報: loading…
目次情報: 続きを見る
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
Model-Driven Safety Evaluation with State-Event-Based Component Failure Annotations / Lars Grunske ; Bernhard Kaiser ; Yiannis Papadopoulos
Optimizing Resource Usage in Component-Based Real-Time Systems / Johan Fredriksson ; Kristian Sandström ; Mikael Åkerholm
Evaluating Performance Attributes of Layered Software Architecture / Vibhu Saujanya Sharma ; Pankaj Jalote ; Kishor S. Trivedi
Component-Level Dataflow Analysis / Atanas Rountev
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
Component-Based Open Middleware Supporting Aspect-Oriented Software Composition / Bert Lagaisse ; Wouter Joosen
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
Components at Work
A CCA-compliant Nuclear Power Plant Simulator Kernel / Manuel Díaz ; Daniel Garrido ; Sergio Romero ; Bartolomé Rubio ; Enrique Soler ; José M. Troya
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
15.

電子ブック

EB
MoDELS 2005, Lionel C. Briand, Takeo Kanade, Clay Edwin Williams, Association for Computing Machinery-Digital Library.
出版情報: ACM Digital Library Proceedings , Springer Berlin / Heidelberg, 2005
所蔵情報: loading…
16.

電子ブック

EB
GPCE 2005, Robert Glück, Takeo Kanade, Michael Randolph Lowry, Association for Computing Machinery-Digital Library.
出版情報: ACM Digital Library Proceedings , Springer Berlin / Heidelberg, 2005
所蔵情報: loading…
17.

電子ブック

EB
Sudipto Ghosh, Takeo Kanade, Association for Computing Machinery-Digital Library.
出版情報: ACM Digital Library Proceedings , Springer Berlin Heidelberg, 2010
所蔵情報: loading…
18.

電子ブック

EB
David Hutchison, Takeo Kanade, Association for Computing Machinery-Digital Library.
出版情報: ACM Digital Library Proceedings , Springer Berlin Heidelberg, 2012
所蔵情報: loading…
目次情報: 続きを見る
Programming with Boolean Satisfaction (Abstract) / Michael Codish
Automated Verification of Higher-Order Functional Programs (Abstract) / Tachio Terauchi
Dependently-Typed Programming in GHC (Abstract) / Stephanie Weirich
Call-by-Value Solvability, Revisited / Beniamino Accattoli ; Luca Paolini
Compiling a Functional Logic Language: The Basic Scheme / Sergio Antoy ; Arthur Peters
Classical Call-by-Need Sequent Calculi: The Unity of Semantic Artifacts / Zena M. Ariola ; Paul Downen ; Hugo Herbelin ; Keiko Nakata ; Alexis Saurin
Normal Form Bisimulations for Delimited-Control Operators / Dariusz Biernacki ; Sergueï Lenglet
Real-Time Persistent Queues and Deques with Logic Variables (Declarative Pearl) / Gerlof Bouma
Declarative Debugging of Wrong and Missing Answers for SQL Views / Rafael Caballero ; Yolanda García-Ruiz ; Fernando Sáenz-Pérez
Improving the Performance of FD Constraint Solving in a CFLP System / Ignacio Castiñeiras
A General Implementation Framework for Tabled CLP / Pablo Chico de Guzmán ; Manuel Carro ; Manuel V. Hermenegildo ; Peter Stuckey
Extending the TOy System with the ECL PSe Solver over Sets of Integers
Sonia Estévez-Martín / Jesús Correas Fernández
Correct Looping Arrows from Cyclic Terms: Traced Categorical Interpretation in Haskell / Makoto Hamana
A Lambda Calculus for Gödel-Durnmett Logic Capturing Waitfreedom / Yoichi Hirai
Iteratees / Oleg Kiselyov
Mutual Exclusion by Interpolation / Jael Kriener ; Andy King
Parallel Computation Skeletons with Premature Termination Property / Oleg Lobachev
Calculational Developments of New Parallel Algorithms for Size-Constrained Maximum-Sum Segment Problems / Akimasa Morihata
A Data Flow Language for Hybrid Query and Programming Languages / Kristoffer H. Rose ; Lionel Villard ; Naoto Sato
Coinductive Constraint Logic Programming / Neda Saeedloei ; Gopal Gupta
A Call-by-Name CPS Hierarchy / Asami Tanaka ; Yukiyoshi Kameyama
Exact Flow Analysis by Higher-Order Model Checking / Yoshihiro Tobita ; Takeshi Tsukada ; Naoki Kobayashi
Computing in Cantor's Paradise With λZFC / Neil Toronto ; Jay McCarthy
The Finite Domain Constraint Solver of SWI-Prolog / Markus Triska
Explicit Binds: Effortless Efficiency with and without Trees / Tarmo Uustalu
Author Index
Programming with Boolean Satisfaction (Abstract) / Michael Codish
Automated Verification of Higher-Order Functional Programs (Abstract) / Tachio Terauchi
Dependently-Typed Programming in GHC (Abstract) / Stephanie Weirich
19.

電子ブック

EB
Gregor Engels, G. Engels, Takeo Kanade, Bill Opdyke, Douglas C. Schmidt, Frank Weil, Association for Computing Machinery-Digital Library.
出版情報: ACM Digital Library Proceedings , Springer Berlin Heidelberg, 2007
所蔵情報: loading…
20.

電子ブック

EB
Pekka Abrahamsson, Nathan Baddoo, Takeo Kanade, Tiziana Margaria, Richard Messnarz
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2007
所蔵情報: loading…
21.

電子ブック

EB
Alexandre Petrenko, Wolfgang Grieskamp, Takeo Kanade, Jan Tretmans, Margus Veanes, International Federation for Information Processing.
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2007
所蔵情報: loading…
22.

電子ブック

EB
Awais Rashid, Mehmet Akesit, Mehmet Aksit, Takeo Kanade
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2007
所蔵情報: loading…
目次情報: 続きを見る
Guest Editors' Introduction: Early Aspects-Analysis, Visualization, Conflicts and Composition / Joao Araujo ; Elisa Baniassad
EA-Miner: Towards Automation in Aspect-Oriented Requirements Engineering / Americo Sampaio ; Awais Rashid ; Ruzanna Chitchyan ; Paul Rayson
Analysis of Early Aspects in Requirements Goal Models: A Concept-Driven Approach / Nan Niu ; Steve Easterbrook
Analysis of Crosscutting in Early Software Development Phases Based on Traceability / Klaas van den Berg ; Jose Maria Conejero ; Juan Hernandez
Visualizing Early Aspects with Use Case Maps / Gunter Mussbacher ; Daniel Amyot ; Michael Weiss
Handling Conflicts in Aspectual Requirements Compositions / Isabel Sofia Brito ; Filipe Vieira ; Ana Moreira ; Rita A. Ribeiro
Weaving Multiple Aspects in Sequence Diagrams / Jacques Klein ; Franck Fleurey ; Jean-Marc Jezequel
Author Index
Guest Editors' Introduction: Early Aspects-Analysis, Visualization, Conflicts and Composition / Joao Araujo ; Elisa Baniassad
EA-Miner: Towards Automation in Aspect-Oriented Requirements Engineering / Americo Sampaio ; Awais Rashid ; Ruzanna Chitchyan ; Paul Rayson
Analysis of Early Aspects in Requirements Goal Models: A Concept-Driven Approach / Nan Niu ; Steve Easterbrook
23.

電子ブック

EB
Awais Rashid, Mehmet Akesit, Mehmet Aksit
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2007
所蔵情報: loading…
目次情報: 続きを見る
Focus: Early Aspects - Mapping Across the Lifecycle
Guest Editors' Introduction: Early Aspects-Mapping Across the Lifecycle / Joao Araujo ; Elisa Baniassad
Compass: Composition-Centric Mapping of Aspectual Requirements to Architecture / Ruzanna Chitchyan ; Monica Pinto ; Awais Rashid ; Lidia Fuentes
Aspects at the Right Time / Pablo Sanchez ; Andrew Jackson ; Siobhan Clarke
Focus: Aspects and Software Evolution
Guest Editors' Introduction: Aspects and Software Evolution / Walter Cazzola ; Shigeru Chiba ; Gunter Saake
Extracting and Evolving Code in Product Lines with Aspect-Oriented Programming / Vander Alves ; Pedro Matos Jr. ; Leonardo Cole ; Alexandre Vasconcelos ; Paulo Borba ; Geber Ramalho
A Survey of Automated Code-Level Aspect Mining Techniques / Andy Kellens ; Kim Mens ; Paolo Tonella
Safe and Sound Evolution with SONAR: Sustainable Optimization and Navigation with Aspects for System-Wide Reconciliation / Chunjian Robin Liu ; Celina Gibbs ; Yvonne Coady
Author Index
Focus: Early Aspects - Mapping Across the Lifecycle
Guest Editors' Introduction: Early Aspects-Mapping Across the Lifecycle / Joao Araujo ; Elisa Baniassad
Compass: Composition-Centric Mapping of Aspectual Requirements to Architecture / Ruzanna Chitchyan ; Monica Pinto ; Awais Rashid ; Lidia Fuentes
24.

電子ブック

EB
Ugo Montanari, Roberto Bruni, Takeo Kanade, Donald Sannella
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2007
所蔵情報: loading…
目次情報: 続きを見る
FP6 Project Overviews
Project AEOLUS: An Overview / Christos Kaklamanis
MOBIUS: Mobility, Ubiquity, Security / Gilles Barthe ; Lennart Beringer ; Pierre Cregut ; Benjamin Gregoire ; Martin Hofmann ; Peter Muller ; Erik Poll ; German Puebla ; Ian Stark ; Eric Vetillard
Sensoria Process Calculi for Service-Oriented Computing / Martin Wirsing ; Rocco De Nicola ; Stephen Gilmore ; Matthias Holzl ; Roberto Lucchi ; Mirco Tribastone ; Gianlugi Zavattaro
Global Grids - Making a Case for Self-organization in Large-Scale Overlay Networks / Torsten Eymann ; Werner Streitberger ; Sebastian Hudert
Keynote Speakers
Software of the Future Is the Future of Software? / Paola Inverardi
An Algorithmic Theory of Mobile Agents / Evangelos Kranakis ; Danny Krizanc
Types to Discipline Interactions
Spatial-Behavioral Types, Distributed Services, and Resources / Luis Caires
Integration of a Security Type System into a Program Logic / Reiner Hahnle ; Jing Pan ; Philipp Rummer ; Dennis Walter
Calculi for Distributed Systems
PRISMA: A Mobile Calculus with Parametric Synchronization / Roberto Bruni ; Ivan Lanese
On Bisimulation Proofs for the Analysis of Distributed Abstract Machines / Damien Pous
A Typed Calculus for Querying Distributed XML Documents / Lucia Acciai ; Michele Boreale ; Silvano Dal Zilio
Flexible Modeling
Verification of Model Transformations: A Case Study with BPEL / Luciano Baresi ; Karsten Ehrig ; Reiko Heckel
A Fuzzy Approach for Negotiating Quality of Services / Davide Bacciu ; Alessio Botta ; Hernan Melgratti
Algorithms and Systems for Global Computing
Scheduling to Maximize Participation / Ioannis Caragiannis ; Panagiotis Kanellopoulos ; Evi Papaioannou
On the Limits of Cache-Oblivious Matrix Transposition / Francesco Silvestri
The KOA Remote Voting System: A Summary of Work to Date / Joseph R. Kiniry ; Alan E. Morkan ; Dermot Cochran ; Fintan Fairmichael ; Patrice Chalin ; Martijn Oostdijk ; Engelbert Hubbers
Security, Anonymity and Type Safety
Security Types for Dynamic Web Data / Mariangiola Dezani-Ciancaglini ; Silvia Ghilezan ; Jovanka Pantovic
Anonymity Protocols as Noisy Channels / Konstantinos Chatzikokolakis ; Catuscia Palamidessi ; Prakash Panangaden
A Framework for Automatically Checking Anonymity with [mu]CRL / Tom Chothia ; Simona Orzan ; Jun Pang ; Mohammad Torabi Dashti
A Framework for Type Safe Exchange of Mobile Code / Sonia Fagorzi ; Elena Zucca
Author Index
FP6 Project Overviews
Project AEOLUS: An Overview / Christos Kaklamanis
MOBIUS: Mobility, Ubiquity, Security / Gilles Barthe ; Lennart Beringer ; Pierre Cregut ; Benjamin Gregoire ; Martin Hofmann ; Peter Muller ; Erik Poll ; German Puebla ; Ian Stark ; Eric Vetillard
25.

電子ブック

EB
Orna Grumberg, Takeo Kanade, Helmut Veith
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2008
所蔵情報: loading…
26.

電子ブック

EB
Egon Börger, Paul Boca, Jonathan P. Bowen, Michael Butler, Takeo Kanade
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2008
所蔵情報: loading…
27.

電子ブック

EB
Egon Börger, Antonio Cisternino, Takeo Kanade
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2008
所蔵情報: loading…
目次情報: 続きを見る
Foundations and Methodology
The Name and Nature of Software Engineering / Michael Jackson
A Modeling Language for Program Design and Synthesis / Don Batory
A Method for Verifiable and Validatable Business Process Modeling / Egon Borger ; Bernhard Thalheim
SOA and Web Services
Service Oriented Architecture: Overview and Directions / Boualem Benatallah ; Hamid R. Motahari Nezhad
A Guided Tour through SAVVY-WS: A Methodology for Specifying and Validating Web Service Compositions / Domenico Bianculli ; Carlo Ghezzi ; Paola Spoletini ; Luciano Baresi ; Sam Guinea
Software Technology
Software Manipulation with Annotations in Java / Vincenzo Gervasi ; Giacomo A. Galilei
Zero-Overhead Composable Aspects for .NET / Rasmus Johansen ; Peter Sestoft ; Stephan Spangenberg
Technologies for Evolvable Software Products: The Conflict between Customizations and Evolution / Sebastien Vaucouleur
Security
Security in Distributed Applications / Dieter Gollmann
Author Index
Foundations and Methodology
The Name and Nature of Software Engineering / Michael Jackson
A Modeling Language for Program Design and Synthesis / Don Batory
28.

電子ブック

EB
Jörg P. Müller, Takeo Kanade, Franco Zambonelli
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2006
所蔵情報: loading…
29.

電子ブック

EB
Michael Luck, Michael M. Luck, Lin Padgham
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2008
所蔵情報: loading…
目次情報: 続きを見る
AOSE Methodology and Processes / I:
O-MaSE: A Customizable Approach to Developing Multiagent Development Processes / Juan C. Garcia-Ojeda ; Scott A. DeLoach ; Robby ; Walamitien H. Oyenan ; Jorge Valenzuela
Extending Gaia with Agent Design and Iterative Development / Jorge Gonzalez-Palacios ; Michael Luck
AgentPrIMe: Adapting MAS Designs to Build Confidence / Simon Miles ; Paul Groth ; Steve Munroe ; Luc Moreau
Refining Goal Models by Evaluating System Behaviour / Mirko Morandini ; Loris Penserini ; Anna Perini ; Angelo Susi
A Goal-Oriented Software Testing Methodology / Duy Cu Nguyen ; Paolo Tonella
Interacting Heterogeneous Agents / II:
Open Agent Systems ??? / Frank Dignum ; Virginia Dignum ; John Thangarajah ; Lin Padgham ; Michael Winikoff
An Agent Framework for Processing FIPA-ACL Messages Based on Interaction Models / Ernesto German ; Leonid Sheremetov
A Methodology for Developing Multiagent Systems as 3D Electronic Institutions / Anton Bogdanovych ; Marc Esteva ; Simeon Simoff ; Carles Sierra ; Helmut Berger
System Development Issues / III:
Reasoning About Risk in Agent's Deliberation Process: A Jadex Implementation / Yudistira Asnar ; Paolo Giorgini ; Nicola Zannone
Generation of Repair Plans for Change Propagation / Khanh Hoa Dam
An Expressway from Agent-Oriented Models to Prototypes / Kuldar Taveter ; Leon Sterling
Tools and Case Studies / IV:
Introduction to AOSE Tools for the Conference Management System
Developing a Multiagent Conference Management System Using the O-MaSE Process Framework
Tool-Supported Development with Tropos: The Conference Management System Case Study / Alberto Siena
The Prometheus Design Tool - A Conference Management System Case Study
Developing a Conference Management System with the Multi-Agent Systems Unified Process: A Case Study / Danilo Santos ; Marcelo Blois Ribeiro ; Ricardo Bastos
Author Index
AOSE Methodology and Processes / I:
O-MaSE: A Customizable Approach to Developing Multiagent Development Processes / Juan C. Garcia-Ojeda ; Scott A. DeLoach ; Robby ; Walamitien H. Oyenan ; Jorge Valenzuela
Extending Gaia with Agent Design and Iterative Development / Jorge Gonzalez-Palacios ; Michael Luck
30.

電子ブック

EB
Khalid Al-Begain, Armin Heindl, Takeo Kanade, Miklós Telek
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2008
所蔵情報: loading…
31.

電子ブック

EB
Andy Schürr, Takeo Kanade, Manfred Nagl, Andreas Schürr, Albert Zündorf
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2008
所蔵情報: loading…
32.

電子ブック

EB
Rogério Lemos, Cristina Gacek, Felicita Giandomenico, Takeo Kanade, Rogério de Lemos, Henry Muccini, Marlon Vieira
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2008
所蔵情報: loading…
33.

電子ブック

EB
Ralf H. Reussner, Takeo Kanade, Judith A. Stafford, Judith Alyce Stafford, Clemens A. Szyperski
出版情報: Springer eBooks Computer Science , Springer Berlin / Heidelberg, 2006
所蔵情報: loading…
34.

電子ブック

EB
Jacques Julliand, Takeo Kanade, Olga Kouchnarenko
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2006
所蔵情報: loading…
35.

電子ブック

EB
Bertrand Meyer, Takeo Kanade, Jerzy R. Nawrocki, Bartosz Walter
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2008
所蔵情報: loading…
36.

電子ブック

EB
Ian Gorton, George T. Heineman, Takeo Kanade
出版情報: Springer eBooks Computer Science , Springer Berlin / Heidelberg, 2006
所蔵情報: loading…
37.

電子ブック

EB
Michel R. V. Chaudron, Takeo Kanade, Ralf Reussner, Clemens Szyperski
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2008
所蔵情報: loading…
38.

電子ブック

EB
Qing Li, Takeo Kanade, Antoni Olivé, Stefano Spaccapietra, Eric Yu
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2008
所蔵情報: loading…
39.

電子ブック

EB
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
所蔵情報: loading…
40.

電子ブック

EB
Ben Liblit, David Hutchison, Takeo Kanade, Association for Computing Machinery.
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2007
所蔵情報: loading…
目次情報: 続きを見る
Introduction / 1:
Perfect, or Close Enough / 1.1:
Automatic Failure Reporting / 1.2:
The Next Step Forward / 1.3:
Cooperative Bug Isolation / 1.4:
Instrumentation Framework / 2:
Basic Instrumentation Strategy / 2.1:
Sampling the Bernoulli Way / 2.1.1:
From Blocks to Functions / 2.1.2:
Interprocedural Issues / 2.1.3:
Instrumentation Schemes for Distributed Debugging / 2.2:
Issues in Remote Sampling / 2.2.1:
Counter-Based Instrumentation Schemes / 2.2.2:
Additional Instrumentation Schemes / 2.2.3:
Performance and Optimizations / 2.3:
Static Branch Prediction / 2.3.1:
Weightless Functions / 2.3.2:
Empty and Singleton Regions / 2.3.3:
Local Countdown Caching / 2.3.4:
Random Countdown Generation / 2.3.5:
Path Balancing / 2.3.6:
Statically Selective Sampling / 2.3.7:
Optimization Recap / 2.3.8:
Adaptive Sampling / 2.4:
Nonuniformity Via Multiple Countdowns / 2.4.1:
Nonuniformity Via Non-Unit Site Weights / 2.4.2:
Policy Notes / 2.4.3:
Realistic Sampling Rates / 2.5:
Practical Considerations / 3:
Native Compiler Integration / 3.1:
Static Site Information / 3.1.1:
Libraries and Plugins / 3.2:
Threads / 3.3:
Next-Sample Countdown / 3.3.1:
Predicate Counters / 3.3.2:
Compilation Unit Registry and Report File / 3.3.3:
Time Stamp Clock / 3.3.4:
Performance Evaluation / 3.3.5:
Privacy and Security / 3.4:
User Interaction / 3.5:
Status of the Public Deployment / 3.6:
Resource Requirements / 3.6.1:
Reporting Trends / 3.6.2:
Techniques for Statistical Debugging / 4:
Notation and Terminology / 4.1:
Predicate Elimination / 4.2:
Instrumentation Strategy / 4.2.1:
Elimination Strategies / 4.2.2:
Data Collection and Analysis / 4.2.3:
Refinement over time / 4.2.4:
Performance Impact / 4.2.5:
Limitations and Insights / 4.2.6:
Regularized Logistic Regression / 4.3:
Crash Prediction Using Logistic Regression / 4.3.1:
Moss: A Multiple-Bug Challenge / 4.3.2:
Nonuniform Sampling / 4.4.1:
Analysis Results / 4.4.2:
Iterative Bug Isolation and Elimination / 4.5:
Increase Scores / 4.5.1:
Statistical Interpretation / 4.5.2:
Balancing Specificity and Sensitivity / 4.5.3:
Redundancy Elimination / 4.5.4:
Case Studies / 4.6:
Moss / 4.6.1:
CCRYPT / 4.6.2:
BC / 4.6.3:
EXIF / 4.6.4:
Rhythmbox / 4.6.5:
Related Work / 5:
Static Analysis / 5.1:
Profiling and Tracing / 5.2:
Dynamic Analysis / 5.3:
Conclusion / 6:
References
Introduction / 1:
Perfect, or Close Enough / 1.1:
Automatic Failure Reporting / 1.2:
41.

電子ブック

EB
Doug Lea, Takeo Kanade, Douglas Lea, Gianluigi Zavattaro
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2008
所蔵情報: loading…
42.

電子ブック

EB
Paolo Ciancarini, Takeo Kanade, Herbert Wiklicky
出版情報: Springer eBooks Computer Science , Springer Berlin / Heidelberg, 2006
所蔵情報: loading…
43.

電子ブック

EB
Irene Eusgeld, Felix C. Freiling, Takeo Kanade, Ralf Reussner
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2008
所蔵情報: loading…
目次情報: 続きを見る
Introduction to Dependability Metrics / Irene Eusgeld ; Felix C. Freiling1:
Foundations / I:
On Metrics and Measurements / Rainer Bohme2:
Validation of Predictions with Measurements / Ralf Reussner3:
Consistent Metric Usage: From Design to Deployment / Kenneth Chan ; Iman Poernomo4:
Basic and Dependent Metrics / Viktoria Firus5:
Goal, Question, Metric / Heiko Koziolek6:
Quality of Service Modeling Language / Steffen Becker7:
Markov Models / Michael Kuperberg8:
Reliability Metrics / II:
Hardware Reliability / Bernhard Fechner ; Felix Salfner ; Max Walter ; Philipp Limbourg ; Lijun Zhang9:
Software Reliability / Falk Fraikin ; Matthias Rohr ; Ute Wappler10:
Security Metrics / III:
Introduction to Security Metrics / 11:
Cryptographic Attack Metrics / Zinaida Benenson ; Ulrich Kuhn ; Stefan Lucks12:
Security Measurements and Metrics for Networks / Thorsten Holz13:
Industrial Approaches and Standards for Security Assessment / Steffen Weiss14:
Economic Security Metrics / Thomas Nowey15:
Human Factors / Martin Mink16:
Performance Metrics / IV:
Introduction to Performance Metrics / 17:
Performance-Related Metrics in the ISO 9126 Standard / 18:
Analytical Performance Metrics / Jens Happe19:
Performance Metrics in Software Design Models / Antonino Sabetta20:
Measuring Performance Metrics: Techniques and Tools / 21:
Performance Metrics for Specific Domains / 22:
Overlapping Metrics / V:
Introduction to Overlapping Attributes / 23:
Performability / 24:
Reliability vs. Security: A Subjective Overview / 25:
Appendix
Biographies of Contributors / 26:
References / 27:
Subject Index
Author Index
Introduction to Dependability Metrics / Irene Eusgeld ; Felix C. Freiling1:
Foundations / I:
On Metrics and Measurements / Rainer Bohme2:
44.

電子ブック

EB
Jürg Kohlas, Takeo Kanade, J・・urg Kohlas, Bertrand Meyer, Andrae Schiper, André Schiper
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2006
所蔵情報: loading…
45.

電子ブック

EB
René Meier, Takeo Kanade, Sotirios Terzis
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2008
所蔵情報: loading…
46.

電子ブック

EB
Frank Eliassen, Takeo Kanade, Alberto Montresor
出版情報: Springer eBooks Computer Science , Springer Berlin / Heidelberg, 2006
所蔵情報: loading…
47.

電子ブック

EB
Jayadev Misra, Takeo Kanade, Tobias Nipkow, Emil Sekerinski
出版情報: Springer eBooks Computer Science , Springer Berlin / Heidelberg, 2006
所蔵情報: loading…
目次情報: 続きを見る
Invited Talk
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
Enforcer - Efficient Failure Injection / Cyrille Valentin Artho ; Armin Biere ; Shinichi Honiden
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
Connector-Based Software Development: Deriving Secure Protocols / Dusko Pavlovic
Model-Based Security Engineering for Real / Jan Jurjens
Cost Effective Software Engineering for Security / D. Randolph Johnson
Formal Methods and Cryptography / Michael Backes ; Birgit Pfitzmann ; Michael Waidner
Verified Software Grand Challenge / Jim Woodcock
Author Index
Invited Talk
The Embedded Systems Design Challenge / Thomas A. Henzinger ; Joseph Sifakis
Interactive Verification
48.

電子ブック

EB
Jorge Cuellar, Takeo Kanade, Thomas S. E. Maibaum, Tom Maibaum, Kaisa Sere
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2008
所蔵情報: loading…
49.

電子ブック

EB
Wolfgang Grieskamp, Takeo Kanade, Carsten Weise
出版情報: Springer eBooks Computer Science , Springer Berlin / Heidelberg, 2006
所蔵情報: loading…
50.

電子ブック

EB
Klaus Havelund, Takeo Kanade, Manuel Núñez, Grigore Roşu, Burkhart Wolff
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2006
所蔵情報: loading…
51.

電子ブック

EB
Zhiming Liu, Jifeng He, Takeo Kanade
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2006
所蔵情報: loading…
目次情報: 続きを見る
Keynote Talks
Program Verification Through Computer Algebra / Chaochen Zhou
JML's Rich, Inherited Specifications for Behavioral Subtypes / Gary T. Leavens
Three Perspectives in Formal Engineering / John McDermid ; Andy Galloway
Specification and Verification
A Method for Formalizing, Analyzing, and Verifying Secure User Interfaces / Bernhard Beckert ; Gerd Beuster
Applying Timed Interval Calculus to Simulink Diagrams / Chunqing Chen ; Jin Song Dong
Reducing Model Checking of the Few to the One / E. Allen Emerson ; Richard J. Trefler ; Thomas Wahl
Induction-Guided Falsification / Kazuhiro Ogata ; Masahiro Nakano ; Weiqiang Kong ; Kokichi Futatsugi
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
52.

電子ブック

EB
András Horváth, Takeo Kanade, Miklós Telek
出版情報: Springer eBooks Computer Science , Springer Berlin / Heidelberg, 2006
所蔵情報: loading…
53.

電子ブック

EB
Robert M. Hierons, Jonathan P. Bowen, Jonathan Peter Bowen, Mark Harman, Takeo Kanade
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2008
所蔵情報: loading…
54.

電子ブック

EB
Frank S. Boer, Frank S. de Boer, Marcello M. Bonsangue, Susanne Graf, Takeo Kanade, Willem-Paul Roever
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2006
所蔵情報: loading…
目次情報: 続きを見る
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
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
55.

電子ブック

EB
Frank S. Boer, Frank S. de Boer, Marcello M. Bonsangue, Susanne Graf, Takeo Kanade, Willem-Paul Roever
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2008
所蔵情報: loading…
56.

電子ブック

EB
Marco Bernardo, Pierpaolo Degano, Takeo Kanade, Gianluigi Zavattaro
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2008
所蔵情報: loading…
目次情報: 続きを見る
Regular Lectures / Part I:
Sensitivity Analysis of Stochastic Models of Bistable Biochemical Reactions / Andrea Degasperi ; Stephen Gilmore
Pathway Logic / Carolyn Talcott
Formal Cell Biology in Biocham / Francois Fages ; Sylvain Soliman
Hierarchical Modeling for Computational Biology / Carsten Maus ; Mathias John ; Mathias Rohl ; Adelinde M. Uhrmacher
Simulation Methods in Systems Biology / Daniel T. Gillespie
Membrane Computing as a Modeling Framework. Cellular Systems Case Studies / Gheorghe Paun ; Francisco Jose Romero-Campero
Petri Nets for Systems and Synthetic Biology / Monika Heiner ; David Gilbert ; Robin Donaldson
Process Algebras in Systems Biology / Federica Ciocchetta ; Jane Hillston
The BlenX Language: A Tutorial / Lorenzo Dematte ; Corrado Priami ; Alessandro Romanel
BISCA Talks / Part II:
Cells in Silico: A Holistic Approach / Davide Chiarugi ; Pierpaolo Degano ; Jan Bert Van Klinken ; Roberto Marangoni
The Calculus of Looping Sequences / Roberto Barbuti ; Giulio Caravagna ; Andrea Maggiolo-Schettini ; Paolo Milazzo ; Giovanni Pardini
Hybrid Systems and Biology: Continuous and Discrete Modeling for Systems Biology / Luca Bortolussi ; Alberto Policriti
[pi]@: A [pi]-Based Process Calculus for the Implementation of Compartmentalised Bio-inspired Calculi / Cristian Versari ; Roberto Gorrieri
A Gentle Introduction to Stochastic (Poly)Automata Collectives and the (Bio)Chemical Ground Form / Gianluigi Zavattaro
Author Index
Regular Lectures / Part I:
Sensitivity Analysis of Stochastic Models of Bistable Biochemical Reactions / Andrea Degasperi ; Stephen Gilmore
Pathway Logic / Carolyn Talcott
57.

電子ブック

EB
Marco Bernardo, Alessandro Cimatti, Takeo Kanade
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2006
所蔵情報: loading…
58.

電子ブック

EB
Stefan Leue, Pedro Merino
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2008
所蔵情報: loading…
59.

電子ブック

EB
Luciano Baresi, Reiko Heckel, Takeo Kanade
出版情報: Springer eBooks Computer Science , Springer Berlin / Heidelberg, 2006
所蔵情報: loading…
60.

電子ブック

EB
José Luiz Fiadeiro, Paola Inverardi, Takeo Kanade
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2008
所蔵情報: loading…
61.

電子ブック

EB
Ralf Lämmel, Takeo Kanade, Ral L・・ammel, Jo?a Saraiva, João Saraiva, Joos Visser, Joost Visser
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2006
所蔵情報: loading…
62.

電子ブック

EB
Ralf Lämmel, Takeo Kanade, João Saraiva, Joost Visser
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2008
所蔵情報: loading…
目次情報: 続きを見る
Full Tutorials / I:
Design Space of Heterogeneous Synchronization / Michal Antkiewicz ; Krzysztof Czarnecki
Software Reuse beyond Components with XVCL (Tutorial) / Stan Jarzabek
QL: Object-Oriented Queries Made Easy / Oege de Moor ; Damien Sereni ; Mathieu Verbaere ; Elnar Hajiyev ; Pavel Avgustinov ; Torbjorn Ekman ; Neil Ongkingco ; Julian Tibble
Transforming Data by Calculation / Jose N. Oliveira
How to Write Fast Numerical Code: A Small Introduction / Srinivas Chellappa ; Franz Franchetti ; Markus Puschel
A Gentle Introduction to Multi-stage Programming, Part II / Walid Taha
WebDSL: A Case Study in Domain-Specific Language Engineering / Eelco Visser
Short Tutorials / II:
Model-Driven Engineering of Rules for Web Services / Marko Ribaric ; Dragan Gasevic ; Milan Milanovic ; Adrian Giurca ; Sergey Lukichev ; Gerd Wagner
An Introduction to Context-Oriented Programming with ContextS / Robert Hirschfeld ; Pascal Costanza ; Michael Haupt
A Landscape of Bidirectional Model Transformations / Perdita Stevens
Evolving a DSL Implementation / Laurence Tratt
Adding Dimension Analysis to Java as a Composable Language Extension (Extended Abstract) / Eric Van Wyk ; Yogesh Mali
Participants Contributions / III:
Model Transformations for the Compilation of Multi-processor Systems-on-Chip / Eric Piel ; Philippe Marquet ; Jean-Luc Dekeyser
Implementation of a Finite State Machine with Active Libraries in C++ / Zoltan Juhasz ; Adam Sipos ; Zoltan Porkolab
Automated Merging of Feature Models Using Graph Transformations / Sergio Segura ; David Benavides ; Antonio Ruiz-Cortes ; Pablo Trinidad
Modelling the Operational Semantics of Domain-Specific Modelling Languages / Guido Wachsmuth
Author Index
Full Tutorials / I:
Design Space of Heterogeneous Synchronization / Michal Antkiewicz ; Krzysztof Czarnecki
Software Reuse beyond Components with XVCL (Tutorial) / Stan Jarzabek
63.

電子ブック

EB
Karen Yorav, Takeo Kanade
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2008
所蔵情報: loading…
64.

電子ブック

EB
Shmuel Ur, Eyal Bin, Takeo Kanade, Yaron Wolfsthal
出版情報: Springer eBooks Computer Science , Springer Berlin / Heidelberg, 2006
所蔵情報: loading…
65.

電子ブック

EB
Eyal Bin, Takeo Kanade, Shmuel Ur, Avi Ziv
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2007
所蔵情報: loading…
目次情報: 続きを見る
Hardware Verification Track
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
Tools Track
Smart-Lint: Improving the Verification Flow / Itai Yarom ; Viji Patil
Model-Driven Development with the jABC / Bernhard Steffen ; Tiziana Margaria ; Ralf Nagel ; Sven Jorges ; Christian Kubczak
Detecting Design Flaws in UML State Charts for Embedded Software / Janees Elamkulam ; Ziv Glazberg ; Ishai Rabinovitz ; Gururaja Kowlali ; Satish Chandra Gupta ; Sandeep Kohli ; Sai Dattathrani ; Claudio Paniagua Macia
A Panel: Unpaved Road Between Hardware Verification and Software Testing Techniques / Shmuel Ur
An Open Source Simulation Model of Software Development and Testing / Elad Yom-Tov ; Paul Wernick
Software Testing Track
ExpliSAT: Guiding SAT-Based Software Verification with Explicit States / Sharon Barner ; Cindy Eisner ; Daniel Kroening
Evolutionary Testing: A Case Study / Stella Levin ; Amiram Yehudai
A Race-Detection and Flipping Algorithm for Automated Testing of Multi-threaded Programs / Koushik Sen ; Gul Agha
Explaining Intermittent Concurrent Bugs by Minimizing Scheduling Noise / Yaniv Eytani ; Timo Latvala
Testing the Machine in the World / Michael Jackson
Choosing a Test Modeling Language: A Survey / Alan Hartman ; Mika Katara ; Sergey Olvovsky
Making Model-Based Testing More Agile: A Use Case Driven Approach / Antti Kervinen
Author Index
Hardware Verification Track
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
66.

電子ブック

EB
Barbara Paech, Takeo Kanade, Craig Martell
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2008
所蔵情報: loading…
67.

電子ブック

EB
Qing Wang, Dietmar Pfahl, David M. Raffo, David Mitchell Raffo
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2008
所蔵情報: loading…
68.

電子ブック

EB
Antti Valmari, Takeo Kanade
出版情報: Springer eBooks Computer Science , Springer Berlin / Heidelberg, 2006
所蔵情報: loading…
69.

電子ブック

EB
Klaus Havelund, Takeo Kanade, Rupak Majumdar, Jens Palsberg
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2008
所蔵情報: loading…
70.

電子ブック

EB
Krzysztof Czarnecki, Jean-Michel Bruel, Takeo Kanade, Ileana Ober, Axel Uhl, Markus Völter
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2008
所蔵情報: loading…
71.

電子ブック

EB
Oscar Nierstrasz, David Harel, Takeo Kanade, Oscar Marius Nierstrasz, Gianna Reggio, Jon Whittle, Association for Computing Machinery-Digital Library.
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2006
所蔵情報: loading…
目次情報: 続きを見る
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
72.

電子ブック

EB
Holger Giese, Takeo Kanade
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2008
所蔵情報: loading…
73.

電子ブック

EB
Thomas Kühne, Takeo Kanade, Association for Computing Machinery-Digital Library.
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2007
所蔵情報: loading…
74.

電子ブック

EB
Andreas Jedlitschka, Takeo Kanade, Outi Salo
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2008
所蔵情報: loading…
75.

電子ブック

EB
Jürgen Münch, Takeo Kanade, J・・ur M・・unch, Mat Vierimaa, Matias Vierimaa
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2006
所蔵情報: loading…
76.

電子ブック

EB
Steffen Becker, Takeo Kanade, Frantisek Plasil, Ralf Reussner
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2008
所蔵情報: loading…
77.

電子ブック

EB
Nicolas Guelfi, Takeo Kanade, Anthony Savidis
出版情報: Springer eBooks Computer Science , Springer Berlin / Heidelberg, 2006
所蔵情報: loading…
78.

電子ブック

EB
Ana Cavalcanti, Takeo Kanade, Augusto Sampaio, Jim Woodcock
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2006
所蔵情報: loading…
79.

電子ブック

EB
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
所蔵情報: loading…
80.

電子ブック

EB
Fabrice Kordon, Takeo Kanade, Tullio Vardanega
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2008
所蔵情報: loading…
81.

電子ブック

EB
Maurizio Morisio, Takeo Kanade
出版情報: Springer eBooks Computer Science , Springer Berlin / Heidelberg, 2006
所蔵情報: loading…
82.

電子ブック

EB
Martin Leucker, Takeo Kanade
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2008
所蔵情報: loading…
83.

電子ブック

EB
Jean-Michel Bruel, Takeo Kanade
出版情報: Springer eBooks Computer Science , Springer Berlin / Heidelberg, 2006
所蔵情報: loading…
84.

電子ブック

EB
Volker Gruhn, Takeo Kanade, Flavio Oquendo
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2006
所蔵情報: loading…
85.

電子ブック

EB
Cesare Pautasso, Takeo Kanade, Éric Tanter
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2008
所蔵情報: loading…
86.

電子ブック

EB
Welf Löwe, Takeo Kanade, We Lowe, Ma Sudholt, Mario Südholt
出版情報: Springer eBooks Computer Science , Springer Berlin / Heidelberg, 2006
所蔵情報: loading…
目次情報: 続きを見る
Automatic Checking of Component Protocols in Component-Based Systems / Wolf Zimmermann ; Michael Schaarschmidt
Checking Component Composability / Christian Attiogbe ; Pascal Andre ; Gilles Ardourel
Static Verification of Indirect Data Sharing in Loosely-coupled Component Systems / Lieven Desmet ; Frank Piessens ; Wouter Joosen ; Pierre Verbaeten
Enforcing Different Contracts in Hierarchical Component-Based Systems / Philippe Collet ; Alain Ozanne ; Nicolas Rivierre
Automated Pattern-Based Pointcut Generation / Mathieu Braem ; Kris Gybels ; Andy Kellens ; Wim Vanderperren
An Aspect-Oriented Approach for Developing Self-Adaptive Fractal Components / Pierre-Charles David ; Thomas Ledoux
Aspects of Composition in the Reflex AOP Kernel / Eric Tanter
A Component-Based Approach to Compose Transaction Standards / Romain Rouvoy ; Patricia Serrano-Alvarado ; Philippe Merle
A Class-Based Object Calculus of Dynamic Binding: Reduction and Properties / Pawel T. Wojciechowski
Tracechecks: Defining Semantic Interfaces with Temporal Logic / Eric Bodden ; Volker Stolz
Service Composition with Directories / Ion Constantinescu ; Walter Binder ; Boi Faltings
Modeling Composition in Dynamic Programming Environments with Model Transformations / Uwe Zdun ; Mark Strembeck
General Composition of Software Artifacts / William Harrison ; Harold Ossher ; Peri Tarr
Dimensions of Composition Models for Supporting Software Evolution / In-Gyu Kim ; Tegegne Marew ; Doo-Hwan Bae ; Jang-Eui Hong ; Sang-Yoon Min
Context-Aware Aspects / Marcus Denker ; Alexandre Bergel
Understanding Design Patterns Density with Aspects / Simon Denier ; Pierre Cointe
A Model for Developing Component-Based and Aspect-Oriented Systems / Nicolas Pessemier ; Lionel Seinturier ; Thierry Coupaye ; Laurence Duchien
FROGi: Fractal Components Deployment over OSGi / Mikael Desertot ; Humberto Cervantes ; Didier Donsez
Modular Design of Man-Machine Interfaces with Larissa / Karine Altisen ; Florence Maraninchi ; David Stauch
On the Integration of Classboxes into C# / Markus Lumpe ; Jean-Guy Schneider
Automatic Control Flow Generation from Software Architectures / Kung-Kiu Lau ; Vladyslav Ukis
Author Index
Automatic Checking of Component Protocols in Component-Based Systems / Wolf Zimmermann ; Michael Schaarschmidt
Checking Component Composability / Christian Attiogbe ; Pascal Andre ; Gilles Ardourel
Static Verification of Indirect Data Sharing in Loosely-coupled Component Systems / Lieven Desmet ; Frank Piessens ; Wouter Joosen ; Pierre Verbaeten
87.

電子ブック

EB
Alessandro Garcia, Ricardo Choren, Paolo Giorgini, Tom Holvoet, Takeo Kanade, Carlos Lucena, Alexander Romanovsky
出版情報: Springer eBooks Computer Science , Springer Berlin / Heidelberg, 2006
所蔵情報: loading…
目次情報: 続きを見る
Context-Awareness and Coordination
Policy-Driven Configuration and Management of Agent Based Distributed Systems / Anand R. Tripathi ; Devdatta Kulkarni ; Tanvir Ahmed
Views: Middleware Abstractions for Context-Aware Applications in Manets / Kurt Schelfthout ; Tom Holvoet ; Yolande Berbers
An Adaptive Distributed Layout for Multi-agent Applications / Koenraad Mertens
Self-organizing Approaches for Large-Scale Spray Multiagent Systems / Marco Mamei ; Franco Zambonelli
Coordination Artifacts as First-Class Abstractions for MAS Engineering: State of the Research / Andrea Omicini ; Alessandro Ricci ; Mirko Viroli
Modeling
Analysis and Design of Physical and Social Contexts in Multi-agent Systems / Florian Klein ; Holger Giese
Engineering Organization-Based Multiagent Systems / Scott A. DeLoach
Developing and Evaluating a Generic Metamodel for MAS Work Products / Ghassan Beydoun ; César Gonzalez-Perez ; Brian Henderson-Sellers ; G. Low
Agent Roles, Qua Individuals and the Counting Problem / Giancarlo Guizzardi
Requirements and Software Architecture
A Product-Line Approach to Promote Asset Reuse in Multi-agent Systems / Josh Dehlinger ; Robyn R. Lutz
Characterization and Evaluation of Multi-agent System Architectural Styles / Paul Davidsson ; Stefan Johansson ; Mikael Svahnberg
Improving Flexibility and Robustness in Agent Interactions: Extending Prometheus with Hermes / Christopher Cheong ; Michael Winikoff
Patterns for Modelling Agent Systems with Tropos / Haralambos Mouratidis ; Michael Weiss
Dependability
On the Use of Formal Specifications as Part of Running Programs / Giovanna Di Marzo Serugendo
Adaptive Replication of Large-Scale Multi-agent Systems - Towards a Fault-Tolerant Multi-agent Platform / Zahia Guessoum ; Nora Faci ; Jean-Pierre Briot
Author Index
Context-Awareness and Coordination
Policy-Driven Configuration and Management of Agent Based Distributed Systems / Anand R. Tripathi ; Devdatta Kulkarni ; Tanvir Ahmed
Views: Middleware Abstractions for Context-Aware Applications in Manets / Kurt Schelfthout ; Tom Holvoet ; Yolande Berbers
88.

電子ブック

EB
Walter Dosch, Takeo Kanade, Roger Y. Lee, Chisu Wu
出版情報: Springer eBooks Computer Science , Springer Berlin / Heidelberg, 2006
所蔵情報: loading…
89.

電子ブック

EB
Juan J. Cuadrado-Gallego, Alain Abran, René Braungarten, Reiner R. Dumke, Takeo Kanade
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2008
所蔵情報: loading…
90.

電子ブック

EB
Reiner R. Dumke, Alain Abran, René Braungarten, Günter Büren, Juan J. Cuadrado-Gallego, Takeo Kanade
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2008
所蔵情報: loading…
91.

電子ブック

EB
Qing Wang, Takeo Kanade, Dietmar Pfahl, David M. Raffo, Paul Wernick
出版情報: Springer eBooks Computer Science , Springer Berlin / Heidelberg, 2006
所蔵情報: loading…
92.

電子ブック

EB
Ita Richardson, Takeo Kanade, Richard Messnarz, Per Runeson
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2006
所蔵情報: loading…
93.

電子ブック

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

電子ブック

EB
M. Ümit Uyar, Ali Y. Duale, Mariusz A. Fecko, Takeo Kanade
出版情報: Springer eBooks Computer Science , Springer Berlin / Heidelberg, 2006
所蔵情報: loading…
95.

電子ブック

EB
Kenji Suzuki, Toru Hasegawa, Teruo Higashino, Takeo Kanade, Andreas Ulrich, International Federation for Information Processing.
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2008
所蔵情報: loading…
96.

電子ブック

EB
Andreas Rausch, Takeo Kanade, Raffaela Mirandola, FrantiÅ¡ek Plášil, Ralf Reussner, Gesellschaft für Informatik.
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2008
所蔵情報: loading…
目次情報: 続きを見る
Introduction / Andreas Rausch ; Ralf Reussner ; Raffaela Mirandola ; Frantisek Plasil1:
CoCoTA - Common Component Task / 2:
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:
Component-Interaction Automata Approach (CoIn) / Barbora Zimmerova ; Pavlina Varekova ; Nikola Benes ; Ivana Cerna ; Lubos Brim ; Jiri Sochor7:
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:
Author Index
Introduction / Andreas Rausch ; Ralf Reussner ; Raffaela Mirandola ; Frantisek Plasil1:
CoCoTA - Common Component Task / 2:
CoCoME - The Common Component Modeling Example / Sebastian Herold ; Holger Klus ; Yannick Welsch ; Constanze Deiters ; Klaus Krogmann ; Heiko Koziolek ; Benjamin Hummel ; Michael Meisinger ; Christian Pfaller3:
97.

電子ブック

EB
Pankaj Jalote
出版情報: Springer eBooks Computer Science , Springer US, 2005
所蔵情報: loading…
98.

電子ブック

EB
Pierre Dissaux, Mamoun Filali-Amine, Pierre Michel, Francois Vernadat, François Vernadat
出版情報: Springer eBooks Computer Science , Springer US, 2005
所蔵情報: loading…
99.

電子ブック

EB
Manfred; Dumke, Reiner; Ebert, Christof; Schmietendorf, Andreas Bundschuh, Rainer Dumke, Christof Ebert
出版情報: Springer eBooks Computer Science , Dordrecht : Springer Berlin Heidelberg, 2005
所蔵情報: loading…
目次情報: 続きを見る
Introduction / 1:
Making Metrics a Success - The Business Perspective / 2:
The Business Need for Measurement / 2.1:
Managing by the Numbers / 2.2:
Extraction / 2.2.1:
Evaluation / 2.2.2:
Execution / 2.2.3:
Metrics for Management Guidance / 2.3:
Portfolio Management / 2.3.1:
Technology Management / 2.3.2:
Product and Release Planning / 2.3.3:
Making the Business Case / 2.3.4:
Hints for the Practitioner / 2.4:
Summary / 2.5:
Planning the Measurement Process / 3:
Software Measurement Needs Planning / 3.1:
Goal-Oriented Approaches / 3.2:
The GQM Methodology / 3.2.1:
The CAME Approach / 3.2.2:
Measurement Choice / 3.3:
Measurement Adjustment / 3.4:
Measurement Migration / 3.5:
Measurement Efficiency / 3.6:
Performing the Measurement Process / 3.7:
Measurement Tools and Software e-Measurement / 4.1:
Applications and Strategies of Metrics Tools / 4.2:
Software process measurement and evaluation / 4.2.1:
Software Product Measurement and Evaluation / 4.2.2:
Software Process Resource Measurement and Evaluation / 4.2.3:
Software Measurement Presentation and Statistical Analysis / 4.2.4:
Software Measurement Training / 4.2.5:
Solutions and Directions in Software e-Measurement / 4.3:
Introducing a Measurement Program / 4.4:
Making the Measurement Program Useful / 5.1:
Metrics Selection and Definition / 5.2:
Roles and Responsibilities in a Measurement Program / 5.3:
Building History Data / 5.4:
Positive and Negative Aspects of Software Measurement / 5.5:
It is People not Numbers! / 5.6:
Counter the Counterarguments / 5.7:
Information and Participation / 5.8:
Measurement Infrastructures / 5.9:
Access to Measurement Results / 6.1:
Introduction and Requirements / 6.2:
Motivation: Using Measurements for Benchmarking / 6.2.1:
Source of Metrics / 6.2.2:
Dimensions of a Metrics Database / 6.2.3:
Requirements of a Metrics Database / 6.2.4:
Case Study: Metrics Database for Object-Oriented Metrics / 6.3:
Prerequisites for the Effective Use of Metrics / 6.3.1:
Architecture and Design of the Application / 6.3.2:
Details of the Implementation / 6.3.3:
Functionality of the Metrics Database (Users' View) / 6.3.4:
Size and Effort Estimation / 6.4:
The Importance of Size and Cost Estimation / 7.1:
A Short Overview of Functional Size Measurement Methods / 7.2:
The COSMIC Full Function Point Method / 7.3:
Case Study: Using the COSMIC Full Function Point Method / 7.4:
Estimations Can Be Political / 7.5:
Establishing Buy-In: The Estimation Conference / 7.6:
Estimation Honesty / 7.7:
Estimation Culture / 7.8:
The Implementation of Estimation / 7.9:
Estimation Competence Center / 7.10:
Training for Estimation / 7.11:
Project Control / 7.12:
Project Control and Software Measurement / 8.1:
Applications of Project Control / 8.2:
Monitoring and Control / 8.2.1:
Forecasting / 8.2.2:
Cost Control / 8.2.3:
Defect Detection and Quality Improvement / 8.3:
Improving Quality of Software Systems / 9.1:
Fundamental Concepts / 9.2:
Defect Estimation / 9.2.1:
Defect Detection, Quality Gates and Reporting / 9.2.3:
Early Defect Detection / 9.3:
Reducing Cost of Non-Quality / 9.3.1:
Planning Early Defect Detection Activities / 9.3.2:
Criticality Prediction - Applying Empirical Software Engineering / 9.4:
Identifying Critical Components / 9.4.1:
Practical Criticality Prediction / 9.4.2:
Software Reliability Prediction / 9.5:
Practical Software Reliability Engineering / 9.5.1:
Applying Reliability Growth Models / 9.5.2:
Calculating ROI of Quality Initiatives / 9.6:
Software Process Improvement / 9.7:
Process Management and Process Improvement / 10.1:
Making Change Happen / 10.2:
Setting Reachable Targets / 10.2.2:
Providing Feedback / 10.2.3:
Practically Speaking: Implementing Change / 10.2.4:
Critical Success Factors / 10.2.5:
Process Management / 10.3:
Process Definition and Workflow Management / 10.3.1:
Quantitative Process Management / 10.3.2:
Process Change Management / 10.3.3:
Measuring the Results of Process Improvements / 10.4:
Software Performance Engineering / 10.5:
The Method of Software Performance Engineering / 11.1:
Motivation, Requirements and Goals / 11.2:
Performance-related Risk of Software Systems / 11.2.1:
Requirements and Aims / 11.2.2:
A Practical Approach of Software Performance Engineering / 11.3:
Overview of an Integrated Approach / 11.3.1:
Establishing and Resolving Performance Models / 11.3.2:
Generalization of the Need for Model Variables / 11.3.3:
Sources of Model Variables / 11.3.4:
Performance and Software Metrics / 11.3.5:
Persistence of Software and Performance Metrics / 11.3.6:
Case Study: EAI / 11.4:
Introduction of a EAI Solution / 11.4.1:
Available Studies / 11.4.2:
Developing EAI to Meet Performance Needs / 11.4.3:
Costs of Software Performance Engineering / 11.5:
Performance Risk Model (PRM) / 11.5.1:
Service Level Management / 11.6:
Measuring Service Level Management / 12.1:
Web Services and Service Management / 12.2:
Web Services at a Glance / 12.2.1:
Overview of SLAs / 12.2.2:
Service Agreement and Service Provision / 12.2.3:
Web Service Level Agreements / 12.3:
WSLA Schema Specification / 12.3.1:
Web Services Run-Time Environment / 12.3.2:
Guaranteeing Web Service Level Agreements / 12.3.3:
Monitoring the SLA Parameters / 12.3.4:
Use of a Measurement Service / 12.3.5:
Case Study: Building an Intranet Measurement Application / 12.4:
Applying Measurement Tools / 13.1:
The White-Box Software Estimation Approach / 13.2:
First Web-Based Approach / 13.3:
Second Web-Based Approach / 13.4:
Case Study: Measurements in IT Projects / 13.5:
Estimations: A Start for a Measurement Program / 14.1:
Environment / 14.2:
The IT Organization / 14.2.1:
Function Point Project Baseline / 14.2.2:
Function Point Prognosis / 14.3:
Conclusions from Case Study / 14.4:
Counting and Accounting / 14.4.1:
ISO 8402 Quality Measures and IFPUG GSCs / 14.4.2:
Distribution of Estimated Effort to Project Phases / 14.4.3:
Estimation of Maintenance Tasks / 14.4.4:
The UKSMA and NESMA Standard / 14.4.5:
Enhancement Projects / 14.4.6:
Software Metrics for Maintenance / 14.4.7:
Estimation of Maintenance Effort After Delivery / 14.4.8:
Estimation for (Single) Maintenance Tasks / 14.4.9:
Simulations for Estimations / 14.4.10:
Sensitivity analysis / 14.4.11:
Case Study: Metrics in Maintenance / 14.5:
Motivation for a Tool-based Approach / 15.1:
The Software System under Investigation / 15.2:
Quality Evaluation with Logiscope / 15.3:
Application of Static Source Code Analysis / 15.4:
Metrics Communities and Resources / 15.5:
Benefits of Networking / 16.1:
CMG / 16.2:
COSMIC / 16.4:
German GI Interest Group on Software Metrics / 16.6:
IFPUG / 16.7:
ISBSG / 16.8:
ISO / 16.9:
SPEC / 16.10:
The MAIN Network / 16.11:
TPC / 16.12:
Internet URLs of Measurement Communities / 16.13:
Hints for the Practitioner and Summary / 16.14:
Glossary
Literature
Index
Introduction / 1:
Making Metrics a Success - The Business Perspective / 2:
The Business Need for Measurement / 2.1:
100.

電子ブック

EB
José Luiz Fiadeiro
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2005
所蔵情報: loading…
目次情報: 続きを見る
Introduction
Basics: Introducing Categories / Part 1:
Building Categories
Universal Constructions
Functors
Advanced Topics: Functor-Based Constructions / Part 2:
Adjunctions
Applications: Community / Part 3:
Architectural Description
An Algebra of Connectors
References
Index
Introduction
Basics: Introducing Categories / Part 1:
Building Categories
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼