close
1.

電子ブック

EB
Daniel Berry, Xavier Franch, Takeo Kanade
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2011
所蔵情報: loading…
目次情報: 続きを見る
Keynote
Delivering Requirements Research into Practice: A Keynote to the REFSQ'2011 Conference / Neil Maiden
Security and Sustainability / Session 1:
Supporting Requirements Engineers in Recognising Security Issues / Eric Knauss ; Siv Houmb ; Kurt Schneider ; Shareeful Islam ; Jan Jürjens
Discovering Sustainability Requirements: An Experience Report / Martin Mahaux ; Patrick Heymans ; Germain Saval
Process Improvement and Requirements in Context / Session 2:
Requirements Engineering Process Improvement: An Industrial Case Study / Georgi A. Markov ; Anne Hoffmann ; Oliver Creighton
Requirements for a Nutrition Education Demonstrator / Ing Widya ; Richard Bults ; Rene de Wijk ; Ben Loke ; Nicole Koenderink ; Ricardo Batista ; Val Jones ; Hermie Hermens
Scaling Up Requirements Engineering - Exploring the Challenges of Increasing Size and Complexity in Market-Driven Software Development / Krzysztof Wnuk ; Björn Regnell ; Brian Berenbach
Elicitation / Session 3:
Towards a New Understanding of Small and Medium Sized Enterprises in Requirements Engineering Research / Thorsten Merten ; Kim Lauenroth ; Simone Bürsner
Research Preview: Supporting End-User Requirements Elicitation Using Product Line Variability Models / Deepak Dhungana ; Norbert Seyff ; Florian Graf
Interview Patterns for Requirements Elicitation / Lauri Ann Scheinholtz ; Ilona Wilmont
A Heuristic Approach for Supporting Product Innovation in Requirements Engineering: A Controlled Experiment / Sascha El-Sharkawy ; Klaus Schmid
Models / Session 4:
Satisfying User Needs at the Right Time and in the Right Place: A Research Preview / Nauman A. Qureshi ; Anna Perini
Flexible Sketch-Based Requirements Modeling / Dustin Wüest ; Martin Glinz
Use Cases versus Task Descriptions / Soren Laueson ; Mohammad A. Kuhail
Services / Session 5:
Is It Beneficial to Match Reusable Services Earlier? / Martin Henkel ; Erik Perjons ; Sebastian Adam ; Oezguer Uenalan ; Norman Riegel12:
Embedded and Real-Time Systems / Session 6:
Requirements Engineering for Embedded Systems: An Investigation of Industry Needs / Ernst Sikora ; Bastian Tenbergen ; Klaus Pohl
Applying Restricted English Grammar on Automotive Requirements-Does it Work? A Case Study / Amalinda Post ; Igor Menzel ; Andreas Podelski
Prioritization and Traceability / Session 7:
Agile Requirements Prioritization: What Happens in Practice and What Is Described in Literature / Zornitza Bakalova ; Maya Daneva ; Andrea Herrmann ; Roel Wieringa
Mining Requirements Links / Vincenzo Gervasi ; Didar Zowghi
Clustering Stakeholders for Requirements Decision Making / Varsha Veerappa ; Emmanuel Letier
Author Index
Keynote
Delivering Requirements Research into Practice: A Keynote to the REFSQ'2011 Conference / Neil Maiden
Security and Sustainability / Session 1:
2.

電子ブック

EB
Jens Knoop, Takeo Kanade
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2011
所蔵情報: loading…
目次情報: 続きを見る
Invited Talk
Future-Proofing Collections: From Mutable to Persistent to Parallel / Martin Odersky
JIT Compilation and Code Generation
Dynamic Elimination of Overflow Tests in a Trace Compiler / Rodrigo Sol ; Christophe Guillon ; Fernando Magno Quintão Pereira ; Mariza A.S. Bigonha
Staged Static Techniques to Efficiently Implement Array Copy Semantics in a MATLAB JIT Compiler / Nurudeen Lameed ; Laurie Hendren
SSA-Based Register Allocation with PBQP / Sebastian Buchwald ; Andreas Zwinkau ; Thomas Bersch
Program Analysis
Probabilistic Points-to Analysis for Java / Qiang Sun ; Jianjun Zhao ; Yuting Chen
Faster Alias Set Analysis Using Summaries / Nomair A. Naeem ; Ondrej Lhoták
JPure: A Modular Purity System for Java / David J. Pearce
Tainted Flow Analysis on e-SSA-Form Programs / Andrei Rimsa ; Marcelo d'Amorim
Reversible Computing and Interpreters
Clean Translation of an Imperative Reversible Programming Language / Holger Bock Axelsen
Interpreter Instruction Scheduling / Stefan Brunthaler
Parallelism and High-Performance Computing
Actor-Based Parallel Dataflow Analysis / Jonathan Rodriguez
Using Disjoint Reachability for Parallelization / James Jenista ; Yong hun Eom ; Brian Demsky
Data Layout Transformation for Stencil Computations on Short-Vector SIMD Architectures / Tom Henretty ; Kevin Stock ; Louis-Noël Pouchet ; Franz Franchetti ; J. Ramanujam ; P. Sadayappan
Subregion Analysis and Bounds Check Elimination for High Level Arrays / Mackale Joyner ; Zoran Budimlic ; Vivek Sarkar
Task and Data Distribution
Practical Loop Transformations for Tensor Contraction Expressions on Multi-level Memory Hierarchies / Wenjing Ma ; Sriram Krishnamoorthy ; Gagan Agrawal
A Static Task Partitioning Approach for Heterogeneous Systems Using OpenCL / Dominik Grewe ; Michael F.P. O'Boyle
Author Index
Invited Talk
Future-Proofing Collections: From Mutable to Persistent to Parallel / Martin Odersky
JIT Compilation and Code Generation
3.

電子ブック

EB
Parosh Aziz Abdulla, Takeo Kanade, K. Rustan M. Leino
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2011
所蔵情報: loading…
目次情報: 続きを見る
Reliable Software Development: Analysis-Aware Design (Invited Talk) / Gerard J. Holzmann
Transition Invariants and Transition Predicate Abstraction for Program Termination (Invited Talk) / Andreas Podelski ; Audrey Rybalchenko
Memory Models and Consistency
Sound and Complete Monitoring of Sequential Consistency for Relaxed Memory Models / Jabob Burnim ; Koushik Sen ; Christos Stergiou
Compositionality Entails Sequentializability / Pranav Garg ; P. Madhusudan
Litmus: Running Tests against Hardware / Jade Alglave ; Luc Maranget ; Susmit Sarkar ; Peter Sewell
Invariants and Termination
Canonized Rewriting and Ground AC Completion Modulo Shostak Theories / Sylvain Conchon ; Evelyne Contejean ; Mohamed Iguernelala
Invariant Generation in Vampire / Kryaštof Hoder ; Laura Kovács ; Andrei Voronkov
Enforcing Structural Invariants Using Dynamic Frames / Diego Garbervetsky ; Daniel Gorin ; Ariel Neisen
Loop Summarization and Termination Analysis / Aliaksei Tsitovich ; Natasha Sharygina ; Christoph M. Wintersteiger ; Daniel Kroening
Timed and Probabilistic Systems
Off-Line Test Selection with Test Purposes for Non-deterministic Timed Automata / Nathalie Bertrand ; Thierry Jéron ; Amelie Stainer ; Moez Krichen
Quantitative Multi-objective Verification for Probabilistic Systems / Vojt ch Forejt ; Marta Kwiatkowska ; Gethin Norman ; David Parker ; Hongyang Qu
Efficient CTMC Model Checking of Linear Real-Time Objectives / Benoît Barbot ; Taolue Chen ; Tingling Han ; Joost-Pieter Katoen ; Alexandru Mereacre
Interpolations and SAT-Solvers
Efficient Interpolant Generation in Satisfiability Modulo Linear Integer Arithmetic / A erto Griggio ; Thi Thieu Hoa Le ; Roberto Sebastiani
Generailized Craig Interpolation for Stochastic Boolean Satisfiability Problems / T Teige ; Martin Fränzle
Specification-Based Program Repair Using SAT / Divya Gopinath ; Muhammad Zubair Malik ; Sarfraz Khurshid
Optimal Base Encodings for Pseudo-Boolean Constraints / Michael Codish ; Yoav Fekete ; Carsten Fuhs ; Peter Schneider-Kamp
Learning
Predicate Generation for Learning-Based Quantifier-Free Loop Invariant Inference / Yunybum Jung ; Wonchan Lee ; Bow- Yaw Wang ; Kwangkuen Yi
Next Generation LearnLib / Math Merten ; Bernhard Steffen ; Falk Howar ; Tiziana Margaria
Model Checking
Applying CEGAR to the Petri Net State Equation / Harro Wimmel ; Karsten Wolf
Biased Model Checking Using Flows / Muralidhar Talupur ; Byojung Han
S-TALIRO: A Tool for Temporal Logic Falsification for Hybrid Systems / Yashwanth Annapureddy ; Che Liu ; Georgios Fainekos ; Srirch Sankaranarayanan
Games and Automata
GAVS+: An Open Platform for the Research of Algorithmic Game Solving / Chih-Hong Cheng ; Alois Knoll ; Michael Luttenberger ; Christian Buckl
Büchi Store; An Open Repository of Büchi Automata / Yih-Kuen Tsay ; Ming-Hsien Tsai ; Jinn-Shu Chang ; Yi-Wen Chang
QUASY: Quantitative Synthesis Tool / Krishnendu Chatterjee ; Thomas A. Henzinger ; Barbara Jobstmann ; Rohit Singh
Unbeast: Symbolic Bounded Synthesis / Rüdiger Ehlers
Verification (I)
Abstractions and Pattern Databases: The Quest for Succinctness and Accuracy / Sebastian Kupferschmid ; Martin Wehrle
The ACL2 Sedan Theorem Proving System / Harsh Raju Chamarthi ; Peter Dillinger ; Panagiotis Manolios ; Daron Vroon
Probabilistic Systems
On Probabilistic Parallel Programs with Process Creation and Synchronisation / Stefan Kiefer ; Dominik Wojtczak
Confluence Reduction for Probabilistic Systems / Mark Timmer ; Mariëlle Stoelinga ; Jaco van de Pol
Model Repair for Probabilistic Systems / Ezio Bartocci ; Radu Grosu ; Panagiotis Katsaros ; CR. Ramakrishnan ; Scott A. Smolka
Verification (II)
Boosting Lazy Abstraction for SystemC with Partial Order Reduction / Alessandro Cimatti ; Iman Narasamdya ; Marco Roveri
Modelling and Verification of Web Services Business Activity Protocol / Anders P. Ravn ; Jirí Srba ; Saleem Vighto
CADP 2010: A Toolbox for the Construction and Analysis of Distributed Processes / Hubert Garavel ; Frédéric Lang ; Radu Mateescu ; Wendelin Serwe
GameTime: A Toolkit for Timing Analysis of Software / Sanjit A. Seshia ; Jonathan Kotker
Author Index
Reliable Software Development: Analysis-Aware Design (Invited Talk) / Gerard J. Holzmann
Transition Invariants and Transition Predicate Abstraction for Program Termination (Invited Talk) / Andreas Podelski ; Audrey Rybalchenko
Memory Models and Consistency
4.

電子ブック

EB
Jim Davies, Takeo Kanade, Leila Silva, Adenilso Simao, Adenilso Sim?o
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2011
所蔵情報: loading…
目次情報: 続きを見る
Directed Model Checking for B: An Evaluation and New Techniques / Michael Leuschel ; Jens Bendisposto
Midlet Navigation Graphs in JML / Wojciech Mostowski ; Erik Poll
Runtime Verification for Generic Classes with ConGu2 / Pedro Crispim ; Antónia Lopes ; Vasco T. Vasconcelos
A High-Level Language for Modeling Algorithms and Their Properties / Sabina Akhtar ; Stephan Merz ; Martin Quinson
A Formal Environment Model for Multi-Agent Systems / Paulo Salem da Silva ; Ana C. V. de Melo
A Modal Interface Theory with Data Constraints / Sebastian S. Bauer ; Rolf Hennicker ; Michel Bidoit
Synchronizing Model and Program Refactoring / Tiago Massoni ; Rohit Gheyi ; Paulo Borba
A Type-Theoretic Framework for Certified Model Transformations / Daniel Calegari ; Carlos Luna ; Nora Szasz ; Álvaro Tasistro
Simulating Truly Concurrent CSP / Moritz Kleine ; J. W. Sanders
Statistical Verification of Probabilistic Properties with Unbounded Until / HÃ¥kan L.S. Younes ; Edmund M. Clarke ; Paolo Zuliani
Reasoning about Assignments in Recursive Data Structures / Alejandro Tamalet ; Ken Madlener
Specification of a Localization Component Driven by a Goal-Based Approach: Some Lessons We Learned / Abderrahman Matoussi ; Frédéric Gervais ; Régine Laleau
A Formal Framework for Specifying and Analyzing Logs as Electronic Evidence / Eduardo Mazza ; Marie-Laure Potet ; Daniel Le Métayer
Formal Development of a Cardiac Pacemaker: From Specification to Code / Artur O. Gomes ; Marcel V.M. Oliveira
A Decision Procedure for Bisimilarity of Generalized Regular Expressions / Marcello Bonsangue ; Georgiana Caltais ; Eugen-Ioan Goriac ; Dorel Lucanu ; Jan Rutten ; Alexandra Silva
Normalization of Linear Horn Clauses / Thomas Martin Gawlitza ; Helmut Seidl ; Kumar Neeraj Verma
A Graph-Based Implementation for Mechanized Refinement Calculus of OO Programs / Zhiming Liu ; Charles Morisset ; Shuling Wang
Automating Refinement of Circus Programs / Frank Zeyda ; Ana Cavalcanti
Author Index
Directed Model Checking for B: An Evaluation and New Techniques / Michael Leuschel ; Jens Bendisposto
Midlet Navigation Graphs in JML / Wojciech Mostowski ; Erik Poll
Runtime Verification for Generic Classes with ConGu2 / Pedro Crispim ; Antónia Lopes ; Vasco T. Vasconcelos
5.

電子ブック

EB
Dimitra Giannakopoulou, Takeo Kanade, Fernando Orejas
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2011
所蔵情報: loading…
目次情報: 続きを見る
Invited Talk
The Dependability of Complex Socio-technical Systems / Ross Anderson
Automated Learning of Probabilistic Assumptions for Compositional Reasoning / Lu Feng ; Marta Kwiatkowska ; David Parker
Verification
An Interface Theory for Service-Oriented Design / José Luiz Fiadeiro ; Antónia Lopes
rt-Inconsistency: A New Property for Real-Time Requirements / Amalinda Post ; Jochen Hoenicke ; Andreas Podelski
Automatic Flow Analysis for Event-B / Jens Bendisposto ; Michael Leuschel
Semantic Quality Attributes for Big-Step Modelling Languages / Shahram Esmaeilsabzali ; Nancy A. Day
Specification and Modelling
Formalizing and Operationalizing Industrial Standards / Dominik Dietrich ; Lutz Schröder ; Ewaryst Schulz
Modelling Non-linear Crowd Dynamics in Bio-PEPA / Mieke Massink ; Diego Latella ; Andrea Bracciali ; Jane Hillston
Reachability and Model Checking
Smart Reduction / Pepijn Crouzen ; Frédéric Lang
Uniform Monte-Carlo Model Checking / Johan Oudinet ; Alain Denise ; Marie-Claude Gaudel ; Richard Lassaigne ; Sylvain Peyronnet
Model Checking Büchi Pushdown Systems / Juncao Li ; Fei Xie ; Thomas Ball ; Vladimir Levin
Model Driven Engineering
Modeling with Plausibility Checking: Inspecting Favorable and Critical Signs for Consistency between Control Flow and Functional Behavior / Claudia Ermel ; Jürgen Gall ; Leen Lambers ; Gabriele Taentzer
Models within Models: Taming Model Complexity Using the Sub-model Lattice / Pierre Kelsen ; Qin Ma ; Christian Glodt
Type-Safe Evolution of Spreadsheets / Jácome Cunha ; Joost Visser ; Tiago Alves ; João Saraiva
A Formal Resolution Strategy for Operation-Based Conflicts in Model Versioning Using Graph Modifications / Hartmut Ehrig
Software Development for QoS
A Step-Wise Approach for Integrating QoS throughout Software Development / Stéphanie Gatti ; Emilie Balland ; Charles Consel
Systematic Development of UMLsec Design Models Based on Security Requirements / Denis Hatebur ; Maritta Heisel ; Jan Jürjens ; Holger Schmidt
Testing: Theory and New Trends
Theoretical Aspects of Compositional Symbolic Execution / Dries Vanoverberghe ; Frank Piessens
Testing Container Classes: Random or Systematic? / Rohan Sharma ; Milos Gligoric ; Andrea Arcuri ; Gordon Fraser ; Darko Marinov
Seamless Testing for Models and Code / Andreas Holzer ; Visar Januzaj ; Stefan Kugele ; Boris Langer ; Christian Schallhart ; Michael Tautschnig ; Helmut Veith
Testing in Practice
Retrofitting Unit Tests for Parameterized Unit Testing / Suresh Thummalapenta ; Madhuri R. Marri ; Tao Xie ; Nikolai Tillmann ; Jonathan de Halleux
Evolving a Test Oracle in Black-Box Testing / Farn Wang ; Jung-Hsuan Wu ; Chung-Hao Huang ; Kai-Hsiang Chang
Automated Driver Generation for Analysis of Web Applications / Oksana Tkachuk ; Sreeranga Rajan
On Model-Based Regression Testing of Web-Services Using Dependency Analysis of Visual Contracts / Tamim Ahmed Khan ; Reiko Heckel
Code Development and Analysis
Incremental Clone Detection and Elimination for Erlang Programs / Huiqing Li ; Simon Thompson
Analyzing Software Updates: Should You Build a Dynamic Updating Infrastructure? / Bashar Gharaibeh ; Hridesh Rajan ; J. Morris Chang
Flow-Augmented Call Graph: A New Foundation for Taming API Complexity / Qirun Zhang ; Wujie Zheng ; Michael R. Lyu
Search-Based Design Defects Detection by Example / Marouane Kessentini ; Houari Sahraoui ; Mounir Boukadoum ; Manuel Wimmer
Empirical Studies
An Empirical Study on Evolution of API Documentation / Lin Shi ; Hao Zhong ; Mingshu Li
An Empirical Study of Long-Lived Code Clones / Dongxiang Cai ; Miryung Kim
Where the Truth Lies: AOP and Its Impact on Software Modularity / Adam Przybylek
Author Index
Invited Talk
The Dependability of Complex Socio-technical Systems / Ross Anderson
Automated Learning of Probabilistic Assumptions for Compositional Reasoning / Lu Feng ; Marta Kwiatkowska ; David Parker
6.

電子ブック

EB
Gilles Barthe, Takeo Kanade
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2011
所蔵情報: loading…
目次情報: 続きを見る
Verified Software Toolchain (Invited Talk) / Andrew W. Appel
Polymorphic Contracts / João Filipe Belo ; Michael Greenberg ; Atsushi Igarashi ; Benjamin C. Pierce
Proving Isolation Properties for Software Transactional Memory / Annette Bieniusa ; Peter Thiemann
Typing Copyless Message Passing / Viviana Bono ; Chiara Messa ; Luca Padovani
Measure Transformer Semantics for Bayesian Machine Learning / Johannes Borgström ; Andrew D. Gordon ; James Margetson ; Jurgen Van Gael
Transfer Function Synthesis without Quantifier Elimination / Jörg Brauer ; Andy King
Semantics of Concurrent Revisions / Sebastian Burckhardt ; Daan Leijen
Type-Based Access Control in Data-Centric Systems / Luís Caires ; Jorge A. Pérez ; João Costa Seco ; Hugo Torres Vieira ; Lúcio Ferrão
Linear Absolute Value Relation Analysis / Liqian Chen ; Antoine Miné ; Ji Wang ; Patrick Cousot
Generalizing the Template Polyhedral Domain / Michael A. Colón ; Sriram Sankaranarayanan
Dataflow Analysis for Datarace-Free Programs / Arnab De ; Deepak D'Souza ; Rupesh Nasre
Compiling Information-Flow Security to Minimal Trusted Computing Bases / Cédric Fournet ; Jérémy Planul
Improving Strategies via SMT Solving / Thomas Martin Gawlitza ; David Monniaux
Typing Local Control and State Using Flow Analysis / Arjun Guha ; Claudiu Saftoiu ; Shriram Krishnamurthi
Barriers in Concurrent Separation Logic / Aquinas Hobor ; Cristian Gherghina
From Exponential to Polynomial-Time Security Typing via Principal Types / Sebastian Hunt ; David Sands
Secure the Clones: Static Enforcement of Policies for Secure Object Copying / Thomas Jensen ; Florent Kirchner ; David Pichardie
Biochemical Reaction Rules with Constraints / Mathias John ; Cédric Lhoussaine ; Joachim Niehren ; Cristian Versari
A Testing Theory for a Higher-Order Cryptographic Language (Extended Abstract) / Vasileios Koutavas ; Matthew Hennessy
A New Method for Dependent Parsing / Trevor Jim ; Yitzhak Mandelbaum
Static Analysis of Run-Time Errors in Embedded Critical Parallel C Programs
Algorithmic Nominal Game Semantics / Andrzej S. Murawski ; Nikos Tzevelekos
The Relationship between Separation Logic and Implicit Dynamic Frames / Matthew J. Parkinson ; Alexander J. Summers
Precise Interprocedural Analysis in the Presence of Pointers to the Stack / Pascal Sotin ; Bertrand Jeannet
General Bindings and Alpha-Equivalence in Nominal Isabelle / Christian Urban ; Cezary Kaliszyk
Author Index
Verified Software Toolchain (Invited Talk) / Andrew W. Appel
Polymorphic Contracts / João Filipe Belo ; Michael Greenberg ; Atsushi Igarashi ; Benjamin C. Pierce
Proving Isolation Properties for Software Transactional Memory / Annette Bieniusa ; Peter Thiemann
7.

電子ブック

EB
Sharon Barner, Ian Harris, Takeo Kanade, Daniel Kroening, Orna Raz
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2011
所蔵情報: loading…
8.

電子ブック

EB
E. Michael Maximilien, Marcelo Fantinato, Takeo Kanade, Heiko Ludwig, Gustavo Rossi, Soe-Tsyr Yuan
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2011
所蔵情報: loading…
目次情報: 続きを見る
PAASC 2010 Workshop
Introduction to the First International Workshop on Performance Assessment and Auditing in Service Computing (PAASC 2010) / Claudia-Melania Chituc
A Case Study on Optimizing Web Service Monitoring Configurations / Garth Heward ; Jun Han ; Ingo Müller ; Jean-Guy Schneider ; Steve Versteeg
Configuration Decision Making Using Simulation-Generated Data / Michael Smit ; Eleni Stroulia
On the Formal Specification of Regulatory Compliance: A Comparative Analysis / Amal Elgammal ; Oktay Turetken ; Willem-Jan van den Heuvel ; Mike Papazoglou
Performance and Cost Assessment of Cloud Services / Paul Brebner ; Anna Liu
Towards Assessing Performance in Service Computing
WESOA 2010 Workshop
Adaptation of Web Services Based on QoS Satisfaction / Christian Zirpins ; George Feuerlicht ; Winfried Lamersdorf ; Guadalupe Ortiz ; Barbara Pernici ; S. Hossein Siadat
CAGE: Customizable Large-Scale SOA Testbeds in the Cloud / Lukasz Juszczyk ; Daniel Schall ; Ralph Mietzner ; Schahram Dustdar ; Frank Leymann
Engineering High Performance Service-Oriented Pipeline Applications with MeDICi / Ian Gorton ; Adam Wynne ; Yan Liu
Facilitating Enterprise Service Discovery for Non-technical Business Users / Marcus Roy ; Basem Suleiman ; Ingo Weber
Hypermedia-Driven RESTful Service Composition / Rosa Alarcon ; Erik Wilde ; Jesus Bellido
Process Restructuring in the Presence of Message-Dependent Variables / Thomas S. Heinze ; Wolfram Amme ; Simon Moser
Simple Metric for Assessing Quality of Service Design
Wisdom-Aware Computing: On the Interactive Recommendation of Composition Knowledge / Soudip Roy Chowdhury ; Carlos Rodríguez ; Florian Daniel ; Fabio Casati
SEE 2010 Workshop
Introduction to the First International Workshop on Services, Energy, and Ecosystem (SEE 2010) / G.R. Gangadharan ; Patricia Lago ; San Murugesan
A Dynamic Power Management Controller for Optimizing Servers' Energy Consumption in Service Centers / Tudor Cioara ; Ioan Salomie ; Ionut Anghel ; Iulian Chira ; Alexandru Cocian ; Ealan Henis ; Ronen Kat
An Energy Aware Context Model for Green IT Service Centers / Daniel Moldovan ; Georgiana Copil ; Pierluigi Plebani
Creating Environmental Awareness in Service Oriented Software Engineering / Toon Jansen
Towards Green Business Process Reengineering / Alexander Nowak
Business Process Improvement in Abnoba / Konstantin Hoesch-Klohe ; Aditya Ghose
Towards a Service-Oriented Energy Market: Current State and Trend / Giuliano Andrea Pagani ; Marco Aiello
SOC-LOG 2010 Workshop
Introduction to the Second International Workshop on Service Oriented Computing in Logistics (SOC-LOG 2010) / Joerg Leukel ; André Ludwig ; Alex Norto
Coordinating Distributed Operations / Daniel Oppenheim ; Saeed Bagheri ; Krishna Ratakonda ; Yi-Min Chee
Early Model-Analysis of Logistics Systems / Freeha Azmat ; Laura Bocchi ; José Luiz Fiadeiro
Event-Driven Services: Integrating Production, Logistics and Transportation / A. Buchmann ; H.-Chr. Pfohl ; S. Appel ; T. Freudenreich ; S. Frischbier ; I. Petrov ; C. Zuber
Preselection of Electronic Services by Given Business Services Based on Semantic Concept Correspondence Applied for the Logistics Domain / Rolf Kluge
Realizing Process Modifications in Container Terminals with SOA - A Prototype / Thomas Will ; Thorsten Blecker
Author Index
PAASC 2010 Workshop
Introduction to the First International Workshop on Performance Assessment and Auditing in Service Computing (PAASC 2010) / Claudia-Melania Chituc
A Case Study on Optimizing Web Service Monitoring Configurations / Garth Heward ; Jun Han ; Ingo Müller ; Jean-Guy Schneider ; Steve Versteeg
9.

電子ブック

EB
Michael Johnson, Takeo Kanade, Dusko Pavlovic
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2011
所蔵情報: loading…
目次情報: 続きを見る
Invited Paper / Part 1:
Structural Analysis for Stochastic Process Algebra Models (Invited Talk) / Jie Ding ; Jane Hillston
Contributed Research Papers / Part 2:
Verification of Common Interprocedural Compiler Optimizations Using Visibly Pushdown Kleene Algebra / Claude Bolduc ; Béchir Ktari
On the Expressiveness of the ?-Calculus and the Mobile Ambients / Linda Brodo
Integrating Maude into Hets / Mihai Codescu ; Till Mossakowski ; Adrián Riesco ; Christian Maeder
Model Refinement Using Bisimulation Quotients / Roland Glück ; Bernhard Möller ; Michel Sintzoff
Type Fusion / Ralf Hinze
Coalgebraic Semantics for Parallel Derivation Strategies in Logic Programming / Ekaterina Komendantskaya ; Guy McCusker ; John Power
Learning in a Changing World, an Algebraic Modal Logical Approach / Prakash Panangaden ; Mehrnoosh Sadrzadeh
Matching Logic: An Alternative to Hoare/Floyd Logic / Grigore Rosu ; Chucky Ellison ; Wolfram Schulte
Program Calculation in Coq / Julien Tesson ; Hideki Hashimoto ; Zhenjiang Hu ; Frédéric Loulergue ; Masato Takeichi
Cooperation of Algebraic Constraint Domains in Higher-Order Functional and Logic Programming / Rafael del Vado Vírseda
System Demonstrations / Part 3:
Proving Termination Properties with MU-TERM / Beatriz Alarcón ; Raúl Gutiérrez ; Salvador Lucas ; Rafael Navarro-Marset
BAL Tool in Flexible Manufacturing Systems / Diego Pérez Leándrez ; M. Carmen Ruiz ; J. Jose Pardo ; Diego Cazorla
A Complete Declarative Debugger for Maude / Alberto Verdejo ; Narciso Martí-Oliet
An Assume Guarantee Approach for Checking Quantified Array Assertions / Mohamed Nassim Seghir
Author Index
Invited Paper / Part 1:
Structural Analysis for Stochastic Process Algebra Models (Invited Talk) / Jie Ding ; Jane Hillston
Contributed Research Papers / Part 2:
10.

電子ブック

EB
Jo?o M. Fernandes, Takeo Kanade, Ralf L?mmel, Jo?o Saraiva, Joost Visser
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2011
所蔵情報: loading…
目次情報: 続きを見る
Long Tutorials / Part I:
An Introduction to Software Product Line Refactoring / Paulo Borba
Excerpts from the TXL Cookbook / James R. Cordy
Model Synchronization: Mappings, Tiles, and Categories / Zinovy Diskin
An Introductory Tutorial on JastAdd Attribute Grammars / Görel Hedin
Model Driven Language Engineering with Kermeta / Jean-Marc Jézéquel ; Olivier Barais ; Franck Fleurey
EASY Meta-programming with Rascal / Paul Klint ; Tijs van der Storm ; Jurgen Vinju
The Theory and Practice of Modeling Language Design for Model-Based Software Engineering-A Personal Perspective / Bran Selic
Short Tutorials / Part II:
Code Transformations for Embedded Reconfigurable Computing Architectures / Pedro C. Diniz ; João M.P. Cardoso
Model Transformation Chains and Model Management for End-to-End Performance Decision Support / Mathias Fritzsche ; Wasif Gilani
Building Code Generators with Genesys: A Tutorial Introduction / Sven Jörges ; Bernhard Steffen ; Tiziana Margaria
The Need for Early Aspects / Ana Moreira ; João Araújo
Lightweight Language Processing in Kiama / Anthony M. Sloane
Some Issues in the 'Archaeology' of Software Evolution / Michel Wermelinger ; Yijun Yu
Participants Contributions / Part III:
Teaching Computer Language Handling - From Compiler Theory to Meta-modelling / Terje Gjøsæer ; Andreas Prinz
C++ Metastring Library and Its Applications / Zalán Szugyi ; Ábel Sinkovics ; Norbert Pataki ; Zoltán Porkoláb
Language Convergence Infrastructure / Vadim Zaytsev
Author Index
Long Tutorials / Part I:
An Introduction to Software Product Line Refactoring / Paulo Borba
Excerpts from the TXL Cookbook / James R. Cordy
11.

電子ブック

EB
Bernhard Beckert, Takeo Kanade, Claude March?
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2011
所蔵情報: loading…
目次情報: 続きを見る
From a Proven Correct Microkernel to Trustworthy Large Systems / June Andronick
Static Contract Checking with Abstract Interpretation / Manuel Fähndrich ; Francesco Logozzo
Abstract Compilation of Object-Oriented Languages into Coinductive CLP(X): Can Type Inference Meet Verification? / Davide Ancona ; Andrea Corradi ; Giovanni Lagorio ; Ferruccio Damiani
Validating Timed Models of Deployment Components with Parametric Concurrency / Einar Broch Johnsen ; Olaf Owe ; Rudolf Schlatte ; Silvia Lizeth Tapia Tarifa
Verification of Software Product Lines with Delta-Oriented Slicing / Daniel Bruns ; Vladimir Klebanov ; Ina Schaefer
Satisfiability Solving and Model Generation for Quantified First-Order Logic Formulas / Christoph D. Gladisch
Sawja: Static Analysis Workshop for Java / Laurent Hubert ; Nicolas Barré ; Frédéric Besson ; Delphine Demange ; Thomas Jensen ; Vincent Monfort ; David Pichardie ; Tiphaine Turpin
CVPP: A Tool Set for Compositional Verification of Control-Flow Safety Properties / Marieke Huisman ; Dilian Gurov
Specifying Imperative ML-Like Programs Using Dynamic Logic / Séverine Maingaud ; Vincent Balat ; Richard Bubel ; Reiner Hähnle ; Alexandre Miquel
Dynamic Frames in Java Dynamic Logic / Peter H. Schmitt ; Mattias Ulbrich ; Benjamin Wei?
A Refinement Methodology for Object-Oriented Programs / Asma Tafat ; Sylvain Boulmé ; Claude Marché
A Dynamic Logic for Unstructured Programs with Embedded Assertions
JMLUnit: The Next Generation / Daniel M. Zimmerman ; Rinkesh Nagmoti
Author Index
From a Proven Correct Microkernel to Trustworthy Large Systems / June Andronick
Static Contract Checking with Abstract Interpretation / Manuel Fähndrich ; Francesco Logozzo
Abstract Compilation of Object-Oriented Languages into Coinductive CLP(X): Can Type Inference Meet Verification? / Davide Ancona ; Andrea Corradi ; Giovanni Lagorio ; Ferruccio Damiani
12.

電子ブック

EB
Marie-Pierre Gleizes, Jorge J. Gomez-Sanz, Takeo Kanade
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2011
所蔵情報: loading…
13.

電子ブック

EB
Kedar Namjoshi, Takeo Kanade, Andreas Zeller, Avi Ziv
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2011
所蔵情報: loading…
14.

電子ブック

EB
Brian Malloy, Mark Brand, Takeo Kanade, Steffen Staab
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2011
所蔵情報: loading…
目次情報: 続きを見る
Keynote / Martin Erwig
A Language for Software Variation Research (Invited Talk)
Grammarware
Automated Selective Caching for Reference Attribute Grammars / Emma Söderberg ; Görel Hedin
Reference Attribute Grammars for Metamodel Semantics / Christoff Bürger ; Sven Karol ; Christian Wende ; Uwe A?mann
Modelling GLL Parser Implementations / Adrian Johnstone ; Elizabeth Scott
Metamodeling
Metamodel Usage Analysis for Identifying Metamodel Improvements / Markus Herrmannsdoerfer ; Daniel Ratiu ; Maximilian Koegel
Domain-Specific Modelling Languages with Algebraic Graph Transformations on RDF / Benjamin Braatz ; Christoph Brandt
Feature and Meta-Models in Clafer: Mixed, Specialized, and Coupled / Kacper Bak ; Krzysztof Czarnecki ; Andrzej Wasowski
Evolution
Support for the Evolution of C++ Generic Functions / Peter Pirkelbauer ; Damian Dechev ; Bjarne Stroustrup
Automated Co-evolution of GMF Editor Models / Davide Di Ruscio ; Ralf Lämmel ; Alfonso Pierantonio
An Extensive Catalog of Operators for the Coupled Evolution of Metamodels and Models / Sander D. Vermolen ; Guido Wachsmuth
JTL: A Bidirectional and Change Propagating Transformation Language / Antonio Cicchetti ; Romina Eramo
Software Engineering and the Semantic Web: A Match Made in Heaven or in Hell? (Invited Talk) / Abraham Bernstein
Programming
A Unified Format for Language Documents / Vadim Zaytsev
Canonical Method Names for Java: Using Implementation Semantics to Identify Synonymous Verbs / Einar W. Høst ; Bjarte M. Østvold
Subjective-C: Bringing Context to Mobile Platform Programming / Sebastián González ; Nicolás Cardozo ; Kim Mens ; Alfredo Cádiz ; Jean-Christophe Libbrecht ; Julien Goffaux
Short Papers and Demos: Modeling
The Level-Agnostic Modeling Language / Colin Atkinson ; Bastian Kennel ; Björn Go?
Debugging in Domain-Specific Modelling / Raphael Mannadiar ; Hans Vangheluwe
COPE - A Workbench for the Coupled Evolution of Metamodels and Models
Short Papers and Demos: Transformations and Translations
DSLTrans: A Turing Incomplete Transformation Language / Bruno Barroca ; Levi Lúcio ; Vasco Amaral ; Roberto Félix ; Vasco Sousa
Translator Generation Using ART (Tools Paper)
Empirical Language Analysis in Software Linguistics / Jean-Marie Favre ; Dragan Gasevic ; Ekaterina Pek
Interactive Disambiguation of Meta Programs with Concrete Object Syntax / Lennart C.L. Kats, Karl T. Kalleberg ; Eelco Visser
Domain-Specific Languages
Evaluating a Textual Feature Modelling Language: Four Industrial Case Studies / Arnaud Hubaux ; Quentin Boucher ; Herman Hartmann ; Raphaël Michel ; Patrick Heymans
Extending DMM Behavior Specifications for Visual Execution and Debugging / Nils Bandener ; Christian Soltenborn ; Gregor Engels
Analysing the Cognitive Effectiveness of the BPMN 2.0 Visual Notation / Nicolas Genon, Patrick Heymans ; Daniel Amyot
Featherweight TEX and Parser Correctness / Sebastian Thore Erdweg ; Klaus Ostermann
Author Index
Keynote / Martin Erwig
A Language for Software Variation Research (Invited Talk)
Grammarware
15.

電子ブック

EB
Mihaela Bobaru, Klaus Havelund, Gerard J. Holzmann, Rajeev Joshi, Takeo Kanade
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2011
所蔵情報: loading…
目次情報: 続きを見る
Invited Talks / I:
From Retrospective Verification to Forward-Looking Development / K. Rustan ; M. Leino
Specifications for Free / Andreas Zeller
Invited Tutorials / II:
The Theory and Practice of SALT / Andreas Bauer ; Martin Leucker
VeriFast: A Powerful, Sound, Predictable, Fast Verifier for C and Java / Bart Jacobs ; Jan Smans ; Pieter Philippaerts ; Frédéric Vogels ; Willem Penninckx ; Prank Piessens
Verifying Functional Correctness of C Programs with VCC / Michal Moskal
Regular Papers / III:
Bakar Kiasan: Flexible Contract Checking for Critical Systems Using Symbolic Execution / Jason Belt ; John Hatcliff ; Robby ; Patrice Chalin ; David Hardin ; Xianghua Deng
Approximate Quantifier Elimination for Propositional Boolean Formulae / Jörg Brauer ; Andy King
Towards Flight Control Verification Using Automated Theorem Proving / William Denman ; Mohamed H. Zaki ; Sofiène Tahar ; Luis Rodrigues
Generalized Rabin(1) Synthesis with Applications to Robust System Synthesis / Rüdiger Ehlers
Integrating an Automated Theorem Prover into Agda / Simon Foster ; Georg Struth
Efficient Predicate Abstraction of Program Summaries / Arie Gurfinkel ; Sagar Chaki ; Samir Sapra
Synthesis for PCTL in Parametric Markov Decision Processes / Ernst Moritz Hahn ; Tingling Han ; Lijun Zhang
Formalizing Probabilistic Safety Claims / Heber Herencia-Zapana ; George Hagen ; Anthony Narkawicz
The Open Theory Standard Theory Library / Joe Hurd
Instantiation-Based Invariant Discovery / Temesghen Kahsai ; Yeting Ge ; Cesare Tinelli
Stuttering Mostly Speeds Up Solving Parity Games / Sjoerd Cranen ; Jeroen J.A. Keiren ; Tim A.C. Willemse
Counterexample-Based Error Localization of Behavior Models / Tsutomu Kumazawa ; Tetsuo Tamai
Call Invariants / Shuvendu K. Lahiri ; Shaz Qadeer
Symmetry for the Analysis of Dynamic Systems / Zarrin Langari ; Richard Trefler
Implementing Cryptographic Primitives in the Symbolic Model / Peeter Laud
Model Checking Using SMT and Theory of Lists / Aleksandar Milicevic ; Hillel Kugler
Automated Test Case Generation with SMT-Solving and Abstract Interpretation / Jan Peleska ; Elena Vorobev ; Florian Lapschies
Generating Data Race Witnesses by an SMT-Based Analysis / Mahmoud Said ; Chao Wang ; Zijiang Yang ; Karem Sakallah
Applying Atomicity and Model Decomposition to a Space Craft System in Event-B / Asieh Salehi Fathabadi ; Abdolbaghi Rezazadeh ; Michael Butler
A Theory of Skiplists with Applications to the Verification of Concurrent Datatypes / Alejandro Sánchez ; César Sánchez
Coral: Solving Complex Constraints for Symbolic PathFinder / Matheus Souza ; Mateus Borges ; Marcelo d'Amorim ; Corina S. Pasareanu
Automated Formal Verification of the TTEthernet Synchronization Quality / Wilfried Steiner ; Bruno Dutertre
Extending the GWV Security Policy and Its Modular Application to a Separation Kernel / Sergey Tverdyshev
Combining Partial-Order Reduction and Symbolic Model Checking to Verify LTL Properties / José Vander Meulen ; Charles Pecheur
Towards Informed Swarm Verification / Anton Wijs
Scaling Up with Event-B: A Case Study / Faqing Yang ; Jean-Pierre Jacquot
Tool Papers / IV:
D-Finder 2: Towards Efficient Correctness of Incremental Design / Saddek Bensalem ; Andreas Griesmayer ; Axel Legay ; Thanh-Hung Nguyen ; Joseph Sifakis ; Rongjie Yan
Infer: An Automatic Program Verifier for Memory Safety of C Programs / Cristiano Calcagno ; Dino Distefano
Model Construction and Priority Synthesis for Simple Interaction Systems / Chih-Hong Cheng ; Barbara Jobstmann ; Alois Knoll ; Harald Ruess
OpenJML: JML for Java 7 by Extending OpenJDK / David R. Cok
jSMTLIB: Tutorial, Validation and Adapter Tools for SMT-LIBv2
opaal: A Lattice Model Checker / Andreas Engelbredt Dalsgaard ; René Rydhof Hansen ; Kenneth Yrke Jørgensen ; Kim Gulstrand Larsen ; Mads Chr. Olesen ; Petur Olsen ; Jirí Srba
A Tabular Expression Toolbox for Matlab/Simulink / Colin Eles ; Mark Lawford
LLVM2CSP: Extracting CSP Models from Concurrent Programs / Moritz Kleine ; Björn Bartels ; Thomas Göthel ; Steffen Helke ; Dirk Prenzel
Multi-Core LTSmin: Marrying Modularity and Scalability / Alfons Laarman ; Jaco van de Pol ; Michael Weber
Ginacra: A C++ Library or Real Algebraic Computations / Ulrich Loup ; Erika Ábrahám
Kopitiam: Modular Incremental Interactive Full Functional Static Verification of Java Code / Hannes Mehnert
Milestones: A Model Checker Combining Symbolic Model Checking and Partial Order Reduction
Author Index
Invited Talks / I:
From Retrospective Verification to Forward-Looking Development / K. Rustan ; M. Leino
Specifications for Free / Andreas Zeller
16.

電子ブック

EB
Mar?a Alpuente, Takeo Kanade
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2011
所蔵情報: loading…
目次情報: 続きを見る
Three Syntactic Theories for Combinatory Graph Reduction (Invited Talk) / Olivier Danvy ; Ian Zerny
Analysis of Air Traffic Track Data with the AutoBayes Synthesis System (Invited Talk) / Johann Schumann ; Karen Gate ; Alan Lee
Proving with ACL2 the Correctness of Simplicial Sets in the Kenzo System / Jónathan Heras ; Vico Pascual ; Julio Rubio
Graph Generation to Statically Represent CSP Processes / Marisa Llorens ; Javier Oliver ; Josep Silva ; Salvador Tamarit
Verification of the Schorr-Waite Algorithm - From Trees to Graphs / Mathieu Giorgino ; Martin Strecker ; Ralph Matthes ; Marc Pantel
MikiBeta : A General GUI Library for Visualizing Proof Trees: System Description and Demonstration / Kanako Sakurai ; Kenichi Asai
Compositional CLP-Based Test Data Generation for Imperative Languages / Elvira Albert ; Miguel Gómez-Zamalloa ; José Miguel Rojas ; Germán Puebla
On Inductive Proofs by Extended Unfold/Fold Transformation Rules / Hirohisa Seki
Non-termination Analysis of Logic Programs Using Types / Dean Voets ; Danny De Schreye
Scaling Up Algorithmic Debugging with Virtual Execution Trees / David Insa
Program Specialization for Verifying Infinite State Systems: An Experimental Evaluation / Fabio Fioravanti ; Alberto Pettorossi ; Maurizio Proietti ; Valerio Senni
Dependency Triples for Improving Termination Analysis of Logic Programs with Cut / Thomas Ströder ; Peter Schneider-Kamp ; Jürgen Giesl
A Hybrid Approach to Conjunctive Partial Evaluation of Logic Programs / Germán Vidal
Abstract Diagnosis of First Order Functional Logic Programs / Giovanni Bacci ; Marco Comini
The First-Order Nominal Link / Christophe Calves ; Maribel Fernández
Author Index
Three Syntactic Theories for Combinatory Graph Reduction (Invited Talk) / Olivier Danvy ; Ian Zerny
Analysis of Air Traffic Track Data with the AutoBayes Synthesis System (Invited Talk) / Johann Schumann ; Karen Gate ; Alan Lee
Proving with ACL2 the Correctness of Simplicial Sets in the Kenzo System / Jónathan Heras ; Vico Pascual ; Julio Rubio
17.

電子ブック

EB
Wolfgang Meuter, Takeo Kanade, Gruia-Catalin Roman
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2011
所蔵情報: loading…
目次情報: 続きを見る
Fault in the Future / Einar Broch Johnsen ; Ivan Lanese ; Gianluigi Zavattaro
Revisiting Glue Expressiveness in Component-Based Systems / Cinzia Di Giusto ; Jean-Bernard Stefani
Encoding Context-Sensitivity in Reo into Non-Context-Sensitive Semantic Models / Sung-Shik T.Q. Jongmans ; Christian Krause ; Farhad Arbab
The Context of Coordinating Groups in Dynamic Mobile Networks / Christine Julien
CSP as a Coordination Language / Moritz Kleine
An Efficient Management of Correlation Sets with Broadcast / Jacopo Mauro ; Maurizio Gabbrielli ; Claudio Guidi ; Fabrizio Montesi
Session Typing for a Featherweight Erlang / Dimitris Mostrous ; Vasco T. Vasconcelos
Safe Parallel Programming with Session Java / Nicholas Ng ; Nobuko Yoshida ; Olivier Pernet ; Raymond Hu ; Yiannos Kryftis
Fair Subtyping for Multi-party Session Types / Luca Padovani
Enabling Cross-Technology Mobile Applications with Network-Aware References / Kevin Pinte ; Dries Harnie ; Theo D 'Hondt
Coordination and Concurrency in Multi-engine Prolog / Paul Tarau
Abstract Machines for Safe Ambients in Wide-Area and Mobile Networks / Seiji Umatani ; Masahiro Yasugi ; Taiichi Yuasa
Simulation-Based Performance Analysis of Channel-Based Coordination Models / C. Verhoef ; C. Krause ; O. Kanters ; R. van der Mei
Combining Static Analysis and Runtime Checking in Security Aspects for Distributed Tuple Spaces / Fan Yang ; Tomoyuki Aotani ; Hidehiko Masuhara ; Flemming Nielson ; Hanne Riis Nielson
Author Index
Fault in the Future / Einar Broch Johnsen ; Ivan Lanese ; Gianluigi Zavattaro
Revisiting Glue Expressiveness in Component-Based Systems / Cinzia Di Giusto ; Jean-Bernard Stefani
Encoding Context-Sensitivity in Reo into Non-Context-Sensitive Semantic Models / Sung-Shik T.Q. Jongmans ; Christian Krause ; Farhad Arbab
18.

電子ブック

EB
Radu Calinescu, Ethan Jackson, Takeo Kanade
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2011
所蔵情報: loading…
目次情報: 続きを見る
Software Verification of Autonomic Systems Developed with ASSL / Emil Vassev ; Mike Hinchey
Modeling Language Variability / Hans Grönniger ; Bemhard Rumpe
An Approach for Effective Design Space Exploration / Eunsuk Kang ; Ethan Jackson ; Wolfram Schulte
Migration of Legacy Software towards Correct-by-Construction Timing Behavior / Stefan Resmerita ; Kenneth Butts ; Patricia Derler ; Andreas Naderlinger ; Wolfgang Free
Towards IT Systems Capable of Managing Their Health / Selvi Kadirvel ; José A.B. Fortes
Self-reconfigurable Modular Robots and Their Symbolic Configuration Space / Souheib Baarir ; Lom-Messan Hillah ; Fabrice Kordon ; Etienne Renault
Formal Methods @ Runtime / Radu Calinescu ; Shinji Kikuchi
Modular State Spaces for Prioritised Petri Nets / Charles Lakos ; Laure Petrucci
A Problem Frame-Based Approach to Evolvability: The Case of the Multi-translation / Gianna Reggio ; Egidio Astesiano ; Filippo Ricca ; Maurizio Leotta
Towards a Framework for Modelling and Verification of Relay Interlocking Systems / Anne E. Haxthausen
Trust Of, In, and among Adaptive Systems / Douglas S. Lange
Software Certification: Is There a Case Against Safety Cases? / Alan Wassyng ; Tom Maibaum ; Mark Lawford ; Hans Bherer
Testing Adaptive Probabilistic Software Components in Cyber Systems / Luqi ; Grant Jacoby
Author Index
Software Verification of Autonomic Systems Developed with ASSL / Emil Vassev ; Mike Hinchey
Modeling Language Variability / Hans Grönniger ; Bemhard Rumpe
An Approach for Effective Design Space Exploration / Eunsuk Kang ; Ethan Jackson ; Wolfram Schulte
19.

電子ブック

EB
Juergen Dingel, Takeo Kanade, Arnor Solberg, Association for Computing Machinery-Digital Library.
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2011
所蔵情報: loading…
20.

電子ブック

EB
Klaus Schmid, Takeo Kanade
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2011
所蔵情報: loading…
21.

電子ブック

EB
Michael Butler, Takeo Kanade, Wolfram Schulte
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2011
所蔵情報: loading…
22.

電子ブック

EB
Marco Bernardo, Val?rie Issarny, Takeo Kanade
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2011
所蔵情報: loading…
23.

電子ブック

EB
Robert B. France, Behzad Bordbar, Takeo Kanade, Jochen M. Kuester, Richard F. Paige
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2011
所蔵情報: loading…
目次情報: 続きを見る
Keynote
Building Advanced Mechatronic Systems / Wilhelm Schäfer
Model Execution
Contracts for Model Execution Verification / Eric Cariou ; Cyril Ballagny ; Alexandre Feugas ; Franck Barbier
A FUML-Based Distributed Execution Machine for Enacting Software Process Models / Ralf Ellner ; Samir Al-Hilank ; Johannes Drexler ; Martin Jung ; Detlef Kips ; Michael Philippsen
A Generic Tool for Tracing Executions Back to a DSML's Operational Semantics / Benoît Combemale ; Laure Gonnord ; Vlad Rusu
Model Analysis
Incremental Security Verification for Evolving UMLsec Models / Jan Jürjens ; Loïc Marchal ; Martín Ochoa ; Holger Schmidt
Assessing the Kodkod Model Finder for Resolving Model Inconsistencies / Ragnhild Van Der Straeten ; Jorge Pinna Puissant ; Tom Mens
Operation Based Model Representation: Experiences on Inconsistency Detection / Jerome Le Noir ; Olivier Delande ; Daniel Exertier ; Marcos Aurélio Almeida da Silva ; Xavier Blanc
Methodology
Generating Early Design Models from Requirements Analysis Artifacts Using Problem Frames and SysML / Pietro Colombo ; Ferhat Khendek ; Luigi Lavazza
Automated Transition from Use Cases to UML State Machines to Support State-Based Testing / Tao Yue ; Shaukat Ali ; Lionel Briand
Transformation Rules for Translating Business Rules to OCL Constraints / Imran S. Bajwa ; Murk G. Lee
Model Management (1)
Preventing Information Loss in Incremental Model Synchronization by Reusing Elements / Joel Greenyer ; Sebastian Pook ; Jan Rieke
An MDE-Based Approach for Solving Configuration Problems: An Application to the Eclipse Platform / Guillaume Doux ; Patrick Albert ; Gabriel Barbier ; Jordi Cabot ; Maroos Didonet Del Fabro ; Scott Uk-Jin Lee
Incremental Updates for View-Based Textual Modelling / Thomas Goldschmidt ; Axel Uhl
Transformations
Easing Model Transformation Learning with Automatically Aligned Examples / Xavier Dolques ; Aymen Dogui ; Jean-Rémy Falleri ; Marianne Huchard ; Clémentine Nebut ; François Pfister
Code Generation for UML 2 Activity Diagrams: Towards a Comprehensive Model-Driven Development Approach / Dominik Gessenharter ; Martin Rauscher
Tractable Model Transformation Testing / Martin Gogolla ; Antonio Vallecillo
Variability Analysis and ADLs
Extending SysML with AADL Concepts for Comprehensive System Architecture Modeling / Razieh Behjati ; Shiva Nejati ; Bran Selic
Analyzing Variability: Capturing Semantic Ripple Effects / Andreas Svendsen ; Øystein Haugen ; Birger Møller-Pedersen
Integrating Design and Runtime Variability Support into a System ADL / Marie Ludwig ; Nicolas Farcet ; Jean-Philippe Babau ; Joël Champeau
Domain-Specific Modelling
Domain-Specific Model Verification with QVT / Maged Elaasar ; Yuan Labiche
A SysML Profile for Development and Early Validation of TLM 2.0 Models / Vaibhav Jain ; Anshul Kumar ; Preeti R. Panda
Taming the Confusion of Languages / Rolf-Helge Pfeiffer ; Andrzej Wqsowski
Model Management (2)
Table-Driven Detection and Resolution of Operation-Based Merge Conflicts with Mirador / Stephen C. Barrett ; Patrice Chalin ; Greg Butler
Improving Naming and Grouping in UML
Aspect-Oriented Model Development at Different Levels of Abstraction / Mauricio Alférez ; Nuno Amálio ; Selim Ciraci ; Franck Fleurey ; Jörg Kienzle ; Jacques Klein ; Max Kramer ; Sebastien Mosser ; Gunter Mussbacher ; Ella Roubtsova ; Gefei Zhang
Workshop Summaries
MBSDI 2011 3rd International Workshop on Model-Based Software and Data Integration / Ralf-Detlef Kutsche ; Nikola Milanovic
MELO 2011 - 1st Workshop on Model-Driven Engineering, Logic and Optimization / Grégoire Dupé ; Marcos Didonet del Fabro ; Scott Leeé
The Third Workshop on Behaviour Modelling - Foundations and Applications / Ashley McNeile ; Ekkart Kindler ; Mehmet Aksit
Process-Centred Approaches for Model-Driven Engineering (PMDE)-First Edition / Reda Bendraou ; Redouane Lbath ; Bernard Coulette ; Marie-Pierre Gervais
Third International Workshop on Model-Driven Product Line Engineering (MDPLE 2011) / Goetz Botterweck ; Andreas Pleuss ; Julia Rubin ; Christa Schwanninger
Tutorial Summaries
Agile Development with Domain Specific Languages / Bernhard Rumpe ; Martin Schindler ; Steven Völkel ; Ingo Weisemöller
Incremental Evaluation of Model Queries over EMF Models: A Tutorial on EMF-IncQuery / Gábor Bergmann ; Ákos Horváth ; István Ráth ; Dániel Varró
Integrated Model Management with Epsilon / Dimitrios S. Kolovos ; Richard F. Paige ; Louis M. Rose ; James Williams
Creating Domain-Specific Modelling Languages That Work: Hands-On / Juha-Pekka Tolvanen
Author Index
Keynote
Building Advanced Mechatronic Systems / Wilhelm Schäfer
Model Execution
24.

電子ブック

EB
Khalid Al-Begain, Simonetta Balsamo, Dieter Fiems, Takeo Kanade, Andrea Marin
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2011
所蔵情報: loading…
25.

電子ブック

EB
Jordi Cabot, Takeo Kanade, Eelco Visser
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2011
所蔵情報: loading…
26.

電子ブック

EB
Martin Gogolla, Takeo Kanade, Burkhart Wolff
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2011
所蔵情報: loading…
27.

電子ブック

EB
Danilo Caivano, Maria Teresa Baldassarre, Takeo Kanade, Markku Oivo, Giuseppe Visaggio
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2011
所蔵情報: loading…
28.

電子ブック

EB
Judith Bishop, Takeo Kanade, Antonio Vallecillo
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2011
所蔵情報: loading…
29.

電子ブック

EB
Sven Apel, Ethan Jackson, Takeo Kanade
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2011
所蔵情報: loading…
30.

電子ブック

EB
Shmuel Katz, Wouter Joosen, Takeo Kanade, Mira Mezini, Christine Schwanninger
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2011
所蔵情報: loading…
31.

電子ブック

EB
Alex Groce, Takeo Kanade, Madanlal Musuvathi
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2011
所蔵情報: loading…
目次情報: 続きを見る
Invited Contributions
Model Checking Cell Fate Decisions / Jasmin Fisher
Abstractions and State-Space Reducations
Property-Dependent Reductions for the Modal Mu-Calculus / Radu Mateescu ; Anton Wijs
String Abstractions for String Verification / Fang Yu ; Tevfik Bultan ; Ben Hardekopf
Parallel Recursive State Compression for Free / Alfons Laarman ; Jaco van de Pol ; Michael Weber
Search Strategies
Depth Bounded Explicity-State Model Checking / Abhishek Udupa ; Ankush Desai ; Sriram Rajamani
Randomized Backtracking in State Space Traversal / Pavel Parízek ; Ondrej Lhoták
Promela Encodings and Extensions
An Analytic Evaluation of SystemC Encodings in Promela / Daniele Campana ; Alessandro Cimatti ; Iman Narasamdya ; Marco Roveri
Building Extensible Specifications and Implementations of Promela with AbleP / Yogesh Mali ; Eric Van Wyk
Applications of Model Checking
Program Sketching via CTL* Model Checking / Andreas Morgenstern ; Klaus Schneider
A Verification-Based Approach to Memory Fence Insertion in Relaxed Memory Systems / Alexander Linden ; Pierre Wolper
Model Checking Industrial Robot Systems / Markus Weiβmann ; Stefan Bedenk ; Christian Buckl ; Alois Knoll
Tool Demonstrations
EpiSpin: An Eclipse Plug-In for Promela/Spin Using Spoofax / Bob de Vos ; Lennart C.L. Kats ; Cornelis Pronk
DiPro - A Tool for Probabilistic Counterexample Generations / Husain Aljazzar ; Florian Leitner-Fischer ; Stefan Leue ; Dimitar Simeonov
dBug: Systematic Testing of Unmodified Distributed and Multi-threaded Systems / Jirí Šimoša ; Randy Bryant ; Garth Gibson
Author Index
Invited Contributions
Model Checking Cell Fate Decisions / Jasmin Fisher
Abstractions and State-Space Reducations
32.

電子ブック

EB
Nick Bassiliades, Guido Governatori, Takeo Kanade, Adrian Paschke
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2011
所蔵情報: loading…
33.

電子ブック

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

電子ブック

EB
Gul Agha, Olivier Danvy, Takeo Kanade, Jos? Meseguer
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2011
所蔵情報: loading…
35.

電子ブック

EB
Zbigniew Huzar, Takeo Kanade, Radek Koci, Bertrand Meyer, Bertrand Meyer-Stabley, Bartosz Walter, Jaroslav Zendulka
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2011
所蔵情報: loading…
36.

電子ブック

EB
Danny Weyns, Marie-Pierre Gleizes, Takeo Kanade
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2011
所蔵情報: loading…
37.

電子ブック

EB
Michel Cezon, Takeo Kanade, Yaron Wolfsthal
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2011
所蔵情報: loading…
38.

電子ブック

EB
Eran Yahav, Takeo Kanade
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2011
所蔵情報: loading…
39.

電子ブック

EB
Ivica Crnkovic, Matthias Book, Volker Gruhn, Takeo Kanade
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2011
所蔵情報: loading…
40.

電子ブック

EB
Adriana S. Vivacqua, Marcos R. S. Borges, Carl Gutwin, Takeo Kanade
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2011
所蔵情報: loading…
41.

電子ブック

EB
Tevfik Bultan, Pao-Ann Hsiung, Takeo Kanade
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2011
所蔵情報: loading…
42.

電子ブック

EB
Gwen Sala?n, Takeo Kanade, Bernhard Sch?tz
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2011
所蔵情報: loading…
43.

電子ブック

EB
Jon Whittle, Tony Clark, Takeo Kanade, Thomas K?hne, Association for Computing Machinery-Digital Library.
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2011
所蔵情報: loading…
44.

電子ブック

EB
Shengchao Qin, Takeo Kanade, Zongyan Qiu
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2011
所蔵情報: loading…
45.

電子ブック

EB
Burkhart Wolff, Takeo Kanade, Fatiha Za?di
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2011
所蔵情報: loading…
46.

電子ブック

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

電子ブック

EB
Gilles Barthe, Takeo Kanade, Alberto Pardo, Gerardo Schneider
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2011
所蔵情報: loading…
48.

電子ブック

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…
49.

電子ブック

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…
50.

電子ブック

EB
Juergen Dingel, Takeo Kanade, Arnor Solberg, Association for Computing Machinery-Digital Library.
出版情報: ACM Digital Library Proceedings , Springer Berlin Heidelberg, 2011
所蔵情報: loading…
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼