close
1.

電子ブック

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

電子ブック

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

電子ブック

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

電子ブック

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:
5.

電子ブック

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

電子ブック

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

電子ブック

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

電子ブック

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

電子ブック

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

電子ブック

EB
David Hutchison, Takeo Kanade
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2012
所蔵情報: loading…
目次情報: 続きを見る
Formal Methods for Modeling, Refining and Verifying Autonomic Components of Computer Networks / Aran Prakash ; Zoltán Theisz ; Ranganai Chaparadza
Self Organization for Area Coverage Maximization and Energy Conservation in Mobile Ad Hoc Networks / Cem Safak Sahin ; M. Ümit Uyar ; Stephen Gundry ; Elkin Urrea
Data Intensive Distributed Computing in Data Aware Self-organizing Networks / Cong-Vinh Phan
Accelerated Evolution: A Biologically-Inspired Approach for Augmenting Self-star Properties in Wireless Sensor Networks / Pruet Boonma ; Junichi Suzuki
Developing Autonomic Properties for Distributed Pattern-Recognition Systems with ASSL: A Distributed MARF Case Study / Emil Vassev ; Serguei A. Mokhov
Autonomic Nature-Inspired Eco-systems / Antonio Manzalini ; Nermin Brgulja ; Corrado Moiso ; Roberto Minerva
A Logical Approach to Data-Aware Automated Sequence Generation / Sylvain Hallé ; Roger Villemaire ; Omar Cherkaoui ; Rudy Deca
Author Index
Formal Methods for Modeling, Refining and Verifying Autonomic Components of Computer Networks / Aran Prakash ; Zoltán Theisz ; Ranganai Chaparadza
Self Organization for Area Coverage Maximization and Energy Conservation in Mobile Ad Hoc Networks / Cem Safak Sahin ; M. Ümit Uyar ; Stephen Gundry ; Elkin Urrea
Data Intensive Distributed Computing in Data Aware Self-organizing Networks / Cong-Vinh Phan
11.

電子ブック

EB
David Hutchison, Takeo Kanade
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2012
所蔵情報: loading…
12.

電子ブック

EB
David Hutchison, Takeo Kanade
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2012
所蔵情報: loading…
目次情報: 続きを見る
Software Architectures and Development / Part I:
Towards Decision Centric Repository of Architectural Knowledge / Bartosz Michalik ; Jerzy Nawrocki
Construction of Messaging-Based Enterprise Integration Solutions Using AI Planning / Pavol Mederly ; Marián Lekavý ; Marek Závodský ; Pavol Návrat
Integration of Application Business Logic and Business Rules with DSL and AOP / Bogumila Hnatkowska ; Krzysztof Kasprzyk
Aspect-Oriented Change Realization Based on Multi-Paradigm Design with Feature Modeling / Radoslav Menkyna ; Valentino Vranic
On the Evolution of Component-Based Software / Isabelle Côté ; Maritta Heisel ; Jeanine Souquières
Query Processing Using Negative and Temporal Tuples in Stream Query Engines / Marcin Gorawski ; Aleksander Chrószcz
Scalable Store of Java Objects Using Range Partitioning / Mariusz Bedla ; Krzysztof Sapiecha
Modelling and Formal Methods in Software Development / Part II:
HTCPNs-Based Modelling and Evaluation of Dynamic Computer Cluster Reconfiguration / Slawomir Samolej ; Tomasz Szmuc
Performance Analysis of Interactive Internet Systems for a Class of Systems with Dynamically Changing Offers / Tomasz Rak ; Jan Werewka
Information Systems Development Based on Visual Domain Specific Language BiLingva / Jana Cerina-Berzina ; Janis Bicevskis ; Ģirts Karnitis
A Mapping from Normative Requirements to Event-B to Facilitate Verified Data-Centric Business Process Management / Iman Poernomo ; Timur Umarau
Computations in Graph Rewriting: Inductive Types and Pullbacks in DPO Approach / Maxime Rebout ; Louis Féraud ; Lionel Marie-Magdeleine ; Sergei Soloviev
Bounded Model Checking for the Existential Part of Real-Time CTL and Knowledge / Bozena Woźna-Szczesniak
The Semantics of Role-Based Trust Management Languages / Anna Felkner ; Krzysztof Sacha
Measurements, Testing, and Quality of Software / Part III:
Applying of Smart Technologies: Evaluation of Effectiveness / Zane Bicevska
Reducing the Class Coupling of Legacy Code by a Metrics-Based Relocation of Class Members / Marvin Ferber ; Sascha Hunold ; Björn Krellner ; Thomas Rauber ; Thomas Reichel ; Gudula Rünger
Dataflow Testing of Java Programs with DFC / Rona Bluemke ; Artur Rembiszewski
Object-Oriented Testing Capabilities and Performance Evaluation of the C# Mutation System / Anna Derezinska ; Anna Szustek
Bi-criteria Test Suite Reduction by Cluster Analysis of Execution Profiles / Alireza Khalilian ; Saeed Parsa
Author Index
Software Architectures and Development / Part I:
Towards Decision Centric Repository of Architectural Knowledge / Bartosz Michalik ; Jerzy Nawrocki
Construction of Messaging-Based Enterprise Integration Solutions Using AI Planning / Pavol Mederly ; Marián Lekavý ; Marek Závodský ; Pavol Návrat
13.

電子ブック

EB
David Hutchison, Takeo Kanade
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2012
所蔵情報: loading…
14.

電子ブック

EB
David Hutchison, Takeo Kanade
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2012
所蔵情報: loading…
15.

電子ブック

EB
David Hutchison, Takeo Kanade
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2012
所蔵情報: loading…
目次情報: 続きを見る
GPU Optimisation
Improving Performance of OpenCL on CPUs / Ralf Karrenberg ; Sebastian Hack
Automatic Restructuring of GPU Kernels for Exploiting Inter-thread Data Locality / Swapneela Unkule ; Christopher Shaltz ; Apan Qasem
Program Analysis
Programming Paradigm Driven Heap Analysis / Mark Marron ; Ondřej Lhotàk ; Anindya Banerjee
Parallel Replication-Based Points-To Analysis / Sandeep Putta ; Rupesh Nasre
A New Method for Program Inversion / Cong Hou ; George Vulov ; Daniel Quinlan ; David Jefferson ; Richard Fujimoto ; Richard Vuduc
Analytical Bounds for Optimal Tile Size Selection / Jun Shirako ; Kamal Sharma ; Naznin Fauzia ; Louis-Noël Pouchet ; J. Ramanujam ; P. Sadayappan ; Vivek Sarkar
Objects and Components
Static Detection of Unsafe Component Loadings / Taeho Kwon ; Zhendong Su
Object Model Construction for Inheritance in C++ and Its Applications to Program Analysis / Jing Yang ; Gogul Balakrishnan ; Naoto Maeda ; Franjo Ivancic ; Aarti Gupta ; Nishant Sinha ; Sriram Sankaranarayanan ; Naveen Sharma
GC-Safe Interprocedural Unboxing / Leaf Petersen ; Neal Glew
Dynamic Analysis and Runtime Support
Compiler Support for Value-Based Indirect Branch Prediction / Muhammad Umar Farooq ; Lei Chen ; Lizy Kurian John
Compiler Support for Fine-Grain Software-Only Checkpointing / Chuck (Chengyan) Zhao ; J. Gregory Steffan ; Cristiana Amza ; Allan Kielstra
VMAD: An Advanced Dynamic Program Analysis and Instrumentation Framework / Alexandra Jimborean ; Luis Mastrangelo ; Vincent Loechner ; Philippe Ciauss
Sambamba: A Runtime System for Online Adaptive Parallelization / Kevin Streit ; Clemens Hammacher ; Andreas Zeller
Author Index
GPU Optimisation
Improving Performance of OpenCL on CPUs / Ralf Karrenberg ; Sebastian Hack
Automatic Restructuring of GPU Kernels for Exploiting Inter-thread Data Locality / Swapneela Unkule ; Christopher Shaltz ; Apan Qasem
16.

電子ブック

EB
David Hutchison, Takeo Kanade
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2012
所蔵情報: loading…
目次情報: 続きを見る
Contractual Requirements / Session 1:
Why the Electronic Land Registry Failed / Soren Lauesen
Answering a Request for Proposal - Challenges and Proposed Solutions / Barbara Paech ; Robert Heinrich ; Gabriele Zorn-Pauli ; Andreas Jung ; Siamak Tadjiky
Impediments to Requirements-Compliance / Md. Rashed Iqbal Nekvi ; Nazim H. Madhavji ; Remo Ferrari ; Brian Berenbach
Quality Requirements / Session 2:
How Architects See Non-Functional Requirements: Beware of Modifiability / Eltjo R. Poort ; Nick Martens ; Inge van de Weerd ; Hans van Vliet
Research Preview: Prioritizing Quality Requirements Based on Software Architecture Evaluation Feedback / Anne Koziolek
A Simulation Approach for Impact Analysis of Requirement Volatility Considering Dependency Change / Junjie Wang ; Juan Li ; Qing Wang ; He Zhang ; Haitao Wang
Collaboration, Complexity and Creativity / Session 3:
Collaborative Resolution of Requirements Mismatches When Adopting Open Source Components / Nguyen Due Anh ; Daniela S. Crazes ; Reidar Conradi ; Martin Höst ; Xavier Franch ; Claudia Ayala
High-Level Requirements Management and Complexity Costs in Automotive Development Projects: A Problem Statement / Tim Gülke ; Bernhard Rumpe ; Martin Jansen ; Joachim Axmann
Choose Your Creativity: Why and How Creativity in Requirements Engineering Means Different Things to Different People / Martin Mahaux ; Alistair Mavin ; Patrick Heymans
Requirements Analysis / Session 4:
Supporting Failure Mode and Effect Analysis: A Case Study with Failure Sequence Diagrams / Christian Raspotnig ; Andreas Opdahl
Aligning Mal-activity Diagrams and Security Risk Management for Security Requirements Definitions / Mohammad Jabed Morshed Chowdhury ; Raimundas Matulevicius ; Guttorm Sindre ; Peter Karpati
Towards a More Semantically Transparent i* Visual Syntax / Nicolas Genon ; Patrice Caire ; Hubert Toussaint ; Daniel Moody
Templates and Heuristics / Session 5:
Providing Software Product Line Knowledge to Requirements Engineers - A Template for Elicitation Instructions / Sebastian Adam
Supporting Learning Organisations in Writing Better Requirements Documents Based on Heuristic Critiques / Eric Knauss ; Kurt Schneider
Managing Implicit Requirements Using Semantic Case-Based Reasoning Research Preview / Olawande Daramola ; Thomas Moser ; Stefan Biffl
Requirements Traceability / Session 6:
Trace Queries for Safety Requirements in High Assurance Systems / Jane Cleland-Huang ; Mats Heimdahl ; Jane Huffman Hayes ; Robyn Lutz ; Patrick Maeder
Which Traceability Visualization Is Suitable in This Context? A Comparative Study / Yang Li ; Walid Maalej
Tools and Quality / Session 7:
The Case for Dumb Requirements Engineering Tools / Daniel Berry ; Ricardo Gacitua ; Pete Sawyer ; Sri Fatimah Tjong
Automatic Analysis of Multimodal Requirements: A Research Preview / Elia Bruni ; Alessio Ferrari ; Norbert Seyff ; Gabriele Tolomei
10 Myths of Software Quality / Elke Hochmüller
Empirical Analysis of the Impact of Requirements Engineering on Software Quality / Lukasz Radliñski
Services and Clouds / Session 8:
A Systematic Literature Review on Service Description Methods / Abelneh Y. Teka ; Nelly Condori-Fernandez ; Brahmananda Sapkota
A Pattern-Based Method for Identifying and Analyzing Laws / Kristian Beckers ; Stephan Faβbender ; Jan-Christoph Küster ; Holger Schmidt
Self-adaptivity / Session 9:
Towards a Requirements Modeling Language for Self-Adaptive Systems / Nauman A. Qureshi ; Ivan J. Jureta ; Anna Perini
Requirements Monitoring for Adaptive Service-Based Applications / Marc Oriol ; Jordi Marco
Industrial Case Studies / Session 10:
Release Planning with Feature Trees: Industrial Case / Samuel Fricker ; Susanne Schumacher
Goal-Oriented Requirements Engineering and Enterprise Architecture: Two Case Studies and Some Lessons Learned / Wilco Engelsman ; Roel Wieringa
Author Index
Contractual Requirements / Session 1:
Why the Electronic Land Registry Failed / Soren Lauesen
Answering a Request for Proposal - Challenges and Proposed Solutions / Barbara Paech ; Robert Heinrich ; Gabriele Zorn-Pauli ; Andreas Jung ; Siamak Tadjiky
17.

電子ブック

EB
David Hutchison, Takeo Kanade
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2012
所蔵情報: loading…
18.

電子ブック

EB
David Hutchison, Takeo Kanade
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2012
所蔵情報: loading…
目次情報: 続きを見る
Invited Contribution
Quantitative Models for a Not So Dumb Grid / Holger Hermanns
SAT and SMT Based Methods
History-Aware Data Structure Repair Using SAT / Razieh Nokhbeh Zaeem ; Divya Gopinath ; Sarfraz Khurshid ; Kathryn S. McKinley
The Guardol Language and Verification System / David Hardin ; Konrad Slind ; Michael Whalen ; Tuan-Hung Pham
A Bit Too Precise? Bounded Verification of Quantized Digital Filters / Arlen Cox ; Sriram Sankaranarayanan ; Bor-Yuh Evan Chang
Numeric Bounds Analysis with Conflict-Driven Learning / Vijay D'Silva ; Leopold Haller ; Daniel Kroening ; Michael Tautschnig
Automata
Ramsey-Based Analysis of Parity Automata / Oliver Friedmann ; Martin Lange
VATA: A Library for Efficient Manipulation of Non-deterministic Tree Automata / Ondrej Lengál ; Jirí Simácek ; Tomáš Vojnar
LTL to Büchi Automata Translation: Fast and More Deterministic / Tomáš Babiak ; Mojmír Kretínský ; Vojtech Rehák ; Jan Strejcek
Model Checking
Pushdown Model Checking for Malware Detection / Fu Song ; Tayssir Touili
Aspect-Oriented Runtime Monitor Certification / Kevin W. Hamlen ; Micah M. Jones ; Meera Sridhar
Partial Model Checking Using Networks of Labelled Transition Systems and Boolean Equation Systems / Frédéric Lang ; Radu Mateescu
From Under-Approximations to Over-Approximations and Back / Aws Albarghouthi ; Arie Gurfinkel ; Marsha Chechik
Case Studies
Automated Analysis of AODV Using UPPAAL / Ansgar Fehnker ; Rob van Glabbeek ; Peter Höfner ; Annabelle McIver ; Marius Portmann ; Wee Lum Tan
Modeling and Verification of a Dual Chamber Implantable Pacemaker / Zhihao Jiang ; Miroslav Pajic ; Salar Moarref ; Rajeev Alur ; Rahul Mangharam
Memory Models and Termination
Counter-Example Guided Fence Insertion under TSO / Parosh Aziz Abdulla ; Mohamed Faouzi Atig ; Yu-Fang Chen ; Carl Leonardsson ; Ahmed Rezine
Java Memory Model-Aware Model Checking / Huafeng Jin ; Tuba Yavuz-Kahveci ; Beverly A. Sanders
Compositional Termination Proofs for Multi-threaded Programs / Corneliu Popeea ; Andrey Rybalchenko
Deciding Conditional Termination / Marius Bozga ; Radu Iosif ; Filip Konecný
Internet Protocol Verification
The AVANTSSAR Platform for the Automated Validation of Trust and Security of Service-Oriented Architectures / Alessandro Armando ; Wihem Arsac ; Tigran Avanesov ; Michele Barletta ; Alberto Calvi ; Alessandro Cappai ; Roberto Carbone ; Yannick Chevalier ; Luca Compagna ; Jorge Cuéllar ; Gabriel Erzse ; Simone Frau ; Marius Minea ; Sebastian Mödersheim ; David von Oheimb ; Giancarlo Pellegrino ; Serena Elisa Ponta ; Marco Rocchetto ; Michael Rusinowitch ; Mohammad Torabi Dashti ; Mathieu Turuani ; Luca Viganò
Reduction-Based Formal Analysis of BGP Instances / Anduo Wang ; Carolyn Talcott ; Alexander J.T. Gurney ; Boon Thau Loo ; Andre Scedrov
Stochastic Model Checking
Minimal Critical Subsystems for Discrete-Time Markov Models / Ralf Wimmer ; Nils Jansen ; Erika Ábrahám ; Bernd Becker ; Joost-Pieter Katoen
Automatic Verification of Competitive Stochastic Systems / Taolue Chen ; Vojtech Forejt ; Marta Kwiatkowska ; David Parker ; Aistis Simaitis
Coupling and Importance Sampling for Statistical Model Checking / Benoit Barbot ; Serge Haddad ; Claudine Picaronny
Verifying pCTL Model Checking / Johannes Hölzl ; Tobias Nipkow
Synthesis
Parameterized Synthesis / Swen Jacobs ; Roderick Bloem
QuteRTL: Towards an Open Source Framework for RTL Design Synthesis and Verification / Hu-Hsi Yeh ; Cheng-Yin Wu ; Chung-Yang (Ric) Huang
Template-Based Controller Synthesis for Timed Systems / Bernd Finkbeiner ; Hans-Jörg Peter
Provers and Analysis Techniques
Zeno: An Automated Prover for Properties of Recursive Data Structures / William Sonnex ; Sophia Drossopoulou ; Susan Eisenbach
A Proof Assistant for Alloy Specifications / Mattias Ulbrich ; Ulrich Geilmann ; Aboubakr Achraf El Ghazi ; Mana Taghdiri
Reachability under Contextual Locking / Rohit Chadha ; P. Madhusudan ; Mahesh Viswanathan
Bounded Phase Analysis of Message-Passing Programs / Ahmed Bouajjani ; Michael Emmi
Tool Demonstrations
Demonstrating Learning of Register Automata / Maik Merten ; Falk Howar ; Bernhard Steffen ; Sofia Cassel ; Bengt Jonsson
Symbolic Automata: The Toolkit / Margus Veanes ; Nikolaj Bjørner
McScM: A General Framework for the Verification of Communicating Machines / Alexander Heuβner ; Tristan Le Gall ; Grégoire Sutre
SLMC: A Tool for Model Checking Concurrent Systems against Dynamical Spatial Logic Specifications / Luís Caires ; Hugo Torres Vieira
TAPAAL 2.0: Integrated Development Environment for Timed-Arc Petri Nets / Alexandre David ; Lasse Jacobsen ; Morten Jacobsen ; Kenneth Yrke Jørgensen ; Mikael H. Møller ; Jirí Srba
A Platform for High Performance Statistical Model Checking - PLASMA / Cyrille Jegourel ; Axel Legay ; Sean Sedwards
Competition on Software Verification
Competition on Software Verification (SV-COMP) / Dirk Beyer
Predicate Analysis with BLAST 2.7 (Competition Contribution) / Pavel Shved ; Mikhail Mandrykin ; Vadim Mutilin
CPAchecker with Adjustable Predicate Analysis (Competition Contribution) / Stefan Löwe ; Philipp Wendler
Block Abstraction Memoization for CPAchecker (Competition Contribution) / Daniel Wonisch
Context-Bounded Model Checking with ESBMC 1.17 (Competition Contribution) / Lucas Cordeiro ; Jeremy Morse ; Denis Nicole ; Bernd Fischer
Proving Reachability Using FShell (Competition Contribution) / Andreas Holzer ; Christian Schallhart ; Helmut Veith
LLBMC: A Bounded Model Checker for LLVM's Intermediate Representation (Competition Contribution) / Carsten Sinz ; Florian Merz ; Stephan Falke
Predator: A Verification Tool for Programs with Dynamic Linked Data Structures (Competition Contribution) / Kamil Dudka ; Petr Müller ; Petr Peringer
HSF(C): A Software Verifier Based on Horn Clauses (Competition Contribution) / Sergey Grebenshchikov ; Ashutosh Gupta ; Nuno P. Lopes
SatAbs: A Bit-Precise Verifier for C Programs (Competition Contribution) / Gérard Basler ; Alastair Donaldson ; Alexander Kaiser ; Thomas Wahl
Wolverine: Battling Bugs with Interpolants (Competition Contribution) / Georg Weissenbacher ; Sharad Malik
Author Index
Invited Contribution
Quantitative Models for a Not So Dumb Grid / Holger Hermanns
SAT and SMT Based Methods
19.

電子ブック

EB
David Hutchison, Takeo Kanade
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2012
所蔵情報: loading…
20.

電子ブック

EB
David Hutchison, Takeo Kanade
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2012
所蔵情報: loading…
目次情報: 続きを見る
Foundations of C++ / Bjarne Stroustrup
What's Decidable about Weak Memory Models? / Mohamed Faouzi Atig ; Ahmed Bouajjani ; Sebastian Burckhardt ; Madanlal Musuvathi
A Formally Verified SSA-Based Middle-End: Static Single Assignment Meets CompCert / Gilles Barthe ; Delphine Demange ; David Pichardie
Eventually Consistent Transactions / Daan Leijen ; Manuel Fähndrich ; Mooly Sagiv
Concurrent Library Correctness on the TSO Memory Model / Alexey Gotsman ; Hongseok Yang
Automated Verification of Equivalence Properties of Cryptographic Protocols / Rohit Chadha ; Stefan Ciobaca ; Steve Kremer
The Call-by-Need Lambda Calculus, Revisited / Stephen Chang ; Matthias Felleisen
A Compositional Specification Theory for Component Behaviours / Taolue Chen ; Chris Chilton ; Bengt Jonsson ; Marta Kwiatkowska
Probabilistic Abstract Interpretation / Patrick Cousot ; Michael Monerau
Multiparty Session Types Meet Communicating Automata / Pierre-Malo Deniélou ; Nobuko Yoshida
Complete Monitors for Behavioral Contracts / Christos Dimoulas ; Sam Tobin-Hochstadt
A Systematic Approach to Delimited Control with Multiple Prompts / Paul Downen ; Zena M. Ariola
Generate, Test, and Aggregate: A Calculation-Based Framework for Systematic Parallel Programming with MapReduce / Kento Emoto ; Sebastian Fischer ; Zhenjiang Hu
Trace Spaces: An Efficient New Technique for State-Space Reduction / Lisbeth Fajstrup ; Éric Goubault ; Emmanuel Haucourt ; Samuel Mimram ; Martin Raussen
A Process Algebra for Wireless Mesh Networks / Ansgar Fehnker ; Rob van Glabbeek ; Peter Höfner ; Annabelle McIver ; Marius Portmann ; Wee Lum Tan
On the Correctness of the SIMT Execution Model of GPUs / Axel Habermaier ; Alexander Knapp
Reasoning about Lock Placements / Peter Hawkins ; Alex Aiken ; Kathleen Fisher ; Martin Rinard
Reasoning about Multi-stage Programs / Jun Inoue ; Walid Taha
Fictional Separation Logic / Jonas Braband Jensen ; Lars Birkedal
Validating LR(1) Parsers / Jacques-Henri Jourdan ; François Pottier ; Xavier Leroy
Adding Equations to System F Types / Neelakantan R. Krishnaswami ; Nick Benton
GMeta: A Generic Formal Metatheory Framework for First-Order Representations / Gyesik Lee ; Bruno C.d.S. Oliveira ; Sungkeun Cho ; Kwangkeun Yi
Expansion for Universal Quantifiers / Sergueï Lenglet ; Joe B. Wells
Non-monotonic Self-Adjusting Computation / Ruy Ley-Wild ; Umut A. Acar ; Guy Blelloch
Java and the Java Memory Model - A Unified, Machine-Checked Formalisation / Andreas Lochbihler
A Type and Effect System for Determinism in Multithreaded Programs / Yi Lu ; John Potter ; Chenyi Zhang ; Jingling Xue
Linear Logical Relations for Session-Based Concurrency / Jorge A. Pérez ; Luís Caires ; Frank Pfenning ; Bernardo Toninho
Staged Computation with Staged Lexical Scope / Morten Rhiger
Gradual Ownership Types / Ilya Sergey ; Dave Clarke
Author Index
Foundations of C++ / Bjarne Stroustrup
What's Decidable about Weak Memory Models? / Mohamed Faouzi Atig ; Ahmed Bouajjani ; Sebastian Burckhardt ; Madanlal Musuvathi
A Formally Verified SSA-Based Middle-End: Static Single Assignment Meets CompCert / Gilles Barthe ; Delphine Demange ; David Pichardie
21.

電子ブック

EB
David Hutchison, Takeo Kanade
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2012
所蔵情報: loading…
22.

電子ブック

EB
David Hutchison, Takeo Kanade
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2012
所蔵情報: loading…
目次情報: 続きを見る
SMT-Based Model Checking / Cesare Tinelli
Verified Software Toolchain (Abstract) / Andrew W. Appel
Formal Verification by Abstract Interpretation / Patrick Cousot
Quantitative Timed Analysis of Interactive Markov Chains / Dennis Guck ; Tingting Han ; Joost-Pieter Katoen ; Martin R. Neuhäuβer
Lessons Learnt from the Adoption of Formal Model-Based Development / Alessio Ferrari ; Alessandro Fantechi ; Stefania Gnesi
Symbolic Execution of Communicating and Hierarchically Composed UML-RT State Machines / Karolina Zurowska ; Juergen Dingel
Inferring Definite Counterexamples through Under-Approximation / Jörg Brauer ; Axel Simon
Modifying Test Suite Composition to Enable Effective Predicate-Level Statistical Debugging / Ross Gore ; Paul F. Reynolds
Rigorous Polynomial Approximation Using Taylor Models in COQ / Nicolas Brisebarre ; Mioara Joldes ; Érik Martin-Dorel ; Micaela Mayero ; Jean-Michel Muller ; Ioana Pasca ; Laurence Rideau ; Laurent Théry
Enhancing the Inverse Method with State Merging / Étienne André ; Laurent Friboury ; Romain Soulat
Class-Modular, Class-Escape and Points-to Analysis for Object-Oriented Languages / Alexander Herz ; Kalmer Apinis
Testing Static Analyzers with Randomly Generated Programs / Pascal Cuoq ; Benjamin Monate ; Anne Pacalet ; Virgile Prevosto ; John Regehr ; Boris Yakobowski ; Xuejun Yang
Compositional Verification of Architectural Models / Darren Cofer ; Andrew Gacek ; Steven Miller ; Michael W. Whalen ; Brian LaValley ; Lui Sha
A Safety Case Pattern for Model-Based Development Approach / Anaheed Ayoub ; Baek-Gyu Kim ; Insup Lee ; Oleg Sokolsky
PVS Linear Algebra Libraries for Verification of Control Software Algorithms in C/ACSL / Heber Herencia-Zapana ; Romain Jobredeaux ; Sam Owre ; Pierre-Loïc Garoche ; Eric Feron ; Gilberto Perez ; Pablo Ascariz
Temporal Action Language (TAL): A Controlled Language for Consistency Checking of Natural Language Temporal Requirements (Preliminary Results) / Wenbin Li ; Jane Huffman Hayes ; Miroslaw Truszczynski
Some Steps into Verification of Exact Real Arithmetic / Norbert Th. Müller ; Christian Uhrhan
Runtime Verification Meets Android Security / Andreas Bauer ; Jan-Christoph ; Küster ; Gil Vegliach
Specification in PDL with Recursion / Xinxin Liu ; Bingtian Xue
Automatically Proving Thousands of Verification Conditions Using an SMT Solver: An Empirical Study / Aditi Tagore ; Diego Zaccai ; Bruce W. Weide
Sound Formal Verification of Linux's USB BP Keyboard Driver / Willem Penninckx ; Jan Tobias Mühlberg ; Jan Smans ; Bart Jacobs ; Frank Piessens
Learning Markov Models for Stationary System Behaviors / Yingke Chen ; Hua Mao ; Manfred Jaeger ; Thomas Dyhre Nielsen ; Kim Guldstrand Larsen ; Brian Nielsen
The Use of Rippling to Automate Event-B Invariant Preservation Proofs / Yuhui Lin ; Alan Bundy ; Gudmund Grov
Thread-Modular Model Checking with Iterative Refinement / Wenrui Meng ; Fei He ; Bow-Yaw Wang ; Qiang Liu
Towards LTL Model Checking of Unmodified Thread-Based C & C++ Programs / Jiri Barnat ; Luboš Brim ; Petr Rockai
Integrating Statechart Components in Polyglot / Daniel Balasubramanian ; Corina S. Pasareanu ; Jason Biatek ; Thomas Pressburger ; Gabor Karsai ; Michael Lowry
Using PVS to Investigate Incidents through the Lens of Distributed Cognition / Paolo Masci ; Huayi Huang ; Paul Curzon ; Michael D. Harrison
Automated Analysis of Parametric Timing-Based Mutual Exclusion Algorithms / Roberto Bruttomesso ; Alessandro Carioni ; Silvio Ghilardi ; Silvio Ranise
Efficient Symbolic Execution of Value-Based Data Structures for Critical Systems / Jason Belt ; Robby ; Patrice Chalin ; John Hatcliff ; Xianghua Deng
Generating Verifiable Java Code from Verified PVS Specifications / Leonard Lensink ; Sjaak Smetsers ; Marko van Eekelen
Belief Bisimulation for Hidden Markov Models: Logical Characterisation and Decision Algorithm / David N. Jansen ; Flemming Nielson ; Lijun Zhang
Abstract Model Repair / George Chatzieleftheriou ; Borzoo Bonakdarpour ; Scott A. Smolka ; Panagiotis Katsaros
CLSE: Closed-Loop Symbolic Execution / Rupak Majumdar ; Indranil Saha ; K. C. Shashidhar ; Zilong Wang
On the Development and Formalization of an Extensible Code Generator for Real Life Security Protocols / Michael Backes ; Alex Busenius ; Catalin Hritcu
Incremental Verification with Mode Variable Invariants in State Machines / Temesghen Kahsai ; Mike Whalen
A Semantic Analysis of Wireless Network Security Protocols / Damiano Macedonio ; Massimo Merro
Runtime Verification with Predictive Semantics / Xian Zhang ; Martin Leucker ; Wei Dong
A Case Study in Verification of Embedded Network Software / Kalyan C. Regula ; Hampton Smith ; Heather Harton Keown ; Jason O. Hallstrom ; Nigamanth Sridhar ; Murali Sitaraman
Checking and Distributing Statistical Model Checking / Peter Bulychev ; Alexandre David ; Axel Legay ; Marius Mikucionis ; Danny Bogsted Poulsen
Author Index
SMT-Based Model Checking / Cesare Tinelli
Verified Software Toolchain (Abstract) / Andrew W. Appel
Formal Verification by Abstract Interpretation / Patrick Cousot
23.

電子ブック

EB
Bruno Müller-Clostermann, Klaus Echtle, Takeo Kanade, Erwin P. Rathgeb
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2010
所蔵情報: loading…
目次情報: 続きを見る
Invited Talks
Mitigating the Effects of Internet Timing Faults Across Embedded Network Gateways / Philip Koopman ; Justin Ray
Green IT - The Power Saving Challenge and ICT Solutions / Paul J. Kühn
In Memoriam: Eulogy on Gunter Bolch
In Memory of Dr. Gunter Bolch / Martin Paterok ; Hermann de Meer ; Patrick Wüchner
Full Papers
Verification of a Control System Built Using Remote Redundancy by Means of Timed Automata and State Space Exploration / Klaus Echtle ; Thorsten Kimmeskamp
Software Reliability Assessment Based on the Evaluation of Operational Experience / Sven Söhnlein ; Francesca Saglietti ; Frank Bitzer ; Matthias Meitner ; Siegfried Baryschew
Clock Synchronization Issues in Multi-Cluster Time-Triggered Networks / Soubhi Mohamed
User-Perceived Performance of the NICE Application Layer Multicast Protocol in Large and Highly Dynamic Groups / Christian Hübsch ; Christoph P. Mayer ; Oliver P. Waldhorst
Effectiveness of Link Cost Optimization for IP Rerouting and IP Fast Reroute / David Hock ; Matthias Hartmann ; Christian Schwartz ; Michael Menth
Load Modeling and Generation for IP-Based Networks: A Unified Approach and Tool Support / Andrey Kolesnikov ; Martin Kulas
Analyzing Energy Consumption in a Gossiping MAC Protocol / Haidi Yue ; Henrik Bohnenkamp ; Joost-Pieter Katoen
Defining and Measuring Performance Characteristics of Current Video Games / Till Fischer ; Axel Böttcher ; Aaron Coday ; Helena Liebelt
Traffic Properties, Client Side Cachability and CDN Usage of Popular Web Sites / Joachim Charzinski
Investigation of the Multimedia Adaptive Threshold Strategy for Mobile Integrated Services Networks / Vittoria de Nitto Personè ; Andreas Pillekeit ; Matteo Iacari
Setting the Parameters Right for Two-Hop IEEE 802.11e Ad Hoc Networks / Anne Remke ; Boudewijn R. Haverkort ; Geert Heijenk ; Jesper Bax
CrossTrace: Cross-Layer Measurement for IEEE 802.11 Wireless Testbeds / Simon Frohn ; Sascha Gübner ; Christoph Lindemann
The Total Overflow during a Busy Cycle in a Markov-Additive Finite Buffer System / Lothar Breuer
Accuracy of Strong and Weak Comparisons for Network of Queues / Hind Castel-Taleh ; Nihal Pekergin
Searching for Tight Performance Bounds in Feed-Forward Networks / Andreas Kiefer ; Nicos Gollan ; Jens B. Schmitt
An EM Algorithm for Markovian Arrival Processes Observed at Discrete Times / Alfred Kume
An Empirical Comparison of MAP Fitting Algorithms / Jan Kriege ; Peter Buchholz
Reducing the Cost of Generating APH-Distributed Random Numbers / Philipp Reinecke ; Miklós Telek ; Katinka Wolter
Correctness Issues of Symbolic Bisimulation Computation for Markov Chains / Ralf Wimmer ; Bernd Becker
Tool Papers
ResiLyzer: A Tool for Resilience Analysis in Packet-Switched Communication Networks / David Stezenbach
SyLaGen - An Extendable Tool Environment for Generating Load / Michael Striewe ; Moritz Balz ; Michael Goedicke
ProFiDo - A Toolkit for Fitting Input Models / Falko Bause ; Philipp Gerloff
ProC/B for Networks: Integrated INET Models / Sebastian Vastag
DELTA: A Web-Based Simulation Training Environment Using JavaDEMOS / Sascha Geeren ; Falk Hoppe ; Axel Langhoff ; Bruno Müller-Clostermann
Author Index
Invited Talks
Mitigating the Effects of Internet Timing Faults Across Embedded Network Gateways / Philip Koopman ; Justin Ray
Green IT - The Power Saving Challenge and ICT Solutions / Paul J. Kühn
24.

電子ブック

EB
Thomas Kühne, Marie-Pierre Gervais, Takeo Kanade, Bran Selic, François Terrier
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2010
所蔵情報: loading…
目次情報: 続きを見る
Orthographic Software Modelling: A Novel Approach to View-Based Software Engineering (Invited Talk) / Colin Atkinson
The Good, the Bad and the Ugly: Experiences with Model Driven Development in Large Scale Projects at Ericsson (Invited Talk) / Diarmuid Corcoran
Comparing Approaches to Implement Feature Model Composition / Mathieu Acher ; Philippe Collet ; Philippe Lahire ; Robert France
A UML 2.0 Profile to Model Block Cipher Algorithms / Tomás Balderas-Contreras ; Gustavo Rodriguez-Gomez ; René Cumplido
Towards Model Driven Tool Interoperability: Bridging Eclipse and Microsoft Modeling Tools / Hugo Brunelière ; Jordi Cabot ; Cauê Clasen ; Frédéric Jouault ; Jean Bézivin
Aspect-Oriented Business Process Modeling with AO4BPMN / Anis Charfi ; Heiko Müller ; Mira Mezini
A Reflective Approach to Model-Driven Web Engineering / Darren Clowes ; Dimitris Kolovos ; Chris Holmes ; Louis Rose ; Richard Paige ; Julian Johnson ; Ray Dawson ; Steve Probets
Requirements Analysis and Modeling with Problem Frames and SysML: A Case Study / Pietro Colombo ; Ferhat Khendek ; Luigi Lavazza
Generative Technologies for Model Animation in the TOPCASED Platform / Xavier Crégut ; Benoit Combemale ; Marc Pantel ; Raphaël Faudoux ; Jonatas Pavei
Model-Driven Engineering of Machine Executable Code / Michael Eichberg ; Martin Monperrus ; Sven Kloppenburg
eSPEM - A SPEM Extension for Enactable Behavior Modeling / Ralf Ellner ; Samir Al-Hilank ; Johannes Drexler ; Martin Jung ; Detlef Kips ; Michael Philippsen
Adding Abstraction and Reuse to a Network Modelling Tool Using the Reuseware Composition Framework / Jendrik Johannes ; Miguel A. Fernández
Model-Based Development of Automotive Electronic Climate Control Software / Rupesh Kakade ; Mohan Murugesan ; Bhupal Perugu ; Mohanan Nair
Example-Based Sequence Diagrams to Colored Petri Nets Transformation Using Heuristic Search / Marouane Kessentini ; Arbi Bouchoucha ; Houari Sahraoui ; Mounir Boukadoum
Model Search: Formalizing and Automating Constraint Solving in MDE Platforms / Mathias Kleiner ; Marcos Didonet Del Fabro ; Patrick Albert
MoPCoM Methodology: Focus on Models of Computation / Ali Koudri ; Joël Champeau ; Jean-Christophe Le Lann ; Vincent Leilde
Dynamic Computation of Change Operations in Version Management of Business Process Models / Jochen Malte Küster ; Christian Gerth ; Gregor Engels
Detecting Inconsistencies in Multi-View Models With Variability / Roberto Erick Lopez-Herrejon ; Alexander Egyed
A Model-Based Method for Evaluating Embedded System Performance by Abstraction of Execution Traces / Kouichi Ono ; Manabu Toyota ; Ryo Kawahara ; Yoshifumi Sakamoto ; Takeo Nakada ; Naoaki Fukuoka
Concordance: A Framework for Managing Model Integrity / Louis M. Rose ; Dimitrios S. Kolovos ; Nicholas Drivalos ; James R. Williams ; Richard F. Paige ; Fiona A.C. Polack ; Kiran J. Fernandes
An Integrated Facet-Based Library for Arbitrary Software Components / Matthias Schmidt ; Jan Polowinski
Precise Specification of Design Pattern Structure and Behaviour / Ashley Sterritt ; Siobhán Clarke ; Vinny Cahill
Coping with Variability in Model-Based Systems Engineering: An Experience in Green Energy / Salvador Trujillo ; Jose Miguel Garate ; Xabier Mendialdua ; Albert Rosado ; Charles W. Krueger ; Josune de Sosa
On the Combination of Domain Specific Modeling Languages / Antonio Vallecillo
Joint Language and Domain Engineering / Tobias Walter ; Fernando Silva Parreiras ; Steffen Staab ; Jürgen Ebert
An Automated Approach to Transform Use Cases into Activity Diagrams / Tao Yue ; Lionel C. Briand ; Yuan Labiche
Author Index
Orthographic Software Modelling: A Novel Approach to View-Based Software Engineering (Invited Talk) / Colin Atkinson
The Good, the Bad and the Ugly: Experiences with Model Driven Development in Large Scale Projects at Ericsson (Invited Talk) / Diarmuid Corcoran
Comparing Approaches to Implement Feature Model Composition / Mathieu Acher ; Philippe Collet ; Philippe Lahire ; Robert France
25.

電子ブック

EB
Christine Choppy, Takeo Kanade, Oleg Sokolsky
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2010
所蔵情報: loading…
目次情報: 続きを見る
Revising the UML Collaborations: A Well-Founded Approach / Egidio Astesiano ; Gianna Reggio
Client Synthesis for Aspect Oriented Web Services / Mehdi Ben Hmida ; Serge Haddad
Formal Reasoning about Software Object Translations / Vladis Berzins ; Luqi ; Peter M. Musial
Software Engineering Techniques for the Development of Systems of Systems / Radu Calinescu ; Marta Kwiatkowska
Simulation of LET Models in Simulink and Ptolemy / Patricia Derler ; Andreas Naderlinger ; Wolfgang Pree ; Stefan Resmerita ; Josef Templ
Requirements for Service Composition in Ultra-Large Scale Software-Intensive Systems / Claudiu Farcas ; Emilia Farcas ; Ingolf Krüger
On the Pragmatics of Model-Based Design / Hauke Fuhrmann ; Reinhard von Hanxleden
Modelling and Verification of Relay Interlocking Systems / Anne E. Haxthausen ; Marie Le Bliguet ; Andreas A. Kjœr
Refinement of Components in Connection-Safe Assemblies with Synchronous and Asynchronous Communication / Rolf Hennicker ; Stephan Janisch ; Alexander Knapp
Experiences in Model Driven Verification of Behavior with UML / Fabrice Kordon ; Yann Thierry-Mieg
Cross-Document Dependency Analysis for System-of-System Integration / Syed Asad Naqvi ; Ruzanna Chitchyan ; Steffen Zschaler ; Awais Rashid ; Mario Südholt
Performance Analysis of AADL Models Using Real-Time Calculus / Oleg Sokolsky ; Alexander Chernoguzov
On Software Certification: We Need Product-Focused Approaches / Alan Wassyng ; Tom Maibaum ; Mark Lawford
Author Index
Revising the UML Collaborations: A Well-Founded Approach / Egidio Astesiano ; Gianna Reggio
Client Synthesis for Aspect Oriented Web Services / Mehdi Ben Hmida ; Serge Haddad
Formal Reasoning about Software Object Translations / Vladis Berzins ; Luqi ; Peter M. Musial
26.

電子ブック

EB
Matthias Blume, Takeo Kanade, Naoki Kobayashi, Germán Vidal, Association for Computing Machinery-Digital Library.
出版情報: Springer eBooks Computer Science , 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
27.

電子ブック

EB
Sudipto Ghosh, Takeo Kanade, Association for Computing Machinery-Digital Library.
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2010
所蔵情報: loading…
28.

電子ブック

EB
Gilles Barthe, Manuel Hermenegildo, Takeo Kanade
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2010
所蔵情報: loading…
目次情報: 続きを見る
Invited Talks
Analysis of Systems with Stochastic Process Creation (Abstract) / Javier Esparza
Verifying Concurrent Programs with Chalice (Abstract) / K. Rustan ; M. Leino
Static Timing Analysis for Hard Real-Time Systems / Reinhard Wilhelm ; Sebastian Altmeyer ; Claire Burguière ; Daniel Grand ; Jörg Herter ; Jan Reineke ; Björn Wachter ; Stephan Wilhelm
Invited Tutorials
Abstract Interpretation-Based Protection (Extended Abstract) / Roberto Giacobazzi
Advances in Probabilistic Model Checking (Abstract) / Joost-Pieter Katoen
Building a Calculus of Data Structures / Viktor Kuncak ; Ruzica Piskac ; Philippe Suter ; Thomas Wies
Regular Papers
Temporal Reasoning for Procedural Programs / Rajeev Alur ; Swarat Chaudhuri
Improved Model Checking of Hierarchical Systems / Benjamin Aminof ; Orna Kupferman ; Aniello Murano
Path-Oriented Reachability Verification of a Class of Nonlinear Hybrid Automata Using Convex Programming / Lei Bu ; Jianhua Zhao ; Xuandong Li
Complexity Bounds for the Verification of Real-Time Software / Rohit Chadha ; Axel Legay ; Pavithra Prabhakar ; Mahesh Viswanathan
An Abstract Domain to Discover Interval Linear Equalities / Liqian Chen ; Antoine Miné ; Ji Wang ; Patrick Cousot
Interpolant Strength / Vijay D'Silva ; Daniel Kroening ; Mitra Purandare ; Georg Weissenbacher
Checking Bounded Reachability in Asynchronous Systems by Symbolic Event Tracing / Jori Dubrovin
Invariant and Type Inference for Matrices / Thomas A. Henzinger ; Thibaud Hottelier ; Laura Kovács ; Andrei Voronkov
Deriving Invariants by Algorithmic Learning, Decision-Procedures, and Predicate Abstraction / Yungbum Jung ; Soonho Kong ; Bow-Yaw Wang ; Kwangkeun Yi
Automatic Abstraction for Congruences / Andy King ; Harald Søndergaard
Shape Analysis of Low-Level C with Overlapping Structures / Jörg Kreiker ; Helmut Seidl ; Vesal Vojdani
Abstract Threads / Shuvendu K. Lahiri ; Alexander Malkis ; Shaz Qadeer
Shape Analysis with Reference Set Relations / Mark Marron ; Rupak Majumdar ; Darko Stefanovic ; Deepak Kapur
Shape Analysis in the Absence of Pointers and Structure / Matthew Might
An Analysis of Permutations in Arrays / Valentin Perrelle ; Nicolas Halbwachs
Regular Linear Temporal Logic with Past / César Sánchez ; Martin Leucker
Model-Checking In-Lined Reference Monitors / Meera Sridhar ; Kevin W. Hamlen
Considerate Reasoning and the Composite Design Pattern / Alexander J. Summers ; Sophia Drossopoulou
RGSep Action Inference / Viktor Vafeiadis
Best Probabilistic Transformers / Lijun Zhang
Collections, Cardinalities, and Relations / Kuat Yessenov
Author Index
Invited Talks
Analysis of Systems with Stochastic Process Creation (Abstract) / Javier Esparza
Verifying Concurrent Programs with Chalice (Abstract) / K. Rustan ; M. Leino
29.

電子ブック

EB
Ute Schmid, Takeo Kanade, Emanuel Kitzelmann, Rinus Plasmeijer
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2010
所蔵情報: loading…
30.

電子ブック

EB
Rajiv Gupta, Takeo Kanade
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2010
所蔵情報: loading…
目次情報: 続きを見る
Invited Talk
Programming Clouds / James Larus
Optimization Techniques
Mining Opportunities for Code Improvement in a Just-In-Time Compiler / Adam Jocksch ; Marcel Mitran ; Joran Siu ; Nikola Grcevski ; José Nelson Amaral
Unrestricted Code Motion: A Program Representation and Transformation Algorithms Based on Future Values / Shuhan Ding ; Soner Önder
Optimizing Matlab through Just-In-Time Specialization / Maxime Chevalier-Boisvert ; Laurie Hendren ; Clark Verbrugge
RATA: Rapid Atomic Type Analysis by Abstract Interpretation - Application to JavaScript Optimization / Francesco Logozzo ; Herman Venter
Program Transformations
JReq: Database Queries in Imperative Languages / Ming-Yee Iu ; Emmanuel Cecchet ; Willy Zwaenepoel
Verifying Local Transformations on Relaxed Memory Models / Sebastian Burckhardt ; Madanlal Musuvathi ; Vasu Singh
Program Analysis
Practical Extensions to the IFDS Algorith / Nomair A. Naeem ; Ondrej Lhoták ; Jonathan Rodriguez
Using Ownership to Reason about Inherent Parallelism in Object-Oriented Programs / Andrew Craik ; Wayne Kelly
Register Allocation
Punctual Coalescing / Fernando Magno Quintão Pereira ; Jens Palsberg
Strategies for Predicate-Aware Register Allocation / Gerolf F. Hoflehner
Preference-Guided Register Assignment / Matthias Braun ; Christoph Mallon ; Sebastian Hack
Validating Register Allocation and Spilling / Silvain Rideau ; Xavier Leroy
High-Performance Systems
Automatic C-to-CUDA Code Generation for Affine Programs / Muthu Manikandan Baskaran ; J. Ramanujam ; P. Sadayappan
Is Reuse Distance Applicable to Data Locality Analysis on Chip Multiprocessors? / Yunlian Jiang ; Eddy Z. Zhang ; Kai Tian ; Xipeng Shen
The Polyhedral Model Is More Widely Applicable Than You Think / Mohamed-Walid Benabderrahmane ; Louis-Noël Pouchet ; Albert Cohen ; Cédric Bastoul
The Hot Path SSA Form: Extending the Static Single Assignment form for Speculative Optimizations / Subhajit Roy ; Y.N. Srikant
Author Index
Invited Talk
Programming Clouds / James Larus
Optimization Techniques
31.

電子ブック

EB
David S. Rosenblum, Takeo Kanade, Gabriele Taentzer
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2010
所蔵情報: loading…
目次情報: 続きを見る
Invited Speaker
Why the Virtual Nature of Software Makes It Ideal for Search Based Optimization / Mark Harman
Model Transformation
A Formalisation of Constraint-Aware Model Transformations / Adrian Rutle ; Alessandro Rossini ; Yngve Lamo ; Uwe Wolter
Formal Real-Time Model Transformations in MOMENT2 / Artur Boronat ; Peter Csaba Ölveczky
Reusing Model Transformations While Preserving Properties / Ethan K. Jackson ; Wolfram Schulte ; Daniel Balasubramanian ; Gabor Karsai
Software Evolution
Are Popular Classes More Defect Prone? / Alberto Bacchelli ; Marco D'Ambros ; Michele Lanza
Operation-Based, Fine-Grained Version Control Model for Tree-Based Representation / Tung Thanh Nguyen ; Hoan Anh Nguyen ; Nam H. Pham ; Tien N. Nguyen
A Method for Analyzing Code Homology in Genealogy of Evolving Software / Masatomo Hashimoto ; Akira Mori
Dynamic Resource Scheduling in Disruption-Prone Software Development Environments / Junchao Xiao ; Leon J. Osterweil ; Qing Wang ; Mingshu Li
Graph Transformation
Incremental Service Composition Based on Partial Matching of Visual Contracts / Muhammad Naeem ; Reiko Heckel ; Fernando Orejas ; Frank Hermann
Formal Analysis and Verification of Self-Healing Systems / Hartmut Ehrig ; Claudia Ermel ; Olga Runge ; Antonio Bucchiarone ; Patrizio Pelliccione
Stochastic Simulation of Graph Transformation Systems / Paolo Torrini ; István Ráth
Modeling Concepts
Prescriptive Semantics for Big-Step Modelling Languages / Shahram Esmaeilsabzali ; Nancy A. Day
A Modular Model Composition Technique / Pierre Kelsen ; Qin Ma
A Verifiable Modeling Approach to Configurable Role-Based Access Control / Dae-Kyoo Kim ; Lunjin Lu ; Sangsig Kim
Incremental Consistency Checking of Dynamic Constraints / Iris Groher ; Alexander Reder ; Alexander Egyed
Verification
Proving Consistency and Completeness of Model Classes Using Theory Interpretation / Ádám Darvas ; Peter Müller
Automatic Cross Validation of Multiple Specifications: A Case Study / Carlo Ghezzi ; Andrea Mocci ; Guido Salvaneschi
An Automata-Theoretic Approach to Hardware/Software Co-verification / Juncao Li ; Fei Xie ; Thomas Ball ; Vladimir Levin ; Con McGarvey
Program Analysis
Shape Refinement through Explicit Heap Analysis / Dirk Beyer ; Thomas A. Henzinger ; Grégory Théoduloz ; Damien Zufferey
Memory Leaks Detection in Java by Bi-abductive Inference / Dino Distefano ; Ivana Filipovic
Analyzing the Impact of Change in Multi-threaded Programs / Krishnendu Chatterjee ; Luca de Alfaro ; Vishwanath Raman ; César Sánchez
Testing and Debugging
Evaluating Ordering Heuristics for Dynamic Partial-Order Reduction Techniques / Steven Lauterburg ; Rajesh K. Karmani ; Darko Marinov ; Gul Agha
A Lightweight and Portable Approach to Making Concurrent Failures Reproducible / Qingzhou Luo ; Sai Zhang ; Jianjun Zhao ; Min Hu
Efficient Runtime Assertion Checking of Assignable Clauses with Datagroups / Hermann Lehner
Performance Modeling and Analysis
Performance Modeling and Analysis of Context-Aware Mobile Software Systems / Luca Berardinelli ; Vittorio Cortellessa ; Antinisca Di Marco
A Process to Effectively Identify "Guilty" Performance Antipatterns / Anne Martens ; Ralf Reussner ; Catia Trubiani
Author Index
Invited Speaker
Why the Virtual Nature of Software Makes It Ideal for Search Based Optimization / Mark Harman
Model Transformation
32.

電子ブック

EB
Andrew D. Gordon, Takeo Kanade
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2010
所蔵情報: loading…
目次情報: 続きを見る
The Audacity of Hope: Thoughts on Reclaiming the Database Dream (ETAPS Invited Lecture) / Sam Lindley ; Philip Wadler
Dynamic Boundaries: Information Hiding by Second Order Framing with First Order Assertions (ESOP Invited Lecture) / David A. Naumann ; Anindya Banerjee
Coupling Policy Iteration with Semi-definite Relaxation to Compute Accurate Numerical Invariants in Static Analysis / Assalé Adjé ; Stéphane Gaubert ; Eric Goubault
Precise and Automated Contract-Based Reasoning for Verification and Certification of Information Flow Properties of Programs with Arrays / Torben Amtoft ; John Hatcliff ; Edwin Rodríguez
A Semantic Framework for Declassification and Endorsement / Aslan Askarov ; Andrew Myers
Amortises Resource Analysis with Separation Logic / Robert Atkey
A polyTime Functional Language from Light Linear Logic / Patrick Baillot ; Marco Gaboardi ; Virgile Mogbil
Testing Polymorphic Properties / Jean-Philippe Bernardy ; Patrik Jansson ; Koen Claessen
Formal Verification of Coalescing Graph-Coloring Register Allocation / Sandrine Blazy ; Benoît Robillard ; Andrew W. Appel
A Theory of Speculative Computation / Gérared Boudol ; Gustavo Petri
Propositional Interpolation and Abstract Interpretation / Vijay D'Silva
Functional Programming in Sublinear Space / Ugo Dal Lago ; Ulrich Schöpp
Logical Concurrency Control from Sequential Proofs / Jyotirmoy Deshmukh ; G.Ramalingam ; Venkatesh-Prasad Ranganath ; Kapil Vaswani
Fluid Updates: Beyond Strong vs. Weak Updates / Isil Dillig ; Thomas Dillig ; Alex Aiken
Parameterized Memory Models and Concurrent Separation Logic / Rodrigo Ferreira ; Xinyu Feng ; Zhong Shao
Amortized Resource Analysis with Polynomial Potential: A Static Inference of polynomial Bounds for Functional Programs / Jan Hoffmann ; Martin Hofmann
Generative Operational Semantics for Relaxed Memory models / Radha Jagadeesan ; Corin Pitcher ; James Riely
Automating Security Mediation Placement / Dave King ; Susmit Jha ; Sanjit A. Seshia
TRX: A Formally Verified Parser Interpreter / Adam Koprowski ; Henri Binsztok
On the Expressive Power of Primitives for Compensation Handling / Ivan Lanese ; Cátia vaz ; Carla Ferreira
Separating Shape Graphs / Vincent Laviron ; Bor-Yuh Evan Chang ; Xavier Rival
Deadlock-Free Channels and Locks / K. Rustan M.Leino ; Peter Müller ; Jan Smans
Verifying a Compiler for Java Threads / Andreas Lochbihler
A Grammar-Based Approach to Invertible Programs / Kazutaka Matsuda ; Shin-Cheng Mu ; Zhenjiang Hu ; Masato Takeichi
Faulty Logic: Reasoning about Fault Tolerant Programs / Matthew L. Meola ; David Walker
A Hoare Logic for the Coinductive Trace-Based Big-Step Semantics of While / Keiko Nakata ; Tarmo Uustalu
A Universal Calculus for Stream Processing Languages / Rober Soulé ; Martin Hirzel ; Robert Grimm ; Bugra Gedik ; Henrique Andrade ; Vibhore Kumar ; Kun-Lung Wu
Enforcing Stateful Authorization and Information Flow Polices in FINE / Nikhil Swamy ; Juan Chen ; Ravi Chugh
Stateful Contracts for Affine Types / Jesse A. Tov ; Riccardo Pucella
CF2:A Context-Free Approach to Control-Flow Analysis / Dimitrios Vardoulakis ; Olin Shivers
Weithted Dynamic Pushdown Networks / Alexander Wenner
Ecplicit Stabilisation for Modular Rely-Guarantee Reasoning / John Wickerson ; Mike Dodds ; Matthew Parkinson
Author Index
The Audacity of Hope: Thoughts on Reclaiming the Database Dream (ETAPS Invited Lecture) / Sam Lindley ; Philip Wadler
Dynamic Boundaries: Information Hiding by Second Order Framing with First Order Assertions (ESOP Invited Lecture) / David A. Naumann ; Anindya Banerjee
Coupling Policy Iteration with Semi-definite Relaxation to Compute Accurate Numerical Invariants in Static Analysis / Assalé Adjé ; Stéphane Gaubert ; Eric Goubault
33.

電子ブック

EB
Mark Brand, Takeo Kanade
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2010
所蔵情報: loading…
目次情報: 続きを見る
Keynotes / I:
Eating Our Own Dog Food: DSLs for Generative and Transformational Engineering / James R. Cordy
If MDE Is the Solution, Then What Is the Problem? / Jean Bézivin
Regular Papers / II:
Session: Language and Model Evolution
Language Evolution in Practice: The History of GMF / Markus Herrmannsdoerfer ; Daniel Ratiu ; Guido Wachsmuth
A Novel Approach to Semi-automated Evolution of DSML Model Transformation / Tihamer Levendovszky ; Daniel Balasubramanian ; Anantha Narayanan ; Gabor Karsai
Study of an API Migration for Two XML APIs / Thiago Tonelli Bartolomei ; Krzysztof Czarnecki ; Ralf Lämmel ; Tijs van der Storm
Session: Variability and Product Lines
Composing Feature Models / Mathieu Acker ; Philippe Collet ; Philippe Lahire ; Robert France
VML* - A Family of Languages for variability Management in Software Product Lines / Steffen Zschaler ; Pablo Sánchez ; João Santos ; Mauricio Alférez ; Awais Rashid ; Lidia Fuentes ; Ana Moreira ; João Araújo ; Uirá Kulesza
Multi-view Composition Language for Software Product Line Requirements / Alessandro Garcia ; Vasco Amaral
Session: Short Papers
Yet Another Language Extension Scheme / Anya Helene Bagge
Model Transformation Languages Relying on Models as ADTs / Jerónimo Irazábal ; Claudia Pons
Towards Dynamic Evolution of Domain Specific Languages / Paul Laird ; Stephen Barrett
ScalaQL: Language-Integrated Database Queries for Scala / Daniel Spiewak ; Tian Zhao
Integration of Data Validation and User Interface Concerns in a DSL for Web Applications / Danny M. Groenewegen ; Eelco Visser
Ontological Metamodeling with Explicit Instantiation / Alfons Laarman ; Ivan Kurtev
Session: Parsing, Compilation, and Demo
Verifiable Parse Table Composition for Deterministic Parsing / August Schwerdfeger ; Eric Van Wyk
Natural and Flexible Error Recovery for Generated Parsers / Maartje de Jonge ; Emma Nilsson-Nyman ; Lennart C.L. Kats
PIL: A Platform Independent Language for Retargetable DSLs / Zef Hemel
Graphical Template Language for Transformation Synthesis / Elina Kalnina ; Audris Kalnins ; Edgars Celms ; Agris Sostaks
Session: Modularity in Languages
A Role-Based Approach towards Modular Language Engineering / Christian Wende ; Nils Thieme
Language Boxes: Bending the Host Language with Modular Language Changes / Lukas Renggli ; Marcus Denker ; Oscar Nierstrasz
Declarative Scripting in Haskell / Tim Bauer ; Martin Erwig
Session: Metamodeling and Demo
An Automated Process for Implementing Multilevel Domain Models / Frédéric Mallet ; François Lagarde ; Charles André ; Sébastien Gérard ; François Terrier
Domain-Specific Metamodelling Languages for Software Language Engineering / Dimitrios S. Kolovos ; Nikolaos Drivalos ; Richard F. Paige
Generating Smart Wrapper Libraries for Arbitrary APIs / Uwe Jugel
Closing the Gap between Modelling and Java / Florian Heidenreich ; Jendrik Johannes ; Mirko Seifert
Author Index
Keynotes / I:
Eating Our Own Dog Food: DSLs for Generative and Transformational Engineering / James R. Cordy
If MDE Is the Solution, Then What Is the Problem? / Jean Bézivin
34.

電子ブック

EB
Javier Esparza, Takeo Kanade, Rupak Majumdar
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2010
所蔵情報: loading…
目次情報: 続きを見る
Invited Talks
Embedded Systems Design - Scientific Challenges and Work Directions (Abstract) / Joseph Sifakis
Antichain Algorithms for Finite Automata / Laurent Doyen ; Jean-François Raskin
Probabilistic Systems and Optimization
Assume-Guarantee Verification for Probabilistic Systems / Marta Kwiatkowska ; Gethin Norman ; David Parker ; Hongyang Qu
Simple O(m log n) Time Markov Chain Lumping / Antti Valmari ; Giuliana Franceschinis
Model Checking Interactive Markov Chains / Lijun Zhang ; Martin R. Neuhäu?er
Approximating the Pareto Front of Multi-criteria Optimization Problems / Julien Legriel ; Colas Le Guernic ; Scott Cotton ; Oded Maler
Decision Procedures
An Alternative to SAT-Based Approaches for Bit-Vectors / Sébastien Bardin ; Philippe Herrmann ; Florian Perroud
Satisfiability Modulo the Theory of Costs: Foundations and Applications / Alessandro Cimatti ; Anders Franzén ; Alberto Griggio ; Roberto Sebastiani ; Cristian Stenico
Optimal Tableau Algorithms for Coalgebraic Logics / Rajeev Goré ; Clemens Kupke ; Dirk Pattinson
Blocked Clause Elimination / Matti Järvisalo ; Armin Biere ; Marijn Heule
Tools I
BOOM: Taking Boolean Program Model Checking One Step Further / Gerard Basler, Matthew Hague ; Daniel Kroening ; C.-H. Luke Ong ; Thomas Wahl ; Haoxian Zhao
The OpenSMT Solver / Roberto Bruttomesso ; Edgar Pek ; Natasha Sharygina ; Aliaksei Tsitovich
STRANGER: An Automata-Based String Analysis Tool for PHP / Fang Yu ; Muath Alkhalaf ; Tevfik Bultan
Automata Theory
When Simulation Meets Antichains: On Checking Language Inclusion of Nondeterministic Finite (Tree) Automata / Parosh Aziz Abdulla ; Yu-Fang Chen ; Lukás Holík ; Richard Mayr ; Tomás Vojnar
On Weak Modal Compatibility, Refinement, and the MIO Workbench / Sebastian S. Bauer ; Philip Mayer ; Andreas Schroeder ; Rolf Hennicker
Rational Synthesis / Dana Fisman ; Orna Kupferman ; Yoad Lustig
Efficient Büchi University Checking / Seth Fogarty ; Moshe Y. Vardi
Liveness
Automated Termination Analysis for Programs with Second-Order Recursion / Markus Aderhold
Ranking Function Synthesis for Bit-Vector Relations / Byron Cook ; Philipp Rümmer ; Christoph M. Wintersteiger
Fairness for Dynamic Control / Jochen Hoenicke ; Ernst-Rüdiger Olderog ; Andreas Podelski
Tools II
JTorX: A Tool for On-Line Model-Driven Test Derivation and Execution / Axel Belinfante
SLAB: A Certifying Model Checker for Infinite-State Concurrent Systems / Klaus Dräger ; Andrey Kupriyanov ; Bernd Finkbeiner ; Heike Wehrheim
Tracking Heaps That Hop with Heap-Hop / Jules Villard ; Étienne Lozes ; Cristiano Calcagno
Software Verification
Automatic Analysis of Scratch-Pad Memory Code for Heterogeneous Multicore Processors / Alastair F. Donaldson
Simplifying Linearizability Proofs with Reduction and Abstraction / Tayfun Elmas ; Shaz Qadeer ; Ali Sezgin ; Omer Subasi ; Serdar Tasiran
A Polymorphic Intermediate Verification Language: Design and Logical Encoding / K. Rustan M. Leino
Trace-Based Symbolic Analysis for Atomicity Violations / Chao Wang ; Rhishikesh Limaye ; Malay Ganai ; Aarti Gupta
Tools III
ACS: Automatic Converter Synthesis for SoC Bus Protocols / Karin Avnit ; Arcot Sowmya ; Jorgen Peddersen
AlPiNA: An Algebraic Petri Net Analyzer / Didier Buchs ; Steve Hostettler ; Alexis Marechal ; Matteo Risoldi
PASS: Abstraction Refinement for Infinite Probabilistic Models / Ernst Moritz Hahn ; Holger Hermanns ; Björn Wachter
Real Time and Information Flow
Arrival Curves for Real-Time Calculus: The Causality Problem and Its Solutions / Matthieu Moy ; Karine Altisen
Computing the Leakage of Information-Hiding Systems / Miguel E. Andrés ; Catuscia Palamidessi ; Peter van Rossum ; Geoffrey Smith
Statistical Measurement of Information Leakage / Konstantinos Chatzikokolakis ; Tom Chothia ; Apratim Guha
SAT Based Bounded Model Checking with Partial Order Semantics for Timed Automata / Janusz Malinowski ; Peter Niebert
Testing
Preemption Sealing for Efficient Concurrency Testing / Thomas Ball ; Sebastian Burckhardt ; Katherine E. Coons ; Madanlal Musuvathi
Code Mutation in Verification and Automatic Code Correction / Gal Katz ; Doron Peled
Efficient Detection of Errors in Java Components Using Random Environment and Restarts / Pavel Parizek ; Tomas Kalibera
Author Index
Invited Talks
Embedded Systems Design - Scientific Challenges and Work Directions (Abstract) / Joseph Sifakis
Antichain Algorithms for Finite Automata / Laurent Doyen ; Jean-François Raskin
35.

電子ブック

EB
Peter Müller, Takeo Kanade
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2010
所蔵情報: loading…
目次情報: 続きを見る
Fine-Grain Concurrency / Tony Hoare
Compensable Transactions
SCOOP-A Contract-Based Concurrent Object-Oriented Programming Model / Benjamin Morandi ; Sebastian S. Bauer ; Bertrand Meyer
Using the Spec# Language, Methodology, and Tools to Write Bug-Free Programs / K. Rustan M. Leino ; Peter Müller
Fixpoints and Search in PVS / Natarajan Shankar
Multi Core Design for Chip Level Multiprocessing / Tryggve Fossum
Author Index
Fine-Grain Concurrency / Tony Hoare
Compensable Transactions
SCOOP-A Contract-Based Concurrent Object-Oriented Programming Model / Benjamin Morandi ; Sebastian S. Bauer ; Bertrand Meyer
36.

電子ブック

EB
Khalid Al-Begain, Dieter Fiems, Takeo Kanade, William J. Knottenbelt
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2010
所蔵情報: loading…
目次情報: 続きを見る
Queueing Theory I
A Batch-Service Queueing Model with a Discrete Batch Markovian Arrival Process / Dieter Claeys ; Joris Walraevens ; Koenraad Laevens ; Bart Steyaert ; Herwig Bruneel
Queueing System MAP/PH/N with Propagated Failures / Khalid Al-Begain ; Alexander Dudin ; Valentina Klimenok
Analysis of a Discrete-Time Queueing System with an NT-Policy / Bart Feyaerts ; Stijn De Vuyst ; Sabine Wittevrongel
Packet Loss Minimization in Load-Balancing Switch / Yury Audzevich ; Levente Bodrog ; Yoram Ofek ; Miklós Telek
Queueing Theory II
The Preemptive Repeat Hybrid Server Interruption Model / Thomas Demoor ; Dieter Fiems
Networks of Symmetric Multi-class Queues with Signals Changing Classes / Thu-Ha Dao-Thi ; Jean-Michel Fourneau ; Minh-Anh Tran
Product-Form Solutions for Models with Joint-State Dependent Transition Rates / Simonetta Balsamo ; Andrea Marin
The qnetworks Toolbox: A Software Package for Queueing Networks Analysis / Moreno Marzolla
Specification Languages and Tools
Rewriting Logic Based Performance Estimation of Embedded Systems / Fateh Boutekkouk
A Formal Language toward the Unification of Model Checking and Performance Evaluation / Andrew S. Miner ; Yaping Jing
Security Evaluation of Layered Intrusion Tolerant Systems / Sanaz Hafezian Razavi ; Olivia Das
Stochastic PERT and CAST Logic Approach for Computer Support of Complex Operation Planning / Ryszard Antkiewicz ; Arkadiusz Gasecki ; Andrzej Najgebauer ; Dariusz Pierzchala ; Zbigniew Tarapata
Telecommunication Systems I
Perfect Sampling of Load Sharing Policies in Large Scale Distributed Systems / Gaël Gorgo ; Jean-Marc Vincent
Stochastic Comparisons for Performability of Telecommunication Systems / Hind Castel-Taleb ; Idriss Ismael-Aouled ; Nihal Pekergin
Model-Based Stochastic Simulation of P2P VoIP Using Graph Transformation System / Ajab Khan ; Reiko Heckel ; Paolo Torrini ; István Ráth
Performance Evaluation of Media Segmentation Heuristics Using Non-markovian Multi-class Arrival Processes / Pietro Piazzolla ; Marco Gribaudo ; Roberto Borgotallo ; Alberto Messina
Telecommunication Systems II
A Formal Approach to Investigate the Performance of Modern E-Commerce Services / Ibtehal Nafea ; D.R.W. Holton ; Muhammad Younas ; Irfan Awan
Leader Election in Anonymous Radio Networks: Model Checking Energy Consumption / Haidi Yue ; Joost-Pieter Katoen
Upper Bound on Overall Delay in Wireless Broadband Networks with Non Real-Time Traffic / Sergey Andreev ; Zsolt Saffer ; Andrey Turlikov ; Alexey Vinel
Estimation
Robustness of the Whittle Estimator Applied to Non-Gaussian Long-Range Dependent Processes / Maria-Estrella Sousa-Vieira
Service Time Estimation with a Refinement Enhanced Hybrid Clustering Algorithm / Paolo Cremonesi ; Kanika Dhyani ; Andrea Sansottera
Invariant Embedding Technique and Its Applications for Improvement or Optimization of Statistical Decisions / Nicholas Nechval ; Maris Purgailis ; Gundars Berzins ; Kaspars Cikste ; Juris Krasts ; Konstantin Nechval
Prediction
Prediction Model Selection and Spare Parts Ordering Policy for Efficient Support of Maintenance and Repair of Equipment / Uldis Rozevskis
Prediction-Based Dynamic Target Interception Using Discrete Markov Chains / Ayesha M. Sheikh ; Tony J. Dodd
Neural Networks as Surrogate Models for Measurements in Optimization Algorithms / Martin Holena ; David Linke ; Uwe Rodemerck ; Lukáš Bajer
Stochastic Modelling
Limit Behavior of the Hybrid Approximation of Stochastic Process Algebras / Luca Bortolussi
Analysis of an Automated Auction with Concurrent Multiple Unit Acceptance Capacity / Gunhwan Kim ; Erol Gelenbe
Congestive Collapse and Its Avoidance in a Dynamic Dial-a-Ride System with Time Windows / Esa Hyytiä ; Aleksi Penttinen ; Reijo Sulonen
Author Index
Queueing Theory I
A Batch-Service Queueing Model with a Discrete Batch Markovian Arrival Process / Dieter Claeys ; Joris Walraevens ; Koenraad Laevens ; Bart Steyaert ; Herwig Bruneel
Queueing System MAP/PH/N with Propagated Failures / Khalid Al-Begain ; Alexander Dudin ; Valentina Klimenok
37.

電子ブック

EB
Lars Grunske, Takeo Kanade, Frantisek Plasil, Ralf Reussner
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2010
所蔵情報: loading…
目次情報: 続きを見る
Component-Based Embedded Systems
Reliability Analysis of Component-Based Systems with Multiple Failure Modes / Antonio Filieri ; Carlo Ghezzi ; Vincenzo Grassi ; Raffaela Mirandola
Comparison of Component Frameworks for Real-Time Embedded Systems / Petr Hosek ; Tomáš Pop ; Tomáš Bureš ; Petr Hetynka ; Michal Malohlava
A Three-Tier Approach for Composition of Real-Time Embedded Software Stacks / Frédéric Loiret ; Lionel Seinturier ; Laurence Duchien ; David Servat
Bridging the Semantic Gap between Abstract Models of Embedded Systems / Jagadish Suryadevara ; Eun- Young Kang ; Cristina Seceleanu ; Paul Pettersson
Component-Based Adaptive Systems
Reliable Dynamic Reconfigurations in a Reflective Component Model / Marc Léger ; Thomas Ledoux ; Thierry Coupaye
Reactive Model-Based Control of Reconfiguration in the Fractal Component-Based Model / Gwenaël Delaval ; Eric Rutten
Enabling on Demand Deployment of Middleware Services in Componentized Middleware / Yan Li ; Minghui Zhou ; Chao You ; Guo Yang ; Hong Mei
A Self-healing Component Sandbox for Untrustworthy Third Party Code Execution / Kiev Gama ; Didier Donsez
Component Interfaces, Contracts and Adapters of Component-Based Systems
Component Contracts in Eclipse - A Case Study / Jens Dietrich ; Lucia Stewart
Automated Creation and Assessment of Component Adapters with Test Cases / Oliver Hummel ; Colin Atkinson
An Empirical Study of the Component Dependency Resolution Search Space / Graham Jenson ; Hans W. Guesgen
Composition and (De)-composition of Component-Based Systems
Component Composition Using Feature Models / Michael Eichberg ; Karl Klose ; Ralf Mitschke ; Mira Mezini
Restructuring Object-Oriented Applications into Component-Oriented Applications by Using Consistency with Execution Traces / Simon Allier ; Houari A. Sahraoui ; Salah Sadou ; Stéphane Vaucher
(Behavioural) Design Patterns as Composition Operators / Kung-Kiu Lau ; Ioannis Ntalamagkas ; Cuong M. Tran ; Tauseef Rana
Author Index
Component-Based Embedded Systems
Reliability Analysis of Component-Based Systems with Multiple Failure Modes / Antonio Filieri ; Carlo Ghezzi ; Vincenzo Grassi ; Raffaela Mirandola
Comparison of Component Frameworks for Real-Time Embedded Systems / Petr Hosek ; Tomáš Pop ; Tomáš Bureš ; Petr Hetynka ; Michal Malohlava
38.

電子ブック

EB
Dave Clarke, Gul Agha, Takeo Kanade
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2010
所蔵情報: loading…
目次情報: 続きを見る
Obsevables for Mobile and Wireless Broadcasting Systems / Jens Chr. Godskesen
Behavioural Contracts with Request-Response Operations / Lucia Acciai ; Michele Boreale ; Gianluigi Zavattaro
Now: A Workflow Language for Orchestration in Nomadic Networks / Eline Philips ; Ragnhild Van Der Straeten ; Viviane Jonckers
A Calculus for Boxes and Traits in a Java-Like Setting / Lorenzo Bettini ; Ferruccio Damiani ; Marco De Luca ; Kathrin Geilmann ; Jan Schäfer
JErlang: Erlang with Joins / Hubert Plociniczak ; Susan Eisenbach
A Hybrid Visual Dataflow Language for Coordination in Mobile Ad Hoc Networks / Andoni Lombide Carreton ; Theo D'Hondt
Compositional Construction of Real-Time Dataflow Networks / Stephanie Kemper
Coordinating Resource Usage through Adaptive Service Provisioning in Wireless Sensor Networks / Chien-Liang Fok ; Gruia-Catalin Roman ; Chenyang Lu
Simulation and Analysis of Distributed Systems in Klaim / Francesco Calzolai ; Michele Loreti
Modelling Railway Interlocking Tables Using Coloured Petri Nets / Somsak Vanit-Anunchai
Efficient Session Type Guided Distributed Interaction / K. C. Sivaramakrishnan ; Karthik Nagaraj ; Lukasz Ziarek ; Patrick Eugster
Scalable Efficient Composite Event Detection / K. R. Jayaram
Author Index
Obsevables for Mobile and Wireless Broadcasting Systems / Jens Chr. Godskesen
Behavioural Contracts with Request-Response Operations / Lucia Acciai ; Michele Boreale ; Gianluigi Zavattaro
Now: A Workflow Language for Orchestration in Nomadic Networks / Eline Philips ; Ragnhild Van Der Straeten ; Viviane Jonckers
39.

電子ブック

EB
David Hutchison, Takeo Kanade, Association for Computing Machinery-Digital Library.
出版情報: Springer eBooks Computer Science , 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
40.

電子ブック

EB
Alessandro Aldini, Marco Bernardo, Takeo Kanade, Alessandra Pierro, Herbert Wiklicky
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2010
所蔵情報: loading…
41.

電子ブック

EB
Jürgen Münch, Takeo Kanade, Wilhelm Schäfer, Ye Yang
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2010
所蔵情報: loading…
目次情報: 続きを見る
Invited Talk
A Risk-Driven Decision Table for Software Process Selection / Barry W. Boehm
Process Alignment
Using Process Definitions to Support Reasoning about Satisfaction of Process Requirements / Leon J. Osterweil ; Alexander Wise
Determining Organization-Specific Process Suitability / Vladimir Mandic ; Lasse Harjumaa ; Jouni Markkula ; Markku Oivo ; Ove Armbrust
On Scoping Stakeholders and Artifacts in Software Process / Xu Bai ; LiGuo Huang ; He Zhang
Critical Success Factors for Rapid, Innovative Solutions / Jo Ann Lane ; Barry Boehm ; Mark Bolas ; Azad Madni ; Richard Turner
Process Management
Evidence-Based Software Processes
SoS Management Strategy Impacts on SoS Engineering Effort
Using Project Procedure Diagrams for Milestone Planning / Klaus Bergner ; Jan Friedrich
A Framework for the Flexible Instantiation of Large Scale Software Process Tailoring / Peter Killisperger ; Markus Stumptner ; Georg Peters ; Georg Grossmann ; Thomas Stückl
A Methodological Framework and Software Infrastructure for the Construction of Software Production Methods / Mario Cervera ; Manoli Albert ; Victoria Torres ; Vicente Pelechano
Software Factories: Describing the Assembly Process / Maider Azanza ; Oscar Díaz ; Salvador Trujillo
How to Welcome Software Process Improvement and Avoid Resistance to Change / Daniela C.C. Peixoto ; Vitor A. Batista ; Rodolfo F. Resende ; Clarindo Isaías P.S. Pádua
Process Models
The Incremental Commitment Model Process Patterns for Rapid-Fielding Projects / Supannika Koolmanojwong
A Repository of Agile Method Fragments / Hesam Chiniforooshan Esfahani ; Eric Yu
OAP: Toward a Process for an Open World / Yuanzhi Wang
An Automatic Approach to Aid Process Integration within a Secure Software Processes Family / Jia-kuan Ma ; Ya-sha Wang ; Lei Shi ; Hong Mei
Engineering Adaptive IT Service Support Processes Using Meta-modeling Technologies / Beijun Shen ; Xin Huang ; Kai Zhou ; Wenwei Tang
Modeling a Resource-Constrained Test-and-Fix Cycle and Test Phase Duration / Dan Houston ; Man Lieu
Process Representation
Visual Patterns in Issue Tracking Data / Patrick Knab ; Martin Pinzger ; Harald C. Gall
Disruption-Driven Resource Rescheduling in Software Development Processes / Junchao Xiao ; Qing Wang ; Mingshu Li
MODAL: A SPEM Extension to Improve Co-design Process Models / Ali Koudri ; Joel Champeau
Process Analysis and Measurement
Application of Re-estimation in Re-planning of Software Product Releases / Ahmed Al-Emran ; Anas Jadallah ; Elham Paikari ; Dietmar Pfahl ; Günther Ruhe
Software Process Model Blueprints / Julio Ariel Hurtado Alegría ; Alejandro Lagos ; Alexandre Bergel ; María Cecilia Bastarrica
Measurement and Analysis of Process Audit: A Case Study / Fengdi Shu ; Qi Li ; Haopeng Zhang
A Fuzzy-Based Method for Evaluating the Trustworthiness of Software Processes / Ye Yang ; Xu Wang
Process Simulation Modeling
Software Process Simulation Modeling: An Extended Systematic Review / Barbara Kitchenham
SimSWE - A Library of Reusable Components for Software Process Simulation / Thomas Birkhölzer ; Ray Madachy ; Dan Port ; Harry Beitinger ; Michael Schuster ; Alexey Olkov
Applications of a Generic Work-Test-Rework Component for Software Process Simulation
Experience Reports and Empirical Studies
An Empirical Study of Lead-Times in Incremental and Agile Software Development / Kai Petersen
Improving the ROI of Software Quality Assurance Activities: An Empirical Study
Benchmarking the Customer Configuration Updating Process of the International Product Software Industry / Slinger Jansen ; Wouter Buts ; Sjaak Brinkkemper ; André van der Hoek
Author Index
Invited Talk
A Risk-Driven Decision Table for Software Process Selection / Barry W. Boehm
Process Alignment
42.

電子ブック

EB
Jan Vitek, Takeo Kanade
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2010
所蔵情報: loading…
目次情報: 続きを見る
Deep Meta-modelling with MetaDepth / Juan de Lara ; Esther Guerra
A Generic Meta-model-Based Approach for Specifying Framework Functionality and Usage / Fabian Christ ; Jan-Christopher Bals ; Gregor Engels ; Christian Gerth ; Markus Luckey
Loosely-Coupled Distributed Reactive Programming in Mobile Ad Hoc Networks / Andoni Lombide Carreton ; Stijn Mostinckx ; Tom Van Cutsem ; Wolfgang De Meuter
Understanding the Impact of Collection Contracts on Design / Stephen Nelson ; David J. Pearce ; James Noble
Reasoning about Function Objects / Martin Nordio ; Cristiano Calcagno ; Bertrand Meyer ; Peter Müller ; Julian Tschannen
Welterweight Java / Johan Östlund ; Tobias Wrigstad
Read-Only Execution for Dynamic Languages / Jean-Baptiste Arnaud ; Marcus Denker ; Stéphane Ducasse ; Damien Pollet ; Alexandre Bergel ; Mathieu Suen
Optimizing Aspect-Oriented Mechanisms for Embedded Applications / Christine Hundt ; Daniel Stöhr ; Sabine Glesner
Contract-Driven Testing of JavaScript Code / Phillip Heidegger ; Peter Thiemann
Late Binding of AspectJ Advice / Ryan M. Golbeck ; Peter Selby ; Gregor Kiczales
EriLex: An Embedded Domain Specific Language Generator / Hao Xu
Domain-Specific Program Checking / Lukas Renggli ; Tudor Gîrba ; Oscar Nierstrasz
Revisiting Parametric Types and Virtual Classes / Anders Bach Madsen ; Erik Ernst
Moles: Tool-Assisted Environment Isolation with Closures / Jonathan de Halleux ; Nikolai Tillmann
Encoding Ownership Types in Java / Nicholas Cameron
Visualizing Dynamic Metrics with Profiling Blueprints / Romain Robbes ; Walter Binder
Author Index
Deep Meta-modelling with MetaDepth / Juan de Lara ; Esther Guerra
A Generic Meta-model-Based Approach for Specifying Framework Functionality and Usage / Fabian Christ ; Jan-Christopher Bals ; Gregor Engels ; Christian Gerth ; Markus Luckey
Loosely-Coupled Distributed Reactive Programming in Mobile Ad Hoc Networks / Andoni Lombide Carreton ; Stijn Mostinckx ; Tom Van Cutsem ; Wolfgang De Meuter
43.

電子ブック

EB
M. Ali Babar, Takeo Kanade, Markku Oivo, Matias Vierimaa
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2010
所蔵情報: loading…
目次情報: 続きを見る
Keynote Addresses
Mobile Privacy Requirements on Demand / Bashar Nuseibeh
Lean Development - Potentials, Principles and Practices / Christof Ebert
Software Quality Assurance I
A Qualitative Survey of Regression Testing Practices / Emelie Engström ; Per Runeson
Investigating the Temporal Behavior of Defect Detection in Software Inspection and Inspection-Based Testing / Dietmar Winkler ; Stefan Biffl ; Kevin Faderl
Analysis of Bug Fixing Processes Using Program Slicing Metrics / Raula Gaikovina Kula ; Kyohei Fushida ; Shinji Kawaguchi ; Hajimu Iida
Agile Software Development
Systermatic Piloting of Agile Methods in the Large: Two Cases in Embedded Systems Development / Jeanette Heidenberg ; Mari Matinlassi ; Minna Pikkarainen ; Piia Hirkman ; Jari Partanen
Optimized Feature Distribution in Distributed Agile Environments / Ákos Szooke
Approaches to Agile Adoption in Large Settings: A Comparison of the Results from a Literature Analysis and an Industrial Inventory / Anna Rohunen ; Pilar Rodriguez ; Pasi Kuvaja ; Lech Krzanik ; Jouni Markkula
Software Quality Assurance II
Applying DPPI: A Defect Causal Analysis Approach Using Bayesian Networks / Marcos Kalinowski ; Emilia Mendes ; David N. Card ; Guilherme H. Travassos
Evaluating Three Approaches to Extracting Fault Data from Software Change Repositories / Tracy Hall ; David Bowes ; Gernot Liebchen ; Paul Wernick
Regularities in Learning Defect Predictors / Burak Turhan ; Ayse Bener ; Tim Menzies
Software Business
Business Value Is Not Only Dollars - Results from Case Study Research on Agile Software Projects / Zornitza Racheva ; Maya Daneva ; Klaas Sikkel ; Luigi Buglione
Critical Success Factors for Offshore Software Development Outsourcing Vendors: An Empirical Study / Siffat Ullah Khan ; Mahmood Niazi ; Rashid Ahmad
Impact of Corporate and Organic Growth on Software Development / Natalja Nikitina ; Mira Kajko-Mattsson
Software Systems
Prioritizing Countermeasures through the Countermeasure Method for Software Security (CM-Sec) / Dejan Baca ; Kai Petersen
Feedback in Context: Supporting the Evolution of IT-Ecosystems / Kurt Schneider ; Sebastian Meyer ; Maximilian Peters ; Felix Schliephacke ; Jonas Mörschbach ; Lukas Aguirre
Comparing Agile Processes for Agent Oriented Software Engineering / Alma M. Gómez-Rodríguez ; Juan C. González-Moreno
Standardizing the Software Tag in Japan for Transparency of Development / Masateru Tsunoda ; Tomoko Matsumura ; Kozo Kubo ; Shinji Kusumoto ; Katsuro Inoue ; Ken-ichi Matsumoto
Process Quality I
Discovering Software Process and Product Quality Criteria in Software as a Service / Maiara Heil Cancian ; Jean Carlo Rossa Hauck ; Christiane Gresse von Wangenheim ; Ricardo José Rabelo
A Maturity Model for IT Dependability in Emergency Management / Kim Weyns ; Martin Höst ; Yeni Li Helgesson
Dependency Analysis between CMMI Process Areas / Paula Monteiro ; Ricardo J. Machado ; Rick Kazman ; Cristina Henriques
Software Measurement
Productivity Reanalysis for Unbalanced Datasets with Mixed-Effects Models / Sousuke Amasaki
SAS: A Tool for the GQM+Strategies Grid Derivation Process / Vladimir Mandic ; Markku Oivo
Understanding the Influential Factors to Development Effort in Chinese Software Industry / Mei He ; He Zhang ; Ye Yang ; Qing Wang ; Mingshu Li
Process Quality II
Lean Management of Software Processes and Factories Using Business Process Modeling Techniques / Javier Berrocal ; José García-Alonso ; Juan Manuel Murillo
Improving Efficiency of Change Impact Assessment Using Graphical Requirement Specifications: An Experiment / Niklas Mellegård ; Miroslaw Staron
Vague Project Start Makes Project Success of Outsourced Software Development Projects Uncertain / Paula Savolainen
Software Process Improvement
The Rosetta Stone Methodology - A Benefits Driven Approach to Software Process Improvement / Fionbarr McLoughlin ; Ita Richardson
Defining and Monitoring Strategically Aligned Software Improvement Goals / Andrea Oliveira Soares Barreto ; Ana Regina Rocha
A Strategy for Painless Harmonization of Quality Standards: A Real Case / Maria Teresa Baldassarre ; Danilo Caivano ; Francisco J. Pino ; Mario Piattini ; Giuseppe Visaggio
Author Index
Keynote Addresses
Mobile Privacy Requirements on Demand / Bashar Nuseibeh
Lean Development - Potentials, Principles and Practices / Christof Ebert
44.

電子ブック

EB
Roel Wieringa, Takeo Kanade, Anne Persson
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2010
所蔵情報: loading…
目次情報: 続きを見る
Keynote
Keynote Talk Piecing Together the Requirements Jigsaw-Puzzle / Ian Alexander
Decision-Making in Requirements Engineering
Understanding the Scope of Uncertainty in Dynamically Adaptive Systems / Kristopher Welsh ; Pete Sawyer
Use of Personal Values in Requirements Engineering - A Research Preview / Rumyana Proynova ; Barbara Paech ; Andreas Wicht ; Thomas Wetter
Requirements and Systems Architecture Interaction in a Prototypical Project: Emerging Results / Remo Ferrari ; Oliver Sudmann ; Christian Henke ; Jens Geisler ; Wilhelm Schafer ; Nazim H. Madhavji
Scanarious and Elicitation
Videos vs. Use Cases: Can Videos Capture More Requirements under Time Pressure / Olesia Brill ; Kurt Schneider ; Eric Knauss
Supporting the Consistent Specification of Scenarios across Multiple Abstraction Levels / Ernst Sikora ; Marian Daun ; Klaus Pohl
Product Families I
Requirements Value Chains: Stakeholder Management and Requirements Engineering in Software Ecosystems / Samuel Fricker
Binary Priority List for Prioritizing Software Requirements / Thomas Bebensee ; Inge van de Weerd ; Sjaak Brinkkemper
Requirements Patterns
Towards a Framework for Specifying Software Robustness Requirements Based on Patterns / Ali Shahrokni ; Robert Feldt
A Metamodel for Software Requirement Patterns / Xavier Franch ; Cristina Palomares ; Carme Quer ; Samuel Renault ; François De Lazzer
Validation of the Effectiveness of an Optimized EPMcreate as an Aid for Creative Requirements Elicitation / Victoria Sakhnini ; Daniel M. Berry ; Luisa Mich
Product Families II
Towards Multi-view Feature-Based Configuration / Arnaud Hubaux ; Patrick Heymans ; Pierre-Yves Schobbens ; Dirk Deridder
Evaluation of a Method for Proactively Managing the Evolving Scope of a Software Product Line / Karina Villela ; Jörg Dörr ; Isabel John
Requirements Engineering in Practice
Challenges in Aligning Requirements Engineering and Verification in a Large-Scale Industrial Context / Giedre Sabaliauskaite ; Annabella Loconsole ; Emelie Engström ; Michael Unterkalmsteiner ; Björn Regnell ; Per Runeson ; Tony Gorschek
On the Perception of Software Quality Requirements during the Project Lifecycle / Neil A. Ernst ; John Mylopoulos
Lessons Learned from Integrating Specification Templates, Collaborative Workshops, and Peer Reviews / Marko Komssi ; Marjo Kauppinen ; Kimmo Toro ; Raimo Soikkeli ; Eero Uusitalo
A Case Study on Tool-Supported Multi-level Requirements Management in Complex Product Families / Margot Bittner ; Mark-Oliver Reiser ; Matthias Weber
Natural Language
A Domain Ontology Building Process for Guiding Requirements Elicitation / Inah Omoronyia ; Guttorm Sindre ; Tor Stålhane ; Stefan Biffl ; Thomos Moser ; Wikan Sunindyo
Tackling Semi-automatic Trace Recovery for Large Specifications / Jörg Leuser ; Daniel Ott
Ambiguity Detection: Towards a Tool Explaining Ambiguity Sources / Benedikt Gleich ; Oliver Creighton ; Leonid Kof
Ambiguity in Natural Language Software Requirements: A Case Study / Fabian de Bruijn ; Hans L. Dekkers
Security Requirements
On the Role of Ambiguity in RE / Vincenzo Gervasi ; Didar Zowghi
Towards a Framework to Elicit and Manage Security and Privacy Requirements from Laws and Regulations / Shareeful Islam ; Haralambos Mouratidis ; Stefan Wagner
Visualizing Cyber Attacks with Misuse Case Maps / Peter Karpati ; Andreas L. Opdahl
Poster
How Do Software Architects consider Non-Functional Requirements: A Survey / David Ameller
Author Index
Keynote
Keynote Talk Piecing Together the Requirements Jigsaw-Puzzle / Ian Alexander
Decision-Making in Requirements Engineering
45.

電子ブック

EB
George T. Heineman, Takeo Kanade, Jan Kofron, Frantisek Plasil
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2010
所蔵情報: loading…
目次情報: 続きを見る
Abstracts of the Keynotes
Intrinsic Definition in Software Architecture Evolution / Jeffrey N. Magee
A Component-Based Approach to Adaptive User-Centric Pervasive Applications / Martin Wirsing
Model-Driven Analysis
Validating Model-Driven Performance Predictions on Random Software Systems / Vlastimil Babka ; Petr Tuma ; Lubomír Bulej
Statistical Inference of Software Performance Models for Parametric Performance Completions / Jens Happe ; Dennis Westermann ; Kai Sachs ; Lucia Kapová
Parameterized Reliability Prediction for Component-Based Software Architectures / Franz Brosch ; Heiko Koziolek ; Barbora Buhnova ; Ralf Reussner
Architecture-Driven Reliability and Energy Optimization for Complex Embedded Systems / Indika Meedeniya ; Aldeida Aleti ; Lars Grunske
Quality of Service Adaptation
QoS Driven Dynamic Binding in-the-many / Carlo Ghezzi ; Alfredo Motta ; Valeria Panzica La Manna ; Giordano Tamburrelli
A Hybrid Approach for Multi-attribute QoS Optimisation in Component Based Software Systems / Anne Martens ; Danilo Ardagna ; Raffaela Mirandola
Using QoS-Contracts to Drive Architecture-Centric Self-adaptation / Franck Chauvel ; Hui Song ; Xiangping Chen ; Gang Huang ; Hong Mei
Case Studies and Experience Reports
Is BPMN Really First Choice in Joint Architecture Development? An Empirical Study on the Usability of BPMN and UML Activity Diagrams for Business Users / Dominik Birkmeier ; Sven Overhage
Barriers to Modularity - An Empirical Study to Assess the Potential for Modularisation of Java Programs / Jens Dietrich ; Catherine McCartin ; Ewan Tempero ; Syed M. Ali Shah
Evaluating Maintainability with Code Metrics for Model-to-Model Transformations / Thomas Goldschmidt ; Steffen Becker ; Jörg Henss
Good Architecture = Good (ADL + Practices) / Vincent Le Gloahec ; Régis Fleurquin ; Salah Sadou
Author Index
Abstracts of the Keynotes
Intrinsic Definition in Software Architecture Evolution / Jeffrey N. Magee
A Component-Based Approach to Adaptive User-Centric Pervasive Applications / Martin Wirsing
46.

電子ブック

EB
Benoît Baudry, Takeo Kanade, Eric Wohlstadter
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2010
所蔵情報: loading…
目次情報: 続きを見る
Model Composition
Composing Models at Two Modeling Levels to Capture Heterogeneous Concerns in Requirements / Erwan Brottier ; Yves Le Traon ; Bertrand Nicolas
Managing Variability in Workflow with Feature Model Composition Operators / Mathieu Acher ; Philippe Collet ; Philippe Lahire ; Robert France
Context-Orientation and Domain-Specific Composition
Composition and Compositionality in a Component Model for Autonomous Robots / Olena Rogovchenko ; Jacques Malenfant
Event-Specific Software Composition in Context-Oriented Programming / Malte Appeltauer ; Robert Hirschfeld ; Hidehiko Masuhara ; Michael Haupt ; Kazunori Kawauchi
Predicated Generic Functions: Enabling Context-Dependent Method Dispatch / Jorge Vallejos ; Sebastián González ; Pascal Costanza ; Wolfgang De Meuter ; Theo D'Hondt ; Kim Mens
Composing Services
Dynamically Adaptive Systems through Automated Model Evolution Using Service Compositions / Adina Mosincat ; Walter Binder ; Mehdi Jazayeri
Visualizing and Assessing a Compositional Approach of Business Process Design / Sebastien Mosser ; Alexandre Bergel ; Mireille Blay-Fornarino
Languages
Construction of Asynchronous Communicating Systems: Weak Termination Guaranteed / Kees M. van Hee ; Natalia Sidorova ; Jan Martijn van der Werf
An Advice for Advice Composition in AspectJ / Furminobu Takeyama ; Shigeru Chiba
The .NET Primitives for Open, Dynamic and Reflective Component Frameworks / Mircea Trofin ; Nicholas Blumhardt ; Clemens Szyperski
Author Index
Model Composition
Composing Models at Two Modeling Levels to Capture Heterogeneous Concerns in Requirements / Erwan Brottier ; Yves Le Traon ; Bertrand Nicolas
Managing Variability in Workflow with Feature Model Composition Operators / Mathieu Acher ; Philippe Collet ; Philippe Lahire ; Robert France
47.

電子ブック

EB
Laurence Tratt, Martin Gogolla, Takeo Kanade
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2010
所蔵情報: loading…
目次情報: 続きを見る
Invited Paper
Search Computing: A Model-Driven Perspective / Marco Brambilla ; Stefano Ceri ; Massimo Tisi
Research Papers
Domain-Specific Composition of Model Deltas / Maider Azanza ; Don Batory ; Oscar Díaz ; Salvador Trujillo
Temporal Model-Based Diagnostics Generation for HVAC Control Systems / Marion Behrens ; Gregory Provan
Synthesis of OCL Pre-conditions for Graph Transformation Rules / Jordi Cabot ; Robert Clarisó ; Esther Guerra ; Juan de Lara
From State- to Delta-Based Bidirectional Model Transformations / Zinovy Diskin ; Yingfei Xiong ; Krzysztof Czarnecki
A Constructive Approach to Testing Model Transformations / Camillo Fiorentini ; Alberto Momigliano ; Mario Ornaghi ; Iman Poernomo
From Sequence Diagrams to State Machines by Graph Transformation / Roy Grønmo ; Birger Møller-Pedersen
Safe Composition of Transformation / Florian Heidenreich ; Jan Kopcsek ; Uwe A?mann
Towards Incremental Execution of ATL Transformations / Frédéric Jouault
Constructing and Navigating Non-invasive Model Decorations / Dimitrios S. Kolovos ; Louis M. Rose ; Nikolaos Drivalos Matragkas ; Richard F. Paige ; Fiona A.C. Polack ; Kiran J. Fernandes
Model-to-Model Transformations By Demonstration / Philip Langer ; Manuel Wimmer ; Gerti Kappel
Implementing Business Process Recovery Patterns through QVT Transformations / Ricardo Pérez-Castillo ; Ignacio García-Rodríguez de Guzmán ; Mario Piattini
Model Migration with Epsilon Flock / Fiona A. C. Polack
Exceptional Transformations / Eugene Syriani ; Jörg Kienzle ; Hans Vangheluwe
Improving Higher-Order Transformations Support in ATL
Towards a Rewriting Logic Semantics for ATL / Javier Troya ; Antonia Vallecillo
Metamodel Matching Based on Planar Graph Edit Distance / Konrad Voigt ; Thomas Heinze
Surviving the Heterogeneity Jungle with Composite Mapping Operators / Angelika Kusel ; Werner Retschitzegger ; Johannes Schoenboeck ; Wieland Schwinger
Author Index
Invited Paper
Search Computing: A Model-Driven Perspective / Marco Brambilla ; Stefano Ceri ; Massimo Tisi
Research Papers
48.

電子ブック

EB
Paulo Borba, Ana Cavalcanti, Takeo Kanade, Augusto Sampaio, Jim Woodcook
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2010
所蔵情報: loading…
目次情報: 続きを見る
Software Testing: An Overview / Patrícia Machado ; Auri Vincenzi ; José Carlos Maldonado
Functional, Control and Data Flow, and Mutation Testing: Theory and Practice / Márcio Delamaro ; Erika Höhn
Automatic Test-Case Generation / Augusto Sampaio
Testing a Software Product Line / John D. McGregor
Parameterized Unit Testing with Pex: Tutorial / Nikolai Tillmann ; Jonathan de Halleux ; Wolfram Schulte
Software Tool Issues / Michael Hennell
Software Testing Based on Formal Specification / Marie-Claude Gaudel
A Systematic Introduction to Mutation Testing in Unifying Theories of Programming / Bernhard K. Aichernig
Author Index
Software Testing: An Overview / Patrícia Machado ; Auri Vincenzi ; José Carlos Maldonado
Functional, Control and Data Flow, and Mutation Testing: Theory and Practice / Márcio Delamaro ; Erika Höhn
Automatic Test-Case Generation / Augusto Sampaio
49.

電子ブック

EB
Roman Wyrzykowski, Jack Dongarra, Takeo Kanade, Konrad Karczewski, Jerzy Wasniewski
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2010
所蔵情報: loading…
目次情報: 続きを見る
Parallel/Distributed Architectures and Mobile Computing
Evaluating Performance of New Quad-Core Intel"Xeon"5500 Family Processors for HPC / Pawel Gepner ; David L. Fraser ; Michal F. Kowalik
Interval Wavelength Assignmentin All-Optical Star Networks / Robert Janczewski ; Anna Malafiejska ; Michal Malafiejski
Graphs Partitioning: An Optimal MIMD Queueless Routing for BPC-Permutations on Hypercubes / Jean-Pierre Jung ; Ibrahima Sakho
Probabilistic Packet Relaying in Wireless Mobile Ad Hoc Networks / Marcin Seredynski ; Tomasz Ignac ; Pascal Bouvry
Numerical Algorithms and Parallel Numerics
On the Performance of a New Parallel Algorithm for Large-Scale Simulations of Nonlinear Partial Differential Equations / Juan A. Acebrón ; Ángel Rodríguez-Rozas ; Renato Spigler
Partial Data Replication as a Strategy for Parallel Computing of the Multilevel Discrete Wavelet Transform / Liesner Acevedo ; Victor M. Garcia ; Antonio M. Vidal ; Pedro Alonso
Dynamic Load Balancing for Adaptive Parallel Flow Problems / Stanislaw Gepner ; Jerzy Majewski ; Jacek Rokicki
A Balancing Domain Decomposition Method for a Discretization of a Plate Problem on Nonmatching Grids / Leszek Marcinkowski
Application Specific Processors for the Autoregressive Signal Analysis / Anatolij Sergiyenko ; Oleg Maslennikow ; Piotr Ratuszniak ; Natalia Maslennikowa ; Adam Tomas
A Parallel Non-square Tiled Algorithm for Solving a Kind of BVP for Second-Order ODEs / Przemyslaw Stpiczynski
Graph Grammar Based Petri Nets Model of Concurrency for Self-adaptive hp-Finite Element Method with Rectangular Elements / Arkadiusz Szymczak ; Maciej Paszynski
Numerical Solution of the Time and Rigidity Dependent Three Dimensional Second Order Partial Differential Equation / Anna Wawrzynczak ; Michael V. Alania
Hardware Implementation of the Exponent Based Computational Core for an Exchange-Correlation Potential Matrix Generation / Maciej Wielgosz ; Ernest Jamro ; Kazimierz Wiatr
Parallel Implementation of Conjugate Gradient Method on Graphics Processors / Marcin Wozniak ; Tomasz Olas ; Roman Wyrzykowski
Iterative Solution of Linear and Nonlinear Boundary Problems Using PIES / Eugeniusz Zieniuk ; Agnieszka Boltuc
Paralel and Distributed Non-numerical Algorithms
Implementing a Parallel Simulated Annealing Algorithm / Zbigniew J. Czech ; Wojciech Mikanik ; Rafat Skinderowicz
Parallel Computing Scheme for Graph Grammar-Based Syntactic Pattern Recognition / Mariusz Flasinski ; Janusz Jurek ; Szymon Myslinski
Extended Cascaded Star Schema for Distributed Spatial Data Warehouse / Marcin Gorawski
Parallel Longest Increasing Subsequences in Scalable Time and Memory / Peter Krusche ; Alexander Tiskin
A Scalable Parallel Union-Find Algorithm for Distributed Memory Computers / Fredrik Manne ; Md. Mostofa Ali Patwary
Tools and Environments for Parallel/Distributed/Grid Computing
Extracting Both Affine and Non-linear Synchronization-Free Slices in Program Loops / Wlodzimierz Bielecki ; Marek Palkowski
A Flexible Checkpoint/Restart Model in Distributed Systems / Mohamed-Slim Bouguerra ; Thierry Gautier ; Denis Trystram ; Jean-Marc Vincent
A Formal Approach to Replica Consistency in Directory Service / Jerzy Brzezinski ; Cezary Sobaniec ; Dariusz Wawrzyniak
Software Security in the Model for Service Oriented Architecture Quality / Grzegorz Kolaczek ; Adam Wasilewski
Automatic Program Parallelization for Multicore Processors / Jan Kwiatkowski ; Radoslaw Iwaszyn
Request Distribution in Hybrid Processing Environments / Mariusz Fras ; Marcin Pawlik ; Dariusz Konieczny
Vine Toolkit - Grid-Enabled Portal Solution for Community Driven Computing Workflows with Meta-Scheduling Capabilities / Dawid Szejnfeld ; Piotr Domagalski ; Piotr Dziubecki ; Piotr Kopta ; Michal Krysinski ; Tomasz Kuczynski ; Krzysztof Kurowski ; Bogdan Ludwiczak ; Jaroslaw Nabrzyski ; Tomasz Piontek ; Dominik Tarnawczyk ; Krzysztof Witkowski ; Malgorzata Wolniewicz
Applications of Parallel/Distributed Computing
GEM - A Platform for Advanced Mathematical Geosimulations / Radim Blaheta ; Ondrej Jakl ; Roman Kohut ; Jirí Starý
Accelerating the MilkyWay@Home Volunteer Computing Project with GPUs / Travis Desell ; Anthony Waters ; Malik Magdon-Ismail ; Boleslaw K. Szymanski ; Carlos A. Varela ; Matthew Newby ; Heidi Newberg ; Andreas Przystawik ; David Anderson
Vascular Network Modeling - Improved Parallel Implementation on Computing Cluster / Krzysztof Jurczuk ; Marek Kretowski ; Johanne Bézy- Wendling
Parallel Adaptive Finite Element Package with Dynamic Load Balancing for 3D Thermo-Mechanical Problems / Robert Lesniak
Parallel Implementation of Multidimensional Scaling Algorithm Based on Particle Dynamics / Piotr Pawliczek ; Witold Dzwinel
Particle Model of Tumor Growth and Its Parallel Implementation / Rafal Wcislo
Applied Mathematics and Neural Networks
Modular Neuro-Fuzzy Systems Based on Generalized Parametric Triangular Norms / Marcin Korytkowski ; Rafal Scherer
Application of Stacked Methods to Part-of-Speech Tagging of Polish / Marcin Kuta ; Wojciech Wójcik ; Michal Wrzeszcz ; Jacek Kitowski
Computationally Efficient Nonlinear Predictive Control Based on State-Space Neural Models / Maciej lawrynczuk
Relational Type-2 Interval Fuzzy Systems / Janusz T. Starczewski
Properties of Polynomial Bases Used in a Line-Surface Intersection Algorithm / Gun Srijuntongsiri ; Stephen A. Vavasis
Minisymposium on GPU Computing
A GPU Approach to the Simulation of Spatio-temporal Dynamics in Ultrasonic Resonators / Pedro Alonso-Jordá ; Isabel Pérez-Arjona ; Victor J. Sánchez-Morcillo
Reduction to Condensed Forms for Symmetric Eigenvalue Problems on Multi-core Architectures / Paolo Bientinesi ; Francisco D. Igual ; Daniel Kressner ; Enrique S. Quintana-Ortí
On Parallelizing the MRRR Algorithm for Data-Parallel Coprocessors / Christian Lessig
Fast In-Place Sorting with CUDA Based on Bitonic Sort / Hagen Peters ; Ole Schulz-Hildebrandt ; Norbert Luttenberger
Finite Element Numerical Integration on GPUs / Przemyslaw Plaszewski ; Pawel Maciol ; Krzysztof Banas
Modeling and Optimizing the Power Performance of Large Matrices Multiplication on Multi-core and GPU Platform with CUDA / Da Qi Ren ; Reiji Suda
Stream Processing on GPUs Using Distributed Multimedia Middleware / Michael Repplinger ; Philipp Slusallek
Simulations of the Electrical Activity in the Heart with Graphic Processing Units / Bernardo M. Rocha ; Fernando O. Campos ; Gernot Plank ; Rodrigo W. dos Santos ; Manfred Liebmann ; Gundolf Haase
Parallel Minimax Tree Searching on GPU / Kamil Rocki
A Fast GPU Implementation for Solving Sparse Ill-Posed Linear Equation Systems / Florian Stock ; Andreas Koch
The Second Minisymposium on Cell/B.E. Technologies
Monte Carlo Simulations of Spin Glass Systems on the Cell Broadband Engine / Francesco Belletti ; Marco Guidetti ; Andrea Maiorano ; Filippo Mantovani ; Sebastiano Fabio Schifano ; Raffaele Tripiccione
Montgomery Multiplication on the Cell / Joppe W. Bos ; Marcelo E. Kaihara
An Exploration of CUDA and CBEA for Einstein@Home / Jens Breitbart ; Gaurav Khanna
Introducing the Semi-stencil Algorithm / Raúl de la Cruz ; Mauricio Araya-Polo ; José María Cela
Astronomical Period Searching on the Cell Broadband Engine / Maciej Cytowski ; Maciej Remiszewski ; Igor Soszynski
Finite Element Numerical Integration on PowerXCell Processors / Filip Kruzel
The Implementation of Regional Atmospheric Model Numerical Algorithms for CBEA-Based Clusters / Dmitry Mikushin ; Victor Stepanenko
Adaptation of Double-Precision Matrix Multiplication to the Cell Broadband Engine Architecture / Krzysztof Rojek ; Lukasz Szustak
Optimization of FDTD Computations in a Streaming Model Architecture / Adam Smyk ; Marek Tudruj
Workshop on Memory Issues on Multi- and Manycore Platforms
An Orthogonal Matching Pursuit Algorithm for Image Denoising on the Cell Broadband Engine / Dominik Bartuschat ; Markus Stürmer ; Harald Köstler
A Blocking Strategy on Multicore Architectures for Dynamically Adaptive PDE Solvers / Wolfgang Eckhardt ; Tobias Weinzierl
Affinity-On-Next-Touch: An Extension to the Linux Kernel for NUMA Architectures / Stefan Lankes ; Boris Bierbaum ; Thomas Bemmerl
Multi-CMP Module System Based on a Look-Ahead Configured Global Network / Eryk Laskowski ; Lukasz Masko
Empirical Analysis of Parallelism Overheads on CMPs / Ami Marowka
An Implementation of Parallel 3-D FFT with 2-D Decomposition on a Massively Parallel Cluster of Multi-Core Processors / Daisuke Takahashi
Introducing a Performance Model for Bandwidth-Limited Loop Kernels / Jan Treibig ; Georg Hager
Author Index
Parallel/Distributed Architectures and Mobile Computing
Evaluating Performance of New Quad-Core Intel"Xeon"5500 Family Processors for HPC / Pawel Gepner ; David L. Fraser ; Michal F. Kowalik
Interval Wavelength Assignmentin All-Optical Star Networks / Robert Janczewski ; Anna Malafiejska ; Michal Malafiejski
50.

電子ブック

EB
Roman Wyrzykowski, Jack Dongarra, Takeo Kanade, Konrad Karczewski, Jerzy Wasniewski
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2010
所蔵情報: loading…
51.

電子ブック

EB
Danny Weyns, Jesper Andersson, Takeo Kanade, Rogério Lemos, Sam Malek
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2010
所蔵情報: loading…
52.

電子ブック

EB
Gary T. Leavens, Takeo Kanade
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2010
所蔵情報: loading…
目次情報: 続きを見る
Invited Talk
Towards Scalable Modular Checking of User-Defined Properties / Thomas Ball ; Brian Hackett ; Shuvendu K. Lahiri ; Shaz Qadeer ; Julien Vanegue
Verification Techniques
Tressa: Claiming the Future / Ali Sezgin ; Serdar Tasiran
Automated Verification of a Small Hypervisor / Eyad Alkassar ; Mark A. Hillebrand ; Wolfgang J. Paul ; Elena Petrova
Verification of Low-Level Code
A Rely-Guarantee Proof System for x86-TSO / Tom Ridge
Pervasive Verification of an OS Microkernel: Inline Assembly, Memory Consumption, Concurrent Devices / Artem Starostin ; Alexandra Tsyban
The L4.verified Project - Next Steps / Gerwin Klein
Requirements and Specifications
An Approach of Requirements Tracing in Formal Refinement / Michael Jastram ; Stefan Hallerstede ; Michael Leuschel ; Aryldo G. Russo Jr
Dafny Meets the Verification Benchmarks Challenge / K. Rustan M. Leino ; Rosemary Monahan
Specifying Reusable Components / Nadia Polikarpova ; Carlo A. Furia ; Bertrand Meyer
Reusable Verification of a Copying Collector / Magnus O. Myreen
To Goto Where No Statement Has Gone Before / Mike Barnett
The Next 700 Separation Logics (Invited Paper) / Matthew Parkinson
Locality in Reasoning
Local Reasoning and Dynamic Framing for the Composite Pattern and Its Clients / Stan Rosenberg ; Anindya Banerjee ; David A. Naumann
Abstraction and Refinement for Local Reasoning / Thomas Dinsdale-Young ; Philippa Gardner ; Mark Wheelhouse
Author Index
Invited Talk
Towards Scalable Modular Checking of User-Defined Properties / Thomas Ball ; Brian Hackett ; Shuvendu K. Lahiri ; Shaz Qadeer ; Julien Vanegue
Verification Techniques
53.

電子ブック

EB
Muhammad Ali Babar, Ian Gorton, Takeo Kanade
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2010
所蔵情報: loading…
目次情報: 続きを見る
Keynote Talks
Architecture in the Age of Compositionality / Jan Bosch
Where Did All This Good Architectural Knowledge Go? / Philippe Kruchten
REST in Practice / Jim Webber
Full Research Papers
An ADL-Approach to Specifying and Analyzing Centralized-Mode Architectural Connection / Guoxin Su ; Mingsheng Ying ; Chengqi Zhang
Naive Architecting - Understanding the Reasoning Process of Students: A Descriptive Survey / Uwe van Heesch ; Paris Augeriou
Towards Architecture-Centric Software Generation / Chung-Horng Lung ; Balasangar Balasubramaniam ; Kamalachelva Selvarajah ; Poopalasinkam Elankeswaran ; Umatharan Gopalasundaram
An Architectural Blueprint for Model Driven Development and Maintenance of Business Logic for Information Systems / Tobias Brückmann ; Volker Gruhn
A Model for Dynamic Reconfiguration in Service-Oriented Architectures / José Luiz Fiadeiro ; Antónia Lopes
Integrating Requirements and Design Decisions in Architecture Representation / Rainer Weinreich ; Georg Buchgeher
Flexible Working Architectures: Agile Architecting Using PPCs / Jennifer Pérez ; Jessica Díaz ; Juan Garbajosa ; Pedro P. Alarcón
Lightweight and Continuous Architectural Software Quality Assurance Using the aSQA Technique / Henrik Bærbak Christensen ; Klaus Marius Hansen ; Bo Lindstrøm
An Architectural Approach to Composing Reputation-Based Distributed Services / Suronapee Phoomvuthisarn ; Yan Liu ; Liming Zhu
Automated Detection of Least Privilege Violations in Software Architectures / Riccardo Scandariato ; Koen Buyens ; Wouter Joosen
Architecting a Model-Driven Aspect-Oriented Product Line for a Digital TV Middleware: A Refactoring Experience / Diego Saraiva ; Lucas Pereira ; Thais Batista ; Flávia C. Delicato ; Paulo F. Pires ; Uirá Kulesza ; Rodrigo Araújo ; Tássia Freitas ; Sindolfo Miranda ; Ana Liz Souto ; Roberta Coelho
Impact Evaluation for Quality-Oriented Architectural Decisions regarding Evolvability / Stephan Bode ; Matthias Riebisch
Functional Architecture Modeling for the Software Product Industry / Sjaak Brinkkemper ; Stella Pachidi
Experiences from Scenario-Based Architecture Evaluations with ATAM / Ville Reijonen ; Johannes Koskinen ; Ilkka Haikala
Feature-Based Composition of Software Architectures / Carlos Parra ; Anthony Cleve ; Xavier Blanc ; Laurence Duchien
Linking Design Decisions to Design Models in Model-Based Software Development / Patrick Könemann ; Olaf Zimmermann
Customer Value in Architecture Decision Making / Ana Ivanovic ; Pierre America
A Formal Approach to Enforcing Consistency in Self-adaptive Systems / Najla Hadj Kacem ; Ahmed Hadj Kacem ; Khalil Drira
Architecture-Centric Component-Based Development Needs a Three-Level ADL / Huaxi (Yulin) Zhang ; Christelle Urtado ; Sylvain Vauttier
Emerging Research Papers
Dynamic Architectural Constraints Monitoring and Reconfiguration in Service Architectures / Jose John ; MingXue Wang ; Claus Pahl
Using Domain Knowledge to Boost Software Architecture Evaluation / Veli-Pekka Eloranta ; Kai Koskimies
Independently Extensibile Contexts / Martin Rytter ; Bo Nørregaard Jørgensen
Mediating Connector Patterns for Components Interoperability / Romina Spalazzese ; Paola Inverardi
Assessing the Impact of AOSD on Layered Software Architectures / Juliana Saraiva ; Sérgio Soares ; Fernando Castor
Explaining Architectural Choices to Non-architects / Diego Bernini ; Francesco Tisato
Reference Models and Reference Architectures Based on Service-Oriented Architecture: A Systematic Review / Lucas Bueno Ruas de Oliveira ; Katia Romero Felizardo ; Daniel Feitosa ; Elisa Yumi Nakagawa
A Classification of Value for Software Architecture Decisions / Ulrik Eklund ; Thomas Arts
BeeEye: A Framework for Constructing Architectural Views / Hervé Verjus ; Sorana Cîmpan ; Azadeh Razavizadeh ; Stéphane Ducasse
Facilitating the Selection of Architectural Patterns by Means of a Marked Requirements Model / Javier Berrocal ; José García-Alonso ; Juan Manuel Murillo
Modelling Changes and Data Transfers for Architecture-Based Runtime Evolution of Distributed Applications / An Phung-Khac ; Jean-Marie Gilliot ; Maria-Teresa Segarra ; Antoine Beugnard ; Eveline Kaboré
Mining Relationships between the Participants of Architectural Patterns / Ahmad Waqas Kamal ; Paris Avgeriou
Software Architecture Recovery Process Based on Object-Oriented Source Code and Documentation / Sylvain Chardigny ; Abdelhak Seriai
Ontological Analysis for Generating Baseline Architectural Descriptions / Arvind W. Kiwelekar ; Rushikesh K. Joshi
Experiences in Making Architectural Decisions during the Development of a New Base Station Platform / Juha Savolainen ; Juha Kuusela ; Tomi Männistö ; Aki Nyyssönen
On the Role of Architectural Styles in Improving the Adaptation Support of Middleware Platforms / Naeem Esfahani ; Sam Malek
Context-Aware Quality Model Driven Approach: A New Approach for Quality Control in Pervasive Computing Environments / Adel Alti ; Abdellah Boukerram ; Philippe Roose
Many to Many Service Discovery: A First Approach / Anthony Hock-koon ; Mourad Oussalah
Communicating Architectural Knowledge: Requirements for Software Architecture Knowledge Management Tools / Widura Schwittek ; Stefan Eicker
Specifying Loose Coupling from Existing Service Composition Approaches
Research Challenges Papers
Dynamic Adaptive Service Architecture - Towards Coordinated Service Composition
Identity Management Mismatch Challenges in the Danish Municipality Administration System / Mads Schaarup Andersen
From Web Components to Web Services: Opening Development for Third Parties / Chouki Tibermacine ; Mohamed Lamine Kerdoudi
Learning from the Cell Life-Cycle: A Self-adaptive Paradigm / Antinisca Di Marco ; Francesco Gallo ; Rodolfo Ippoliti
Toward an Aspect Oriented ADL for Embedded Systems / Sihem Loukil ; Slim Kallel ; Bechir Zalila ; Mohamed Jmaiel
On the Need of Safe Software Product Line Architectures / Roberto E. Lopez-Herrejon ; Alexander Egyed
Expert Activities Automation through Enhanced Business Services Orchestration / Asta Krupaviciute ; Jocelyne Fayn
Architecture Decision-Making in Support of Complexity Control / Andrzej Zalewski ; Szymon Kijas
Software Architecture Constraints as Customizable, Reusable and Composable Entities / Christophe Dony ; Salah Sadou ; Luc Fabresse
A Framework for Dynamic Self-optimization of Power and Dependability Requirements in Green Cloud Architectures / Rami Bahsoon
Identifying Architectural Connectors through Formal Concept Analysis of Communication Primitives
Tool Demo Papers
MDA Tool for Telecom Service Functional Design / Ankit Ahuja ; Jacques Simonin ; Rémi Nedelec
A NUI Based Multiple Perspective Variability Modeling CASE Tool / Rabih Bashroush
ByADL: An MDE Framework for Building Extensible Architecture Description Languages / Davide Di Ruscio ; Ivano Malavolta ; Henry Muccini ; Patrizio Pelliccione ; Alfonso Pierantonio
Author Index
Keynote Talks
Architecture in the Age of Compositionality / Jan Bosch
Where Did All This Good Architectural Knowledge Go? / Philippe Kruchten
54.

電子ブック

EB
Gianluca Tempesti, Takeo Kanade, Julian F. Miller, Andy M. Tyrrell
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2010
所蔵情報: loading…
目次情報: 続きを見る
Evolving Digital Circuits / Session 1:
Measuring the Performance and Intrinsic Variability of Evolved Circuits / James Alfred Walker ; James A. Hilder ; Andy M. Tyrrell
An Efficient Selection Strategy for Digital Circuit Evolution / Zbyšek Gajda ; Lukáš Sekanina
Introducing Flexibility in Digital Circuit Evolution: Exploiting Undefined Values in Binary Truth Tables / Ricky D. Ledwith ; Julian F. Miller
Evolving Digital Circuits Using Complex Building Blocks / Paul Bremner ; Mohammad Samie ; Gabriel Dragffy ; Tony Pipe
Artificial Development / Session 2:
Fault Tolerance of Embryonic Algorithms in Mobile Networks / David Lowe ; Amir Mujkanovic ; Daniele Miorandi ; Lidia Yamamoto
Evolution and Analysis of a Robot Controller Based on a Gene Regulatory Network / Martin A. Trefzer ; Tüze Kuyucu ; Julian F Miller
A New Method to Find Developmental Descriptions for Digital Circuits / Mohammad Ebne-Alian ; Nawwaf Kharma
Sorting Network Development Using Cellular Automata / Michal Bidlo ; Zdenek Vasicek ; Karel Slany
GPU Platforms for Bio-inspired Algorithms / Session 3:
Markerless Articulated Human Body Tracking from Multi-view Video with GPU-PSO / Luca Mussi ; Spela Ivekovic ; Stefano Cagnoni
Evolving Object Detectors with a GPU Accelerated Vision System / Marc Ebner
Systemic Computation Using Graphics Processors / Marjan Rouhipour ; Peter J. Bentley ; Hooman Shayani
Implementations and Applications of Neural Networks / Session 4:
An Efficient, High-Throughput Adaptive NoC Router for Large Scale Spiking Neural Network Hardware Implementations / Snaider Carrillo ; Jim Harkin ; Liam McDaid ; Sandeep Pande ; Fearghal Morgan
Performance Evaluation and Scaling of a Multiprocessor Architecture Emulating Complex SNN Algorithms / Giovanny Sánchez ; Jordi Madrenas ; Juan Manuel Moreno
Evolution of Analog Circuit Models of Ion Channels / Theodore W. Cornforth ; Kyung-Joong Kim ; Hod Lipson
HyperNEAT for Locomotion Control in Modular Robots / Evert Haasdijk ; Andrei A. Rusu ; A.E. Eiben
Test, Repair and Reconfiguration Using Evolutionary Algorithms / Session 5:
The Use of Genetic Algorithm to Reduce Power Consumption during Test Application / Jaroslav Skarvada ; Zdenek Kotasek ; Josef Strnadel
Designing Combinational Circuits with an Evolutionary Algorithm Based on the Repair Technique / Houjun Liang ; Wenjian Luo ; Zhifang Li ; Xufa Wang
Bio-inspired Self-testing Configurable Circuits / André Stauffer ; Joël Rossier
Evolutionary Design of Reconfiguration Strategies to Reduce the Test Application Time / Jirí Šimácek ; Lukáš Starecek
Applications of Evolutionary Algorithms in Hardware / Session 6:
Extrinsic Evolution of Fuzzy Systems Applied to Disease Diagnosis / Carlos Pena
Automatic Code Generation on a MOVE Processor Using Cartesian Genetic Programming / Yang Liu ; Gianluca Tempesti
Coping with Resource Fluctuations: The Run-time Reconfigurable Functional Unit Row Classifier Architecture / Tobias Knieper ; Paul Kaufmann ; Kyrre Glette ; Marco Platzner ; Jim Torresen
Reconfigurable Hardware Platforms / Session 7:
A Self-reconfigurable FPGA-Based Platform for Prototyping Future Pervasive Systems / Jean-Marc Philippe ; Benoît Tain ; Christian Gamrat
The X2 Modular Evolutionary Robotics Platform / Mats Hovin
Ubichip, Ubidule, and MarXbot: A Hardware Platform for the Simulation of Complex Systems / Andres Upegui ; Yann Thoma ; Héctor F. Satizábal ; Francesco Mondada ; Philippe Rétornaz ; Yoan Graf ; Andres Perez-Uribe ; Eduardo Sanchez
Implementation of a Power-Aware Dynamic Fault Tolerant Mechanism on the Ubichip Platform / Kotaro Kobayashi
Applications of Evolution to Technology / Session 8:
Automatic Synthesis of Lossless Matching Networks / Leonardo Bruno de Sá ; Pedro da Fonseca Vieira ; Antonio Mesquita
A Novel Approach to Multi-level. Evolutionary Design Optimization of a.MEMS Device / Michael Farnsworth ; Elhadj Benkhelifa ; Ashutosh Tiwari ; Meiling Zhu
From Binary to Continuous Gates - and Back Again / Matthias Bechmann ; Angelika Sebald ; Susan Stepney
Adaptive vs. Self-adaptive Parameters for Evolving Quantum Circuits / Cristian Ruican ; Mihai Udrescu ; Lucian Prodan ; Mircea Vladutiu
Novel Methods in Evolutionary Design / Session 9:
Imitation Programming / Larry Bull
EvoFab: A Fully Embodied Evolutionary Fabricator / John Rieffel ; Dave Sayles
Evolving Physical Self-assembling Systems in Two-Dimensions / Navneet Bhalla ; Christian Jacob
Author Index
Evolving Digital Circuits / Session 1:
Measuring the Performance and Intrinsic Variability of Evolved Circuits / James Alfred Walker ; James A. Hilder ; Andy M. Tyrrell
An Efficient Selection Strategy for Digital Circuit Evolution / Zbyšek Gajda ; Lukáš Sekanina
55.

電子ブック

EB
Marko Eekelen, Takeo Kanade, Olha Shkaravska
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2010
所蔵情報: loading…
目次情報: 続きを見る
FOPARA 2009
Comparing Cost Functions in Resource Analysis / Elvira Albert ; Puri Arenas ; Samir Genaim ; Israel Herraiz ; German Puebla
Improvements to a Resource Analysis for Hume / Hans-Wolfgang Loidl ; Steffen Jost
A Space Consumption Analysis by Abstract Interpretation / Manuel Montenegro ; Ricardo Peña ; Clara Segura
Global and Local Space Properties of Stream Programs / Marco Gaboardi ; Romain Péchoux
Characterising Effective Resource Analyses for Parallel and Distributed Coordination / Phil Trinder ; Murray Cole ; Greg Michaelson
Static Complexity Analysis of Higher Order Programs / James Avery ; Lars Kristiansen ; Jean-Yves Moyen
Derivational Complexity is an Invariant Cost Model / Ugo Dal Lago ; Simone Martini
A Local Criterion for Polynomial-Time Stratified Computations / Luca Roversi ; Luca Vercelli
Non-deterministic Boolean Proof Nets / Virgile Mogbil
Polynomial Time Computation in the Context of Recursive Analysis / Walid Gomaa
Author Index
FOPARA 2009
Comparing Cost Functions in Resource Analysis / Elvira Albert ; Puri Arenas ; Samir Genaim ; Israel Herraiz ; German Puebla
Improvements to a Resource Analysis for Hume / Hans-Wolfgang Loidl ; Steffen Jost
56.

電子ブック

EB
Paul Gastin, Takeo Kanade, François Laroussinie
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2010
所蔵情報: loading…
目次情報: 続きを見る
Dating Concurrent Objects: Real-Time Modeling and Schedulability Analysis (Invited Talk) / Frank S. de Boer ; Mohammad Mahdi Jaghoori ; Einar Broch Johnsen
Applications of Shellable Complexes to Distributed Computing (Invited Talk) / Maurice Herlihy
Concurrency and Composition in a Stochastic World (Invited Talk) / Christian Eisentraut ; Holger Hermanns ; Lijun Zhang
Taming Distributed Asynchronous Systems (Invited Talk) / Anca Muscholl
Trust in Anonymity Networks (Invited Talk) / Vladimiro Sassone ; Sardaouna Hamadou ; Mu Yang
Learning I/O Automata / Fides Aarts ; Frits Vaandrager
Constrained Monotonic Abstraction: A CEGAR for Parameterized Verification / Parosh Aziz Abdulla ; Yu-Fang Chen ; Giorgio Delzanno ; Frédéric Haziza ; Chih-Duo Hong ; Ahmed Rezine
Information Flow in Interactive Systems / Mário S. Alvim ; Miguel E. Andrés ; Catuscia Palamidessi
From Multi to Single Stack Automata / Mohamed Faouzi Atig
A Geometric Approach to the Problem of Unique Decomposition of Processes / Thibaut Balabonski ; Emmanuel Haucourt
A Logic for True Concurrency / Paolo Baldan ; Silvia Crafa
A Theory of Design-by-Contract for Distributed Multiparty Interactions / Laura Bocchi ; Kohei Honda ; Emilio Tuosto ; Nobuko Yoshida
Bisimilarity of One-Counter Processes Is PSPACE-Complete / Stanislav Böhm ; Stefan Göller ; Petr Jancar
Nash Equilibria for Reachability Objectives in Multi-player Timed Games / Patricia Bouyer ; Romain Brenguier ; Nicolas Markey
Stochastic Real-Time Games with Qualitative Timed Automata Objectives / Tomáš Brázdil ; Jan Krcál ; Jan Kretínský ; Antonín Kucera ; Vojtech Rehák
Session Types as Intuitionistic Linear Propositions / Luís Caires ; Frank Pfenning
Session Types for Access and Information Flow Control / Sara Capecchi ; Ilaria Castellani ; Mariangiola Dezani-Ciancaglini ; Tamara Rezk
Simulation Distances / Pavol Cerný ; Thomas A. Henzinger ; Arjun Radhakrishna
Mean-Payoff Automaton Expressions / Krishnendu Chatterjee ; Laurent Doyen ; Herbert Edelsbrunner ; Philippe Rannou
Obliging Games / Florian Horn ; Christof Löding
Multipebble Simulations for Alternating Automata (Extended Abstract) / Lorenzo Clemente ; Richard Mayr
Parameterized Verification of Ad Hoc Networks / Arnaud Sangnier ; Gianluigi Zavattaro
Termination in Impure Concurrent Languages / Romain Demangeon ; Daniel Hirschkoff ; Davide Sangiorgi
Buffered Communication Analysis in Distributed Multiparty Sessions / Pierre-Malo Deniélou
Efficient Bisimilarities from Second-Order Reaction Semantics for ?-Calculus / Pietro Di Gianantonio ; Svetlana Jaksic ; Marina Lenisa
On the Use of Non-deterministic Automata for Presburger Arithmetic / Antoine Durand-Gasselin ; Peter Habermehl
Reasoning about Optimistic Concurrency Using a Program Logic for History / Ming Fu ; Yong Li ; Xinyu Feng ; Zhong Shao ; Yu Zhang
Theory by Process / Yuxi Fu
On the Compositionality of Round Abstraction / Dan R. Ghica ; Mohamed N. Menaa
A Linear Account of Session Types in the Pi Calculus / Marco Giunti ; Vasco T. Vasconcelos
Generic Forward and Backward Simulations II: Probabilistic Simulation / Ichiro Hasuo
Kleene, Rabin, and Scott Are Available / Jochen Hoenicke ; Roland Meyer ; Ernst-Rüdiger Olderog
Reversing Higher-Order Pi / Ivan Lanese ; Claudio Antares Mezzina ; Jean-Bernard Stefani
Modal Logic over Higher Dimensional Automata / Cristian Prisacariu
A Communication Based Model for Games of Imperfect Information / R. Ramanujam ; Sunil Simon
Flat Coalgebraic Fixed Point Logics / Lutz Schröder ; Yde Venema
Conditional Automata: A Tool for Safe Removal of Negligible Events / Roberto Segala ; Andrea Turrini
Representations of Petri Net Interactions / Pawel Sobocinski
Communicating Transactions (Extended Abstract) / Edsko de Vries ; Vasileios Koutavas ; Matthew Hennessy
Consistent Correlations for Parameterised Boolean Equation Systems with Applications in Correctness Proofs for Manipulations / Tim A. C. Willemse
Author Index
Dating Concurrent Objects: Real-Time Modeling and Schedulability Analysis (Invited Talk) / Frank S. de Boer ; Mohammad Mahdi Jaghoori ; Einar Broch Johnsen
Applications of Shellable Complexes to Distributed Computing (Invited Talk) / Maurice Herlihy
Concurrency and Composition in a Stochastic World (Invited Talk) / Christian Eisentraut ; Holger Hermanns ; Lijun Zhang
57.

電子ブック

EB
Leonardo Bottaci, Gordon Fraser, Takeo Kanade
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2010
所蔵情報: loading…
目次情報: 続きを見る
Keynote Addresses
Automatic Testing and Fixing for Eiffel (Extended Abstract) / Bertrand Meyer
Testing and Proving / Hand-in-Hand ; Sir Tony Hoare
Microsoft's Protocol Documentation Program: A Success Story for Model-Based Testing / Wolfgang Grieskamp
Full Papers
Masking Boundary Value Coverage: Effectiveness and Efficiency / P. Vijay Suman ; Tukaram Muske ; Prasad Bokil ; Ulka Shrotri ; R. Venkatesh
Model-Checking Erlang - A Comparison between EtomCRL2 and McErlang / Qiang Guo ; John Derrick ; Clara Benac Earle ; Lars-Ã…ke Fredlund
Bad Pairs in Software Testing / Daniel Hoffman ; Chien-Hsing Chang ; Gary Bazdell ; Brett Stevens ; Kevin Yoo
Localizing Defects in Multithreaded Programs by Mining Dynamic Call Graphs / Frank Eichinger ; Victor Pankratius ; Philipp W.L. Große ; Klemens Böhm
Filtering Test Models to Support Incremental Testing / Antti Jääskeläinen
Does Testing Help to Reduce the Number of Potentially Faulty Statements in Debugging? / Mihai Nica ; Simona Nica ; Franz Wotawa
Linguistic Security Testing for Text Communication Protocols / Ben W.Y. Kam ; Thomas R. Dean
Tool Papers
An Open-Source Tool for Automated Generation of Black-Box xUnit Test Code and Its Industrial Evaluation / Christian Wiederseiner ; Shahnewaz Amin Jolly ; Vahid Garousi ; Matt M. Eskandar
TeCReVis:. A Tool for Test Coverage and Test Redundancy Visualization / Negar Koochakzadeh
A Fault Injection Tool for Testing Web Services Composition / Fayçal Bessayali ; Ana Cavalli ; Willian Maja ; Eliane Martins ; Andre Willik Valenti
Synthesis of On-Line Planning Tester for Non-deterministic EFSM Models / Marko Kääramees ; Jüri Vain ; Kullo Raiend
A Generic Approach to Run Mutation Analysis / Siamak Haschemi ; Stephan Weißleder
Challenge Paper
The Practical Assessment of Test Sets with Inductive Inference Techniques / Neil Walkinshaw
Experience Reports
Mining API Popularity / Yana Momchilova Mileva ; Valentin Dallmeier ; Andreas Zeller
Automatic Discovery of Unspecified Behaviors in Automotive Control Software / Muzammil Shahbaz ; Robert Eschbach
Fast Abstracts
An Empirical Evaluation to Study Benefits of Visual versus Textual Test Coverage Information
A Multi-criteria Decision Making Framework for Real Time Model-Based Testing / Mohammad Saeed Abou Trab ; Bachar Alrouh ; Steve Counsell ; Rob M. Hierons ; George Ghinea
Improved Testing through Refactoring: Experience from the ProTest Project / Huiqing Li ; Simon Thompson
Towards Run-Time Monitoring of Web Services Conformance to Business-Level Agreements / Konstantinos Bratanis ; Dimitris Dranidis ; Anthony J.H. Simons
A New Approach for Software Testability / Lydie du Bousquet
DOM Transactions for Testing JavaScript / Phillip Heidegger ; Annette Bieniusa ; Peter Thiemann
The GZoltar Project: A Graphical Debugger Interface / André Riboira ; Rut Abreu
Author Index
Keynote Addresses
Automatic Testing and Fixing for Eiffel (Extended Abstract) / Bertrand Meyer
Testing and Proving / Hand-in-Hand ; Sir Tony Hoare
58.

電子ブック

EB
Richard Hull, Takeo Kanade, Jan Mendling, Stefan Tai
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2010
所蔵情報: loading…
目次情報: 続きを見る
Invited Talks
The Next Decade of BPM / Phil Gilbert
BPM in Cloud Architectures: Business Process Management with SLAs and Events / Vinod Muthusamy ; Hans-Arno Jacobsen
Warning: Don't Assume Your Business Processes Use Master Data / Clay Richardson
BPM in Practice
IT Requirements of Business Process Management in Practice - An Empirical Study / Susanne Patig ; Vanessa Casanova-Brito ; Barbara Vögeli
How Novices Model Business Processes / Jan Recker ; Niz Safrudin ; Michael Rosemann
BPM in Practice: Who Is Doing What? / Hajo A. Reijers ; Sander van Wijk ; Bela Mutschler ; Maarten Leurs
Correctness
How to Implement a Theory of Correctness in the Area of Business Processes and Services / Niels Lohmann ; Karsten Wolf
Deciding Behaviour Compatibility of Complex Correspondences between Process Models / Matthias Weidlich ; Remco Dijkman ; Mathias Weske
Correctness Ensuring Process Configuration: An Approach Based on Partner Synthesis / Wil van der Aalst ; Marcello La Rosa ; Jingxin Xu
Design
Impact of Granularity on Adjustment Behavior in Adaptive Reuse of Business Process Models / Oliver Holschke
Machine-Assisted Design of Business Process Models Using Descriptor Space Analysis / Maya Lincoln ; Mati Golani ; Avigdor Gal
From Informal Process Diagrams to Formal Process Models / Debdoot Mukherjee ; Pankaj Dhoolia ; Saurabh Sinha ; Aubrey J. Rembert ; Mangala Gowri Nanda
Distributed Processes
Value-Oriented Coordination Process Modeling / Hassan Fatemi ; Marten van Sinderen ; Roel Wieringa
Coordination for Fragmented Loops and Scopes in a Distributed Business Process / Rania Khalaf ; Frank Leymann
PAPEL: A Language and Model for Provenance-Aware Policy Definition and Execution / Christoph Ringelstein ; Steffen Staab
Mining
A Fresh Look at Precision in Process Conformance / Jorge Muñoz-Gama ; Josep Carmona
Trace Alignment in Process Mining: Opportunities for Process Diagnostics / R.P. Jagadeesh Chandra Bose ; Wil M.P. van der Aalst
Content-Aware Resolution Sequence Mining for Ticket Routing / Peng Sun ; Shu Tao ; Xifeng Yan ; Nikos Anerousis ; Yi Chen
Semantics
Symbolic Execution of Acyclic Workflow Graphs / Cédric Favre ; Hagen Völzer
Structuring Acyclic Process Models / Artem Polyvyanyy ; Luciano García-Bañuelos ; Marlon Dumas
A New Semantics for the Inclusive Converging Gateway in Safe Processes
Processes and People
From People to Services to UI: Distributed Orchestration of User Interfaces / Florian Daniel ; Stefano Soi ; Stefano Tranquillini ; Fabio Casati ; Chang Heng ; Li Yan
Self-adjusting Recommendations for People-Driven Ad-Hoc Processes / Christoph Dorn ; Thomas Burkhart ; Dirk Werth ; Schahram Dustdar
A Collaborative Approach to Maturing Process-Related Knowledge / Hans Friedrich Witschel ; Bo Hu ; Uwe V. Riss ; Barbara Thönssen ; Roman Brun ; Andreas Martin ; Knut Hinkelmann
Author Index
Invited Talks
The Next Decade of BPM / Phil Gilbert
BPM in Cloud Architectures: Business Process Management with SLAs and Events / Vinod Muthusamy ; Hans-Arno Jacobsen
59.

電子ブック

EB
Ahmed Bouajjani, Wei-Ngan Chin, Takeo Kanade
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2010
所蔵情報: loading…
目次情報: 続きを見る
Invited Talks
Probabilistic Automata on Infinite Words: Decidability and Undecidability Results / Krishnendu Chatterjee ; Thomas A. Henzinger
Abstraction Learning / Joxan Jaffar ; Jorge Navas ; Andrew Santosa
Synthesis: Words and Traces / Igor Walukiewicz
Regular Papers
Promptness in ?-Regular Automata / Shaull Almagor ; Yoram Hirshfeld ; Orna Kupferman
Using Redundant Constraints for Refinement / Eugene Asarin ; Thao Dang ; Oded Maler ; Romain Testylier
Methods for Knowledge Based Controlling of Distributed Systems / Saddek Bensalem ; Marius Bozga ; Susanne Graf ; Doron Peled ; Sophie Quinton
Composing Reachability Analyses of Hybrid Systems for Safety and Stability / Sergiy Bogomolov ; Corina Mitrohin ; Andreas Podelski
The Complexity of Codiagnosability for Discrete Event and Timed Systems / Franck Cassez
On Scenario Synchronization / Duc-Hanh Dang ; Anh-Hoang Truong ; Martin Gogolla
Compositional Algorithms for LTL Synthesis / Emmanuel Filiot ; Nayiong Jin ; Jean-François Raskin
What's Decidable about Sequences? / Carlo Alberto Furia
A Study of the Convergence of Steady State Probabilities in a Closed Fork-Join Network / Guy Edward Gallasch ; Jonathan Billington
Lattice-Valued Binary Decision Diagrams / Gilles Geeraerts ; Gabriel Kalyon ; Tristan Le Gall ; Nicolas Maquet
A Specification Logic for Exceptions and Beyond / Cristian Gherghina ; Cristina David
Non-monotonic Refinement of Control Abstraction for Concurrent Programs / Ashutosh Gupta ; Corneliu Popeea ; Andrey Rybalchenko
An Approach for Class Testing from Class Contracts / Atul Gupta
Efficient On-the-Fly Emptiness Check for Timed Büchi Automata / Frédéric Herbreteau ; B. Srivathsan
Reachability as Derivability, Finite Countermodels and Verification / Alexei Lisitsa
LTL Can Be More Succinct / Kamal Lodaya ; A. V. Sreejith
Automatic Generation of History-Based Access Control from Information Flow Specification / Yoshiaki Takata ; Hiroyuki Seki
Auxiliary Constructs for Proving Liveness in Compassion Discrete Systems / Teng Long ; Wenhui Zhang
Symbolic Unfolding of Parametric Stopwatch Petri Nets / Louis-Marie Traonouez ; Bartosz Grabiec ; Claude Jard ; Didier Lime ; Olivier H. Roux
Recursive Timed Automata / Ashutosh Trivedi ; Dominik Wojtczak
Probabilistic Contracts for Component-Based Design / Dana N. Xu ; Gregor Gössler ; Alain Girault
Tool Papers
Model-Checking Web Applications with Web-TLR / María Alpuente ; Demis Ballis ; Javier Espert ; Daniel Romero
GAVS: Game Arena Visualization and Synthesis / Chih-Hong Cheng ; Christian Buckl ; Michael Luttenberger ; Alois Knoll
CRI: Symbolic Debugger for MCAPI Applications / Mohamed Elwakil ; Zijiang Yang ; Liqiang Wang
MCGP: A Software Synthesis Tool Based on Model Checking and Genetic Programming / Gal Katz
ECDAR: An Environment for Compositional Design and Analysis of Real Time Systems / Alexandre David ; Kim G. Larsen ; Axel Legay ; Ulrik Nyman ; Andrzej Wasowski
Developing Model Checkers Using PAT / Yang Liu ; Jun Sun ; Jin Song Dong
YAGA: Automated Analysis of Quantitative Safety Specifications in Probabilistic B / Ukachukwu Ndukwu ; Annabelle K. McIver
COMBINE: A Tool on Combined Formal Methods for Bindingly Verification / An N. Nguyen ; Tho T. Quan ; Phung H. Nguyen ; Thang H. Bui
Rbminer: A Tool for Discovering Petri Nets from Transition Systems / Marc Solé ; Josep Carmona
Author Index
Invited Talks
Probabilistic Automata on Infinite Words: Decidability and Undecidability Results / Krishnendu Chatterjee ; Thomas A. Henzinger
Abstraction Learning / Joxan Jaffar ; Jorge Navas ; Andrew Santosa
60.

電子ブック

EB
Gwendolyn Kolfschoten, Thomas Herrmann, Takeo Kanade, Stephan Lukosch
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2010
所蔵情報: loading…
目次情報: 続きを見る
Introduction
A Review of CRIWG Research / Pedro Antunes ; José A. Pino
Knowledge Elicitation, Construction and Structuring
Supporting Collaborative Knowledge Creation in Mobile Working Scenarios / Gustavo Zurita ; Nelson Baloian
Collaborative Conceptual Modeling Using an Ontology / Arkalgud Ramaprasad ; Steven Diduca ; Abhinaya Javier ; Tarun Misra ; Ganesh Parasuraman ; Pratibha Prabhakaran ; Himanshu Sharma ; Devi Subramanian ; Anuroopa Thangaraja ; Ankita Vij ; David Yi ; Jolita Zukaite
A Mobile Computer System to Support Collaborative Ethnography: An Approach to the Elicitation of Knowledge of Work Teams in Complex Environments / Luiz Carlos L. Silva Junior ; Marcos R.S. Borges ; Paulo Victor R. de Carvalho
A Method for Identification and Representation of Business Process Deviations / Lilian Bitton Migon ; Maria Luiza Machado Campos
Computer Supported Reflection of Good Practice / Till Schümmer ; Martin Mühlpfordt ; Joerg M. Haake
Establishing On-Line Corporate Training in Distributed, Synchronous eCollaboration: A Field Study / Tero Päivärinta ; Bjørn Erik Munkvold
Decision Support
Integrating Spatial Data and Decision Models in an E-Planning Tool / Claudio Sapateiro
Supporting the Decision Implementation Process / André Campos, Adriana S. Vivacqua
A Framework and an Architecture for Context-Aware Group Recommendations / Tim Hussein ; Timm Linder ; Werner Gaulke ; Juergen Ziegler
Collaboration Support
Concurrent Modeling in Early Phases of the Software Development Life Cycle / Petra Brosch ; Philip Langer ; Martina Seidl ; Konrad Wieland ; Manuel Wimmer ; Gerti Kappel
The Integration of Collaborative Process Modeling and Electronic Brainstorming in Co-located Meetings / Thomas Herrmann ; Alexander Nolte
Integrating Context-Enriched Explanations and Communication in an Adaptive Collaboration Environment / Syed Sajid Hussain ; Dirk Veiel ; Stephan Lukosch
A Tool for Training Students and Engineers in Global Software Development Practices / Miguel J. Monasor ; Aurora Vizcaíno ; Mario Piattini
Awareness
Awareness Support in Global Software Development: A Systematic Review Based on the 3C Collaboration Model / Igor Steinmacher ; Ana Paula Chaves ; Marco Aurelio Gerosa
Awareness Checklist: Reviewing the Quality of Awareness Support in Collaborative Applications / Jose A. Pino ; Valeria Herskovic ; Sergio F. Ochoa
Supporting Asynchronous Workspace Awareness by Visualizing the Story Evolution in Collaborative Storytelling / Jana Schumann ; Tanja Buttler
Groupware Design
Dealing with Device Collaboration Rules for the PCSCW Model / Kahina Hamadache ; Luigi Lancieri
Enabling Collaboration Transparency with Computational Reflection / Pedro Garcia Lopez ; Enrique Fernández-Casado ; Carles Angles ; Maria Ferre
Plasticity of Interaction Interfaces: The Study Case of a Collaborative Whiteboard / Gabriela Sánchez ; Sonia Mendoza ; Dominique Decouchant ; Lizbeth Callardo-López ; José Rodríguez
Developing a Framework of Common Information Space (CIS): Grounded Theory Analysis of Airport CIS / Nallini Selvaraj ; Bob Fields
Social Networking
The Mind's Eye on Personal Profiles: How to Inform Initial Trustworthiness Assessments in Virtual Project Teams / Ellen Rusman ; Jan van Bruggen ; Peter Sloep ; Martin Valcke ; Rob Koper
Supporting Informal Interaction in a Hospital through Impromptu Social Networking / Alberto L. Morán ; Juan Rodríguez-Covili ; David Mejia ; Jesus Favela
Ambient Displays for Integrating Older Adults into Social Networking Sites / Raymundo Cornejo ; Jesús Favela ; Monica Tentori
Mobile Collaboration
A Simple and Portable Command Post to Coordinate Search and Rescue Activities in Disaster Relief Efforts / Rodrigo Bartels ; Alvaro Monares
Digital Workbook: A Mobile Learning Environment to Support Collaborative Examinations / Ivan D. Claros ; Cásar A. Collazos ; Luis A. Guerrero
Evaluating a Prototype for Geo-referenced Collaborative Psychotherapy with Mobile Devices / Luís Carriço ; Marco de Sá ; João Faria ; Isabel Sá
Author Index
Introduction
A Review of CRIWG Research / Pedro Antunes ; José A. Pino
Knowledge Elicitation, Construction and Structuring
61.

電子ブック

EB
Radhia Cousot, Takeo Kanade, Matthieu Martel
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2010
所蔵情報: loading…
目次情報: 続きを見る
Time of Time (Invited Talk) / E. Allen Emerson
Static Verification for Code Contracts (Invited Talk) / Manuel Fähndrich
Translation Validation of Loop Optimizations and Software Pipelining in the TVOC Framework: In Memory of Amir Pnueli (Invited Talk) / Benjamin Goldberg
Size-Change Termination and Transition Invariants (Invited Talk) / Matthias Heizmann ; Neil D. Jones ; Andreas Podelski
Using Static Analysis in Space: Why Doing so? (Invited Talk) / David Lesens
Statically Inferring Complex Heap, Array, and Numeric Invariants (Invited Talk) / Bill McCloskey ; Thomas Reps ; Mooly Sagiv
From Object Fields to Local Variables: A Practical Approach to Field-Sensitive Analysis / Elvira Albert ; Puri Arenas ; Samir Genaim ; German Puebla ; Diana Vanessa Ramírez Deantes
Multi-dimensional Rankings, Program Termination, and Complexity Bounds of Flowchart Programs / Christophe Alias ; Alain Darte ; Paul Feautrier ; Laure Gonnord
Deriving Numerical Abstract Domains via Principal Component Analysis / Gianluca Amato ; Maurizio Parton ; Francesca Scozzari
Concurrent Separation Logic for Pipelined Parallelization / Christian J. Bell ; Andrew W. Appel ; David Walker
Automatic Abstraction for Intervals Using Boolean Formulae / Jörg Brauer ; Andy King
Interval Slopes as a Numerical Abstract Domain for Floating-Point Variables / Alexandre Chapoutot
A Shape Analysis for Non-linear Data Structures / Renato Cherini ; Lucas Rearte ; Javier Blanco
Modelling Metamorphism by Abstract Interpretation / Mila Dalla Preda ; Roberto Giacobazzi ; Saumya Debray ; Kevin Coogan ; Gregg M. Townsend
Small Formulas for Large Programs: On-Line Constraint Simplification in Scalable Static Analysis / Isil Dillig ; Thomas Dillig ; Alex Aiken
Compositional Bitvector Analysis for Concurrent Programs with Nested Locks / Azadeh Farzan ; Zachary Kincaid
Computing Relaxed Abstract Semantics w.r.t. Quadratic Zones Precisely / Thomas Martin Gawlitza ; Helmut Seidl
BOXES; A Symbolic Abstract Domain of Boxes / Arie Gurfinkel ; Sagar Chaki
Alternation for Termination / William R. Harris ; Akash Lal ; Aditya V. Nori ; Sriram K. Rajamani
Interprocedural Analysis with Lazy Propagation / Simon Holm Jensen ; Anders Møller ; Peter Thiemann
Verifying a Local Generic Solver in Coq / Martin Hofmann ; Aleksandr Karbyshev
Thread-Modular Counterexample-Guided Abstraction Refinement / Alexander Malkis ; Andrey Rybalchenko
Generating Invariants for Non-linear Hybrid Systems by Linear Algebraic Methods / Nadir Matringe ; Arnaldo Vieira Moura ; Rachid Rebiha
Linear-Invariant Generation for Probabilistic Programs: Automated Support for Proof-Based Methods / Joost-Pieter Katoen ; Annabelle K. McIver ; Larissa A. Meinicke ; Carroll C. Morgan
Abstract Interpreters for Free / Matthew Might
Points-to Analysis as a System of Linear Equations / Rupesh Nasre ; Ramaswamy Govindarajan
Strictness Meets Data Flow / Tom Schrijvers ; Alan Mycroft
Automatic Verification of Determinism for Structured Parallel Programs / Martin Vechev ; Eran Yahav ; Raghavan Raman ; Vivek Sarkar
Author Index
Time of Time (Invited Talk) / E. Allen Emerson
Static Verification for Code Contracts (Invited Talk) / Manuel Fähndrich
Translation Validation of Loop Optimizations and Software Pipelining in the TVOC Framework: In Memory of Amir Pnueli (Invited Talk) / Benjamin Goldberg
62.

電子ブック

EB
Alessandro Aldini, Marco Bernardo, Luciano Bononi, Vittorio Cortellessa, Takeo Kanade
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2010
所蔵情報: loading…
目次情報: 続きを見る
Invited Papers
Modeling and Experimenting with Vehicular Congestion for Distributed Advanced Traveler Information Systems / Marco Roccetti ; Gustavo Marfia
Application of Advanced Model-Driven Techniques in Performance Engineering / Lucia Kapova ; Ralf Reussner
Network and Software Performance
A New Markov-Based Mobility Prediction Algorithm for Mobile Networks / Samir Bellahsene ; Leila Kloul
Performance Aware Reconfiguration of Software Systems / Moreno Marzolla ; Raffaela Mirandola
On the Energy-Performance Tradeoff for Parallel Applications / Shikharesh Majumdar
Timed Models and Model Checking
A Framework for Relating Timed Transition Systems and Preserving TCTL Model Checking / Lasse Jacobsen ; Morten Jacobsen ; Mikael H. Møller ; Jirí Srba
Continuous Time and/or Continuous Distributions / Joseph Assouramou ; Josée Desharnais
Model Checking Markov Chains Using Krylov Subspace Methods: An Experience Report / Falko Dulat ; Joost-Pieter Katoen ; Viet Yen Nguyen
Case Studies
A Markovian Agent Model for Fire Propagation in Outdoor Environments / Davide Cerotti ; Marco Gribaudo ; Andrea Bobbio ; Carlos T. Calafate ; Pietro Manzoni
Queueing Network Models for Performance Evaluation of ZigBee-Based WSNs / Patrick Bellasi ; Adnan Faisal ; William Fornaciari ; Giuseppe Serazzi
Performance Modeling and Analysis of the Universal Control Hub / Elena Gómez-Martínez ; José Merseguer
Model Solutions and Bounds
Accurate Performance Estimation for Stochastic Marked Graphs by Bottleneck Regrowing / Ricardo J. Rodríguez ; Jorge Júlvez
A Numerical Algorithm for the Solution of Product-Form Models with Infinite State Spaces / Simonetta Balsamo ; Gian-Luca Dei Rossi ; Andrea Marin
State-Dependent Rates and Semi-Product-Form via the Reversed Process / Nigel Thomas ; Peter Harrison
Compositional Analysis
Predictive Modelling of Peer-to-Peer Event-Driven Communication in Component-Based Systems / Christoph Rathfelder ; David Evans ; Samuel Kounev
A Component-Based Solution Method for Non-ergodic Markov Regenerative Processes / Elvio Gilberto Amparore ; Susanna Donatelli
Compositional Abstraction of PEPA Models for Transient Analysis / Michael J.A. Smith
Composing Systems While Preserving Probabilities / Sonja Georgievska ; Suzana Andova
Author Index
Invited Papers
Modeling and Experimenting with Vehicular Congestion for Distributed Advanced Traveler Information Systems / Marco Roccetti ; Gustavo Marfia
Application of Advanced Model-Driven Techniques in Performance Engineering / Lucia Kapova ; Ralf Reussner
63.

電子ブック

EB
Stefan Kowalewski, Takeo Kanade, Marco Roveri
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2010
所蔵情報: loading…
目次情報: 続きを見る
The Metrô Rio ATP Case Study / Alessio Ferrari ; Daniele Grasso ; Gianluca Magnani ; Alessandro Fantechi ; Matteo Tempestini
Practical Issues with Formal Specifications: Lessons Learned from an Industrial Case Study / Michael Altenhofen ; Achim D. Brucker
Formal Analysis of BPMN Models Using Event-B / Jeremy W. Bryans ; Wei Wei
Developing Mode-Rich Satellite Software by Refinement in Event B / Alexei Iliasov ; Elena Troubitsyna ; Linas Laibinis ; Alexander Romanovsky ; Kimmo Varpaaniemi ; Dubravka Ilic ; Timo Latvala
Automatic Error Correction of Java Programs / Christian Kern ; Javier Esparza
Range Analysis of Microcontroller Code Using Bit-Level Congruences / Jörg Brauer ; Andy King ; Stefan Kowalewski
An Automated Translator for Model Checking Time Constrained Workflow Systems / Ahmed Shah Mashiyat ; Fazle Rabbi ; Hao Wang ; Wendy MacCaull
Correctness of Sensor Network Applications by Software Bounded Model Checking / Frank Werner ; David Faragó
Model Checking the FlexRay Physical Layer Protocol / Michael Gerke ; Rüdiger Ehlers ; Bernd Finkbeiner ; Hans-Jörg Peter
SMT-Based Formal Verification of a TTEthernet Synchronization Function / Wilfried Steiner ; Bruno Dutertre
Embedded Network Protocols for Mobile Devices / Despo Galataki ; Andrei Radulescu ; Kees Verstoep ; Wan Fokkink
A Study of Shared-Memory Mutual Exclusion Protocols Using CADP / Radu Mateescu ; Wendelin Serwe
A Formal Model of Identity Mixer / Jan Camenisch ; Sebastian Mödersheim ; Dieter Sommer
Automatic Structure-Based Code Generation from Coloured Petri Nets: A Proof of Concept / Lars Michael Kristensen ; Michael Westergaard
Author Index
The Metrô Rio ATP Case Study / Alessio Ferrari ; Daniele Grasso ; Gianluca Magnani ; Alessandro Fantechi ; Matteo Tempestini
Practical Issues with Formal Specifications: Lessons Learned from an Industrial Case Study / Michael Altenhofen ; Achim D. Brucker
Formal Analysis of BPMN Models Using Event-B / Jeremy W. Bryans ; Wei Wei
64.

電子ブック

EB
Shmuel Katz, Takeo Kanade, Jörg Kienzle, Mira Mezini
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2010
所蔵情報: loading…
目次情報: 続きを見る
Crisis Management Systems: A Case Study for Aspect-Oriented Modeling / Jörg Kienzle ; Nicolas Guelfi ; Sadaf Mustafiz
Requirements Modeling with the Aspect-oriented User Requirements Notation (AoURN): A Case Study / Gunter Mussbacher ; Daniel Amyot ; João Araújo ; Ana Moreira
Relating Feature Models to Other Models of a Software Product Line: A Comparative Study of FeatureMapper and VML* / Florian Heidenreich ; Pablo Sánchez ; João Santos ; Steffen Zschaler ; Mauricio Alférez ; Lidia Fuentes ; Uirá Kulesza ; Awais Rashid
Aspect-Oriented Development Using Protocol Modeling / Ashley McNeile ; Ella Roubtsova
Using VCL as an Aspect-Oriented Approach to Requirements Modelling / Nuno Amálio ; Pierre Kelsen ; Qin Ma ; Christian Glodt
Workflow Design Using Fragment Composition: Crisis Management System Design through ADORE / Sébastien Mosser ; Mireille Blay-Fornarino ; Robert France
Modeling the Car Crash Crisis Management System Using HiLA / Matthias Hölzl ; Alexander Knapp ; Gefei Zhang
Aspect-Oriented Design with Reusable Aspect Models / Wisam Al Abed ; Franck Fleurey ; Jean-Marc Jézéquel ; Jacques Klein
A Graph-Based Aspect Interference Detection Approach for UML-Based Aspect-Oriented Models / Selim Ciraci ; Wilke Havinga ; Mehmet Aksit ; Christoph Bockisch ; Pim van den Broek
Discovery of Stable Abstractions for Aspect-Oriented Composition in the Car Crash Management Domain / Dimitri Van Landuyt ; Eddy Truyen ; Wouter Joosen
Author Index
Crisis Management Systems: A Case Study for Aspect-Oriented Modeling / Jörg Kienzle ; Nicolas Guelfi ; Sadaf Mustafiz
Requirements Modeling with the Aspect-oriented User Requirements Notation (AoURN): A Case Study / Gunter Mussbacher ; Daniel Amyot ; João Araújo ; Ana Moreira
Relating Feature Models to Other Models of a Software Product Line: A Comparative Study of FeatureMapper and VML* / Florian Heidenreich ; Pablo Sánchez ; João Santos ; Steffen Zschaler ; Mauricio Alférez ; Lidia Fuentes ; Uirá Kulesza ; Awais Rashid
65.

電子ブック

EB
Dorina C. Petriu, Øystein Haugen, Takeo Kanade, Nicolas Rouquette, Association for Computing Machinery-Digital Library.
出版情報: Springer eBooks Computer Science , 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:
66.

電子ブック

EB
Asit Dan, Frédéric Gittler, Takeo Kanade, Farouk Toumani
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2010
所蔵情報: loading…
目次情報: 続きを見る
Business Models and Architecture / Track 1:
The 4th Workshop on Trends in Enterprise Architecture Research (TEAR 2009)
Future Research Topics in Enterprise Architecture Management - A Knowledge Management Perspective / Sabine Buckl ; Florian Matthes ; Christian M. Schweda
Enterprise Architecture Principles: Literature Review and Research Directions / Dirk Stelzer
Something Is Missing: Enterprise Architecture from a Systems Theory Perspective / Sebastian Kloeckner ; Dominik Birkmeier
A Reassessment of Enterprise Architecture Implementation / Stephan Aier ; Joachim Schelp
The Dynamic Architecture Maturity Matrix: Instrument Analysis and Refinement / Marlies van Steenbergen ; Jurjen Schipper ; Rik Bos ; Sjaak Brinkkemper
Decoupling Models and Visualisations for Practical EA Tooling / Steffen Kruse ; Jan Stefan Addicks ; Matthias Postina ; Ulrike Steffens
Cross-Organizational Security - The Service-Oriented Difference / André Miede ; Nedislav Nedyalkov ; Dieter Schuller ; Nicolas Repp ; Ralf Steinmetz
1st International Workshop on SOA, Globalization, People, and Work (SG-PAW)
Enterprise Oriented Services (Position Paper) / Daniel Oppenheim ; Krishna Ratakonda ; Yi-Min Chee
Automated Realization of Business Workflow Specification / Guohua Liu ; Xi Liu ; Haihuan Qin ; Jianwen Su ; Zhimin Yan ; Liang Zhang
PeopleCloud for the Globally Integrated Enterprise / Maja Vukovic ; Mariana Lopez ; Jim Laredo
Public Disclosure versus Private Practice: Challenges in Business Process Management (Position Paper) / Stacy Hobson ; Sameer Patil ; Xuan Liu
1st International Workshop on Service Oriented Computing in Logistics (SOC-LOG)
Analysing Dependencies in Service Compositions / Matthias Winkler ; Thomas Springer ; Edmundo David Trigos ; Alexander Schill
Open Service-Oriented Computing for Logistics: A Case in Courier, Express and Parcel Networks / Marcel Kunkel ; Christian Doppstadt ; Michael Schwind
Gain in Transparency versus Investment in the EPC Network - Analysis and Results of a Discrete Event Simulation Based on a Case Study in the Fashion Industry / Jürgen Müller ; Ralph Tröger ; Alexander Zeier ; Rainer Alt
Using Automated Analysis of Temporal-Aware SLAs in Logistics / Carlos Müller ; Manuel Resinas ; Antonio Ruiz-Cortés
Flexible SLA Negotiation Using Semantic Annotations / Henar Muñoz ; Ioannis Kotsiopoulos ; András Micsik ; Bastian Koller ; Juan Mora
Service Quality and Service Level Agreements Track / Track 2:
3rd Workshop on Non-functional Properties and Service Level Agreements Management in Service Oriented Computing (NFPSLAM-SOC 09)
Runtime Prediction of Service Level Agreement Violations for Composite Services / Philipp Leitner ; Branimir Wetzstein ; Florian Rosenberg ; Anton Michlmayr ; Schahram Dustdar ; Frank Leymann
A Framework for Multi-level SLA Management / Marco Comuzzi ; Constantinos Kotsokalis ; Christoph Rathfelder ; Wolfgang Theilmann ; Ulrich Winkler ; Gabriele Zacco
EC2 Performance Analysis for Resource Provisioning of Service-Oriented Applications / Jiang Dejun ; Guillaume Pierre ; Chi-Hung Chi
On the Design of Compliance Governance Dashboards for Effective Compliance and Audit Management / Patrícia Silveira ; Carlos Rodríguez ; Fabio Casati ; Florian Daniel ; Vincenzo D'Andrea ; Claire Worledge ; Zouhair Taheri
Transformation of Intermediate Nonfunctional Properties for Automatic Service Composition / Haruhiko Takada ; Incheon Paik
Dealing with Fixable and Non-fixable Properties in Service Matchmaking / Octavio Martín-Díaz ; José M2 García ; Miguel Toro
Using SLA Mapping to Increase Market Liquidity / Marcel Risch ; Ivona Brandic ; Jörn Altmann
Translation of Service Level Agreements: A Generic Problem Definition
Ontology-Based Feature Aggregation for Multi-valued Ranking / Nathalie Steinmetz ; Holger Lausen
2nd International Workshop on Service Monitoring, Adaptation and Beyond (MONA+)
Multi-level Monitoring and Analysis of Web-Scale Service Based Applications / Adrian Mos ; Carlos Pedrinaci ; Guillermo Alvaro Reg ; Jose Manuel Gomez ; Dong Liu ; Guillaume Vaudaux-Ruth ; Samuel Quaireau
Calculating Service Fitness in Service Networks / Martin Treiber ; Vasilios Andrikopoulos
Applying Process Mining in SOA Environments / Ateeq Khan ; Azeem Lodhi ; Veit Köppen ; Gamal Kassem ; Gunter Saake
Monitoring within an Autonomic Network: A GANA Based Network Monitoring Framework / Anastasios Zafeiropoulos ; Athanassios Liakopoulos ; Alan Davy ; Ranganai Chaparadza
An Extensible Monitoring and Adaptation Framework / Razvan Popescu ; Athanasios Staikopoulos ; Siobhán Clarke
Cross-Layer Adaptation and Monitoring of Service-Based Applications / Raman Kazhamiakin ; Marco Pistore ; Asli Zengin
Towards a Unified Architecture for Resilience, Survivability and Autonomic Fault-Management for Self-managing Networks / Nikolay Tcholtchev ; Monika Grajzer ; Bruno Vidalenc
Replacement Policies for Service-Based Systems / Khaled Mahbub ; Andrea Zisman
Retry Scopes to Enable Robust Workflow Execution in Pervasive Environments / Hanna Eberle ; Oliver Kopp ; Tobias Unger
Integrating Complex Events for Collaborating and Dynamically Changing Business Processes / Rainer von Ammon ; Thomas Ertlmaier ; Opher Etzion ; Alexander Kofman ; Thomas Paulus
Towards Business-Oriented Monitoring and Adaptation of Distributed Service-Based Applications from a Process Owner's Viewpoint / Krešimir Vidackovic ; Nico Weiner ; Holger Kett ; Thomas Renner
Adaptation of Service-Based Applications Based on Process Quality Factor Analysis / Dimka Karastoyanova
Delivering Multimedia in Autonomic Networking Environments / Vassilios Kaldanis ; Giannis Katsaros ; George Karantonis
An Initial Proposal for Data-Aware Resource Analysis of Orchestrations with Applications to Predictive Monitoring / Dragan Ivanovic ; Manuel Carro ; Manuel Hermenegildo
Service Engineering Track / Track 3:
5th International Workshop on Engineering Service-Oriented Applications (WESOA09)
Service Customization by Variability Modeling / Michael Stollberg ; Marcel Muth
Towards a Quality Model for Choreography / Michele Mancioppi ; Mikhail Perepletchikov ; Caspar Ryan ; Willem-Jan van den Heuvel ; Mike P. Papazoglou
Towards a Conceptual Framework for Legacy to SOA Migration / Maryam Razavian ; Patricia Lago
MINERVA: Model drIveN and sErvice oRiented Framework for the Continuous Business Process improVement and relAted Tools / Andrea Delgado ; Francisco Ruiz ; Ignacio García-Rodríguez de Guzmán ; Mario Piattini
Design for Adaptation of Service-Based Applications: Main Issues and Requirements / Antonio Bucchiarone ; Cinzia Cappiello ; Elisabetta Di Nitto ; Valentina Mazza
Towards Runtime Migration of WS-BPEL Processes / Sonja Zaplata ; Kristian Kottke ; Matthias Meiners ; Winfried Lamersdorf
Encapsulating Multi-stepped Web Forms as Web Services / Tobias Vogel ; Frank Kaufer ; Felix Naumann
Adapter Patterns for Resolving Mismatches in Service Discovery / Hyun Jung La ; Soo Dong Kim
1st International Workshop on User-Generated Services (UGS2009)
Lightweight Composition of Ad-Hoc Enterprise-Class Applications with Context-Aware Enterprise Mashups / Florian Gilles ; Volker Hoyer ; Till Janner ; Katarina Stanoevska-Slabeva
User-Centric Composition of Service Front-Ends at the Presentation Layer / Tobias Nestler ; Lars Dannecker ; Andreas Pursche
On the Support of Dynamic Service Composition at Runtime / Eduardo Silva ; Luís Ferreira Pires ; Marten van Sinderen
Rethinking the Semantic Annotation of Services / Nikolaos Loutas ; Vassilios Peristeras ; Konstantinos Tarabanis
Service Composition for Everyone: A Study of Risks and Benefits / Abdallah Namoun ; Usman Wajid ; Nikolay Mehandjiev
Using Personal Information Management Infrastructures to Facilitate User-Generated Services for Personal Use / Olaf Grebner
Towards Ontology Matching for Intelligent Gadgets / Oszkar Ambrus ; Knud Möller ; Siegfried Handschuh
Author Index
Business Models and Architecture / Track 1:
The 4th Workshop on Trends in Enterprise Architecture Research (TEAR 2009)
Future Research Topics in Enterprise Architecture Management - A Knowledge Management Perspective / Sabine Buckl ; Florian Matthes ; Christian M. Schweda
67.

電子ブック

EB
Dorina C. Petriu, Øystein Haugen, Takeo Kanade, Nicolas Rouquette, Association for Computing Machinery-Digital Library.
出版情報: Springer eBooks Computer Science , 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:
68.

電子ブック

EB
Jaco Pol, Takeo Kanade, Michael Weber
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2010
所蔵情報: loading…
目次情報: 続きを見る
Satisfiability Modulo Theories for Model Checking
SMT-Based Software Model Checking (Invited Talk) / Alessandro Cimatti
Symbolic Object Code Analysis / Jan Tobias Mühlberg ; Gerald Lüttgen
Model Checking in Context
Experimental Comparison of Concolic and Random Testing for Java Card Applets / Kari Kähkönen ; Roland Kindermann ; Keijo Heljanko ; Ilkka Niemelä
Combining SPIN with ns-2 for Protocol Optimization / Pedro Merino ; Alberto Salmerón
Automatic Generation of Model Checking Scripts Based on Environment Modeling / Kenro Yatake ; Toshiaki Aoki
Implementation and Performance of Model Checking
Model Checking: Cleared for Take Off (Invited Talk) / Darren Cofer
Context-Enhanced Directed Model Checking / Martin Wehrle ; Sebastian Kupferschmid
Efficient Explicit-State Model Checking on General Purpose Graphics Processors / Stefan Edelkamp ; Damian Sulewski
The SpinJa Model Checker (Tool Presentation) / Marc de Jonge ; Theo C. Ruys
LTL and Büchi Automata
On the Virtue of Patience: Minimizing Büchi Automata / Rüdiger Ehlers ; Bernd Finkbeiner
Enacting Declarative Languages Using LTL: Avoiding Errors and Improving Performance / Maja Pešic ; Dragan Bošnacki ; Wil M.P. van der Aalst
Nevertrace Claims for Model Checking / Zhe Chen ; Gilles Motet
Infinite State Models
A False History of True Concurrency: From Petri to Tools (Invited Talk) / Javier Esparza
Analysing Mu-Calculus Properties of Pushdown Systems (Tool Presentation) / Matthew Hague ; C.-H. Luke Ong
Time-Bounded Reachability in Distributed Input/Output Interactive Probabilistic Chains / Georgel Calin ; Pepijn Crouzen ; Pedro R. D'Argenio ; E. Moritz Hahn ; Lijun Zhang
An Automata-Based Symbolic Approach for Verifying Programs on Relaxed Memory Models / Alexander Linden ; Pierre Wolper
Concurrent Software
Context-Bounded Translations for Concurrent Software: An Empirical Evaluation / Naghmeh Ghafari ; Alan J. Hu ; Zvonimir Rakamaric
One Stack to Run Them All: Reducing Concurrent Analysis to Sequential Analysis under Priority Scheduling / Nicholas Kidd ; Suresh Jagannathan ; Jan Vitek
Author Index
Satisfiability Modulo Theories for Model Checking
SMT-Based Software Model Checking (Invited Talk) / Alessandro Cimatti
Symbolic Object Code Analysis / Jan Tobias Mühlberg ; Gerald Lüttgen
69.

電子ブック

EB
María J. Blesa, Christian Blum, Takeo Kanade, Günther Raidl, Andrea Roli, Michael Sampels
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2010
所蔵情報: loading…
70.

電子ブック

EB
Sang Lyul Min, Takeo Kanade, Robert Pettit, Peter Puschner, Theo Ungerer
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2010
所蔵情報: loading…
目次情報: 続きを見る
Invited Program
Component-Based Design of Embedded Systems (Abstract) / Hermann Kopetz
AUTOSAR Appropriates Functional Safety and Multi-core Exploitation (Abstract) / Bert Böddeker ; Rafael Zalman
Hardware
Chip-Size Evaluation of a Multithreaded Processor Enhanced with a PID Controller / Michael Bauer ; Mathias Pacher ; Uwe Brinkschulte
Crash Recovery in FAST FTL / Sungup Moon ; Sang-Phil Lim ; Dong-Joo Park ; Sang-Won Lee
Real-Time-Systems
Time-Predictable Computing / Raimund Kirner ; Peter Puschner
OTAWA: An Open Toolbox for Adaptive WCET Analysis / Clément Ballabriga ; Hugues Cassé ; Christine Rochange ; Pascal Sainrat
Ubiquitous Verification of Ubiquitous Systems / Reinhard Wilhelm ; Matteo Maffei
Model-Based Design and Model-Checking
A Model-Based Design Methodology with Contracts to Enhance the Development Process of Safety-Critical Systems / Andreas Baumgart ; Philipp Reinkemeier ; Achim Rettberg ; Ingo Stierand ; Eike Thaden ; Raphael Weber
Combining Ontology Alignment with Model Driven Engineering Techniques for Home Devices Interoperability / Charbel El Kaed ; Yves Denneulin ; François-Gaë Ottogalli ; Luis Felipe Melo Mora
Rewriting Logic Approach to Modeling and Analysis of Client Behavior in Open Systems / Shin Nakajima ; Masaki Ishiguro ; Kazuyuki Tanaka
Sensor Nets
A Model-Driven Software Development Approach Using OMG DDS for Wireless Sensor Networks / Kai Beckmann ; Marcus Thoss
Reactive Clock Synchronization for Wireless Sensor Networks with Asynchronous Wakeup Scheduling / Sang Hoon Lee ; Yunmook Nah ; Lynn Choi
On the Schedulability Analysis for Dynamic QoS Management in Distributed Embedded Systems / Luís Almeida ; Ricardo Marau ; Karthik Lakshmanan ; Raj Rajkumar
Error Detection and System Failures
Error Detection Rate of MC/DC for a Case Study from the Automotive Domain / Susanne Kandl
Simultaneous Logging and Replay for Recording Evidences of System Failures / Shuichi Oikawa ; Jin Kawasaki
Hard Real-Time
Code Generation for Embedded Java with Ptolemy / Martin Schoeberl ; Christopher Brooks ; Edward A. Lee
Specification of Embedded Control Systems Behaviour Using Actor Interface Automata / Christo Angelov ; Feng Zhou ; Krzysztof Sierszecki
Building a Time- and Space- Partitioned Architecture for the Next Generation of Space Vehicle Avionics / José Rufino ; João Craveiro ; Paulo Verissimo
Middleware and Smart Spaces
EMWF: A Middleware for Flexible Automation and Assistive Devices / Ting-Shuo Chou ; Yu Chi Huang ; Yung Chun Wang ; Wai-Chi Chen ; Chi-Sheng Shih ; Jane W.S. Liu
An Investigation on Flexible Communications in Publish/Subscribe Services / Christian Esposito ; Domenico Cotroneo ; Stefano Russo
Mobile Agents for Digital Signage / Ichiro Satoh
Function Composition and Task Mapping
Composition Kernel: A Multi-core Processor Virtualization Layer for Rich Functional Smart Products / Tatsuo Nakajima ; Yuki Kinebuchi ; Alexandre Courbot ; Hiromasa Shimada ; Tsung-Han Lin ; Hitoshi Mitake
Mobile Phone Assisted Cooperative On-Node Processing for Physical Activity Monitoring / Robert Diemer ; Samarjit Chakraborty
Author Index
Invited Program
Component-Based Design of Embedded Systems (Abstract) / Hermann Kopetz
AUTOSAR Appropriates Functional Safety and Multi-core Exploitation (Abstract) / Bert Böddeker ; Rafael Zalman
71.

電子ブック

EB
Dominique Méry, Takeo Kanade, Stephan Merz
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2010
所蔵情報: loading…
72.

電子ブック

EB
Holger Giese, Takeo Kanade, Gabor Karsai, Gábor Karsai, Edward Lee, Bernhard Rumpe, Bernhard Schätz
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2010
所蔵情報: loading…
73.

電子ブック

EB
Mike Dean, John Hall, Takeo Kanade, Antonino Rotolo, Said Tabet
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2010
所蔵情報: loading…
目次情報: 続きを見る
Keynotes and Invited Demos
Logical Spreadsheets / Michael Genesereth
NIEM Canonical XML Dictionaries and Rule Engine Systems / David Webber
Implementing SBVR with a Practitioner's Perspective / Donald Chapin
Rules and Uncertainty
A Practical Management of Fuzzy Truth-Degrees Using Floper / Pedro J. Morcillo ; Ginés Moreno ; Jaime Penabad ; Carlos Vázquez
A Rule-Based Implementation of Fuzzy Tableau Reasoning / Stefano Bragaglia ; Federico Chesani ; Paola Mello ; Davide Sottara
Rule-Based Event Processing and Reaction Rules
Ensuring Compliance with Semantic Constraints in Process Adaptation with Rule-Based Event Processing / Akhil Kumar ; Wen Yao ; Chao-Hsien Chu ; Zang Li
Establishing a Procedure Model for Combining and Synergistically Aligning Business Rules and Processes within Ontologies / Alexander Sellner ; Adrian Paschke ; Erwin Zinser
Rules and Inferencing
Rule-Based Contextual Reasoning in Ambient Intelligence / Antonis Bikakis ; Grigoris Antoniou
Enhancing a Smart Space with Answer Set Programming / Vesa Luukkala ; Ilkka Niemelä
Superiority Based Revision of Defeasible Theories / Guido Governatori ; Francesco Olivieri ; Simone Scannapieco ; Matteo Cristani
On the problem of Computing Ambiguity Propagation and Well-Founded Semantics in Defeasible Logic / Ho-Pun Lam
Rule Transformation and Extraction
Generating SQL Queries from SBVR Rules / Sotiris Moschoyiannis ; Alexandros Marinos ; Paul Krause
Representing Financial Reports on the Semantic Web: A Faithful Translation from XBRL to OWL / Jie Boo ; Graham Rong ; Xian Li ; Li Ding
Transformation of SBVR Compliant Business Rules to Executable FCL Rules / Aqueo Kamada ; Shazia Sadiq
Rules, Semantic Technology, and Cross-Industry Standards
RuleML 1.0: The Overarching Specification of Web Rules / Harold Boley ; Omair Shafiq
Rules and Norms Defining Access Control Rules with Conditions / Mark H. Linehan
Norm Compliance in Business Process Modeling / Antonino Rotolo
Application of an Ontology-Based and Rule-Based Model to Selected Economic Crimes: Fraudulent Disbursement and Money Laundering / Jaros Bak ; Czeslaw Jedrzejek ; Maciej Falkowski
Rule-Based Distributed/Multi-Agent Systems
A Contract, Agreement Policy-Based Workflow Methodology for Agents Interacting in the Semantic Web / Kalliopi Kravari ; Grammati-Eirini Kastori ; Nick Bassiliades
Towards the Web of Models: A Rule-Driven RESTful Architecture for Distributed Systems
Miscellaneous Rule Topics
Visualizing Logical Dependencies in SWRL Rule Bases / Saeed Hassanpour ; Martin J. O'Connor ; Amar K. Das
An XML Format for Association Rule Models Based on the GUHA Method / Tomás Kliegr ; Jan Rauch
Realizing Integrated Service Delivery through a Language for Collective Understanding of Business Rules / Sietse Overbeek ; Marijn Janssen ; Patrick van Bommel
Authoring Business Rules Grounded in OWL Ontologies / Amina Chniti ; Sylvain Dehors ; Patrick Albert ; Jean Charlet
Author Index
Keynotes and Invited Demos
Logical Spreadsheets / Michael Genesereth
NIEM Canonical XML Dictionaries and Rule Engine Systems / David Webber
74.

電子ブック

EB
Jeffrey Parsons, Takeo Kanade, Motoshi Saeki, Peretz Shoval, Yair Wand, Carson Woo, Association for Computing Machinery-Digital Library.
出版情報: Springer eBooks Computer Science , 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
75.

電子ブック

EB
Juan Trujillo, Gillian Dobbie, Flavius Frasincar, Sven Hartmann, Takeo Kanade, Hannu Kangassalo, Markus Kirchberg, Iris Reinhartz-Berger, Matti Rossi, Esteban Zimányi
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2010
所蔵情報: loading…
目次情報: 続きを見る
SeCoGIS 2010-Fourth International Workshop on Semantic and Conceptual Issues in Geographic Information Systems
Preface to SeCoGIS 2010 / Jean Brodeur ; Esteban Zimanyi
Semantical Aspects
W-Ray: A Strategy to Publish Deep Web Geographic Data / Helena Piccinini ; Melissa Lemos ; Marco A. Casanova ; Antonio L. Furtado
G-Map Semantic Mapping Approach to Improve Semantic Interoperability of Distributed Geospatial Web Services / Mohamed Bakillah ; Mir Abolfazl Mostafavi
MGsP: Extending the GsP to Support Semantic Interoperability of Geospatial Datacubes / Tarek Sboui ; Yvan Bédard
Implementation Aspects
Range Queries over a Compact Representation of Minimum Bounding Rectangles / Nieves R. Brisaboa ; Miguel R. Luaces ; Gonzalo Navarro ; Diego Seco
A Sensor Observation Service Based on OGC Specifications for a Meteorological SDI in Galicia / José R.R. Viqueira ; José Varela ; Joaquín Triñanes ; José M. Cotos
CMLSA 2010-Third International Workshop on Conceptual Modeling for Life Sciences Applications
Preface to CMLSA 2010 / Yi-Ping Phoebe Chen ; Sven Hartmann ; Jing Wang
Conceptual Modelling for Bio-, Eco- and Agroinformatics
Provenance Management in BioSciences / Sudha Ram ; Jun Liu
Ontology-Based Agri-Environmental Planning for Whole Farm Plans / Hui Ma
CMS 2010-First International Workshop on Conceptual Modeling of Service
Preface to CMS 2010 / Markus Kirchberg ; Bernhard Thalheim
Modeling Support for Service Integration
A Formal Model for Service Mediators / Klaus-Dieter Schewe ; Qing Wang
Reusing Legacy Systems in a Service-Oriented Architecture: A Model-Based Analysis / Yeimi Peña ; Dario Correal ; Tatiana Hernandez
Intelligent Author Identification / René Noack
Modeling Techniques for Services
Abstraction, Restriction, and Co-creation: Three Perspectives on Services / Maria Bergholtz ; Birger Andersson ; Paul Johannesson
The Resource-Service-System Model for Service Science / Geert Poels
ACM-L 2010 The 3rd International Workshop on Active Conceptual Modeling of Learning, ACM-L
Preface to ACM-L 2010 / Hannu Kangassalo ; Sal March ; Leah Wong
Advances in Active Conceptual Modeling of Learning
ACM-L 2010
Towards a Framework for Emergent Modeling / Ajantha Dahanayake
When Entities Are Types: Effectively Modeling Type-Instantiation Relationships / Faiz Currim
ACM-L 2009
KBB: A Knowledge-Bundle Builder for Research Studies / David W. Embley ; Stephen W. Liddle ; Deryle W. Lonsdale ; Aaron Stewart ; Cui Tao
WISM 2010-The 7th International Workshop on Web Information Systems Modeling
Preface to WISM 2010 / Flavius Frasincar ; Geert-Jan Houben ; Philippe Thiran
Web Information Systems Development and Analysis Models
Integration of Dialogue Patterns into the Conceptual Model of Storyboard Design / Markus Berg ; Antje Düsterhöft
Model-Driven Development of Multidimensional Models from Web Log Files / Paul Hernández ; Irene Garrigós ; Jose-Norberto Mazón
Web Technologies and Applications
Integrity Assurance for RESTful XML / Sebastian Graf ; Lukas Lewandowski ; Marcel Waldvogel
Collaboration Recommendation on Academic Social Networks / Giseli Rabello Lopes ; Mirella M. Moro ; Leandro Krug Wives ; José Palazzo Moreira de Oliveira
Mining Economic Sentiment Using Argumentation Structures / Alexander Hogenboom ; Frederik Hogenboom ; Uzay Kaymak ; Paul Wouters ; Franciska de Jong
DE@ER 2010-Domain Engineering
Preface to DE@ER 2010 / Iris Reinhartz-Berger ; Arnon Sturm ; Jorn Bettin ; Tony Clark ; Sholom Cohen
Methods and Tools in Domain Engineering
Evaluating Domain-Specific Modelling Solutions / Parastoo Mohagheghi ; Øystein Haugen
Towards a Reusable Unified Basis for Representing Business Domain Knowledge and Development Artifacts in Systems Engineering / Thomas Kofler ; Daniel Ratiu
DaProS: A Data Property Specification Tool to Capture Scientific Sensor Data Properties / Irbis Gallegos ; Ann Q. Gates ; Craig Tweedie
FP-UML 2010-Sixth International Workshop on Foundations and Practices of UML
Preface to FP-UML 2010 / Gunther Pernul ; Matti Rossi
Semantics and Ontologies in UML
Incorporating UML Class and Activity Constructs into UEML / Andreas L. Opdahl
Data Modeling Is Important for SOA / Michael Blaha
Representing Collectives and Their Members in UML Conceptual Models: An Ontological Analysis / Giancarlo Guizzardi
Automation and Transformation in UML
UML Activities at Runtime: Experiences of Using Interpreters and Running Generated Code / Dominik Gessenharter
Model-Driven Data Migration / Mohammed Aboulsamh ; Edward Crichton ; Jim Davies ; James Welch
Author Index
SeCoGIS 2010-Fourth International Workshop on Semantic and Conceptual Issues in Geographic Information Systems
Preface to SeCoGIS 2010 / Jean Brodeur ; Esteban Zimanyi
Semantical Aspects
76.

電子ブック

EB
Regina Bernhaupt, Peter Forbrig, Jan Gulliksen, Takeo Kanade, Marta Lárusdóttir
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2010
所蔵情報: loading…
目次情報: 続きを見る
Collaborative Work
Approaches to Software Engineering: A Human-Centred Perspective / Liam J. Bannon
The APEX Framework: Prototyping of Ubiquitous Environments Based on Petri Nets / José Luís Silva ; Óscar R. Ribeiro ; João M. Fernandes ; José Creissac Campos ; Michael D. Harrison
Model-Based Design and Implementation of Interactive Spaces for Information Interaction / Hans-Christian Jetter ; Jens Gerken ; Michael Zöllner ; Harald Reiterer
ViSE-A Virtual Smart Environment for Usability Evaluation / Stefan Propp ; Peter Forbrig
Context of Use
A Domain Specific Language for Contextual Design / Balbir S. Barn ; Tony Clark
An MDE Approach for User Interface Adaptation to the Context of Use / Wided Bouchelligua ; Adel Mahfoudhi ; Lassaad Benammar ; Sirine Rebai ; Mourad Abed
Desktop-to-Mobile Web Adaptation through Customizable Two-Dimensional Semantic Redesign / Fabio Paternò ; Giuseppe Zichittella
User-Aware Systems
Extending UsiXML to Support User-Aware Interfaces / Ricardo Tesoriero ; Jean Vanderdonckt
The Secret Lives of Assumptions: Developing and Refining Assumption Personas for Secure System Design / Shamal Faily ; Ivan Fléchais
Dazed and Confused Considered Normal: An Approach to Create Interactive Systems for People with Dementia / Nasim Mahmud ; Joë Vogt ; Kris Luyten ; Karin Slegers ; Jan Van den Bergh ; Karin Coninx
Model-Based Development
Supporting Multimodality in Service-Oriented Model-Based Development Environments / Marco Manca
RTME: Extension of Role-Task Modeling for the Purpose of Access Control Specification / Birgit Bomsdorf
Web Applications Usability Testing with Task Model Skeletons / Ivo Maly ; Zdenek Mikovec
HCI Activities
Evaluating Relative Contributions of Various HCI Activities to Usability / Anirudha Joshi ; NL Sarda
AFFINE for Enforcing Earlier Consideration of NFRs and Human Factors when Building Socio-Technical Systems Following Agile Methodologies / Mohamed Bourimi ; Thomas Barth ; Joerg M. Haake ; Bernd Ueberschär ; Dogan Kesdogan
Understanding Formal Description of Pitch-Based Input / Ondrej Polácek ; Zdenek Míkovec
Posters
Application Composition Driven By UI Composition / Christian Brel ; Philippe Renevier-Gonin ; Audrey Occello ; Anne-Marie Déry-Pinna ; Catherine Faron-Zucker ; Michel Riveill
Methods for Efficient Development of Task-Based Applications / Vaclav Slovacek
Towards an Integrated Model for Functional and User Interface Requirements / Rabeb Mizouni ; Daniel Sinnig ; Ferhat Khendek
Author Index
Collaborative Work
Approaches to Software Engineering: A Human-Centred Perspective / Liam J. Bannon
The APEX Framework: Prototyping of Ubiquitous Environments Based on Petri Nets / José Luís Silva ; Óscar R. Ribeiro ; João M. Fernandes ; José Creissac Campos ; Michael D. Harrison
77.

電子ブック

EB
Eitan Frachtenberg, Takeo Kanade, Uwe Schwiegelshohn
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2010
所蔵情報: loading…
目次情報: 続きを見る
Resource Provisioning in SLA-Based Cluster Computing / Kaiqi Xiong ; Sang Suh
An Advance Reservation-Based Co-allocation Algorithm for Distributed Computers and Network Bandwidth on QoS-Guaranteed Grids / Atsuko Takefusa ; Hidemoto Nakada ; Tomohiro Kudoh ; Yoshio Tanaka
A Greedy Double Auction Mechanism for Grid Resource Allocation / Ding Ding ; Siwei Luo ; Zhan Gao
Risk Aware Overbooking for Commercial Grids / Georg Birkenheuer ; André Brinkmann ; Holger Karl
The Gain of Resource Delegation in Distributed Computing Environments / Alexander Fölling ; Christian Grimme ; Joachim Lepping ; Alexander Papaspyrou
A Moldable Online Scheduling Algorithm and Its Application to Parallel Short Sequence Mapping / Erik Saule ; Doruk Bozdag ; Umit V. Catalyurek
Dynamic Proportional Share Scheduling in Hadoop / Thomas Sandholm ; Kevin Lai
The Importance of Complete Data Sets for Job Scheduling Simulations / Dalibor Klusácek ; Hana Rudová
Hierarchical Scheduling of DAG Structured Computations on Manycore Processors with Dynamic Thread Grouping / Yinglong Xia ; Viktor K. Prasanna ; James Li
Multiplexing Low and High QoS Workloads in Virtual Environments / Sam Verboven ; Kurt Vanmechelen ; Jan Broeckhove
Proposal and Evaluation of APIs for Utilizing Inter-Core Time Aggregation Scheduler / Satoshi Yamada ; Shigeru Kusakabe
Using Inaccurate Estimates Accurately / Dan Tsafrir
Author Index
Resource Provisioning in SLA-Based Cluster Computing / Kaiqi Xiong ; Sang Suh
An Advance Reservation-Based Co-allocation Algorithm for Distributed Computers and Network Bandwidth on QoS-Guaranteed Grids / Atsuko Takefusa ; Hidemoto Nakada ; Tomohiro Kudoh ; Yoshio Tanaka
A Greedy Double Auction Mechanism for Grid Resource Allocation / Ding Ding ; Siwei Luo ; Zhan Gao
78.

電子ブック

EB
Alexandre Petrenko, Takeo Kanade, José Carlos Maldonado, Adenilso Simão
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2010
所蔵情報: loading…
目次情報: 続きを見る
Test Automation with TTCN-3 - State of the Art and a Future Perspective (Invited Talk) / Ina Schieferdecker
A Model-Based Approach to Testing Software for Critical Behavior and Properties (Abstract of Invited Talk) / Constance Heitmeyer
A Pareto Ant Colony Algorithm Applied to the Class Integration and Test Order Problem / Rafael da Veiga Cabral ; Aurora Pozo ; Silvia Regina Vergilio
More Testable Properties / Yliès Falcone ; Jean-Claude Fernandez ; Thierry Jéron ; Hervé Marchand ; Laurent Mounier
Alternating Simulation and IOCO / Margus Veanes ; Nikolaj Bjørner
Reducing the Cost of Model-Based Testing through Test Case Diversity / Hadi Hemmati ; Andrea Arcuri ; Lionel Briand
Built-in Data-Flow Integration Testing in Large-Scale Component-Based Systems / Éric Piel ; Alberto Gonzalez-Sanchez ; Hans-Gerhard Gross
Black-Box System Testing of Real-Time Embedded Systems Using Random and Search-Based Testing / Muhammad Zohaib Iqbal
Testing Product Generation in Software Product Lines Using Pairwise for Features Coverage / Beatriz Pérez Lamancha ; Macario Polo Usaola
Increasing Functional Coverage by Inductive Testing: A Case Study / Neil Walkinshaw ; Kirill Bogdanov ; John Derrick ; Javier Paris
FloPSy - Search-Based Floating Point Constraint Solving for Symbolic Execution / Kiran Lakhotia ; Nikolai Tillmann ; Mark Harman ; Jonathan de Halleux
Test Data Generation for Programs with Quantified First-Order Logic Specifications / Christoph D. Gladisch
Efficient Distributed Test Architectures for Large-Scale Systems / Eduardo Cunha de Almeida ; João Eugenio Marynowski ; Gerson Sunyé ; Yves Le Traon ; Patrick Valduriez
Generating Models of Infinite-State Communication Protocols Using Regular Inference with Abstraction / Fides Aarts ; Bengt Jonsson ; Johan Uijen
Practical End-to-End Performance Testing Tool for High Speed 3G-Based Networks / Hiroyuki Shinbo ; Atsushi Tagami ; Shigehiro Ano ; Toru Hasegawa ; Kenji Suzuki
A Learning-Based Approach to Unit Testing of Numerical Software / Karl Meinke ; Fei Niu
From Scenarios to Test Implementations via Promela / Andreas Ulrica ; El-Hachemi Alikacem ; Hesham H. Hallal ; Sergiy Boroday
Vidock: A Tool for Impact Analysis of Aspect Weaving on Test Cases / Romain Delamare ; Freddy Munoz ; Benoit Baudry
Author Index
Test Automation with TTCN-3 - State of the Art and a Future Perspective (Invited Talk) / Ina Schieferdecker
A Model-Based Approach to Testing Software for Critical Behavior and Properties (Abstract of Invited Talk) / Constance Heitmeyer
A Pareto Ant Colony Algorithm Applied to the Class Integration and Test Order Problem / Rafael da Veiga Cabral ; Aurora Pozo ; Silvia Regina Vergilio
79.

電子ブック

EB
Howard Barringer, Ylies Falcone, Bernd Finkbeiner, Klaus Havelund, Takeo Kanade, Insup Lee, Gordon Pace, Grigore Roşu, Oleg Sokolsky, Nikolai Tillmann
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2010
所蔵情報: loading…
目次情報: 続きを見る
Keynotes
The Authoring Challenge in Interactive Storytelling / Michael Mateas
From a Winter's Night to a Dragon Age / Alex Whittaker
Designing Social Worlds - On Intrigue and Interaction in Live Action Role Playing Games (LARPS) / Carl Heath
Characters and Decision Making
MIST: An Interactive Storytelling System with Variable Character Behavior / Richard Paul ; Darryl Charles ; Michael McNeill ; David McSherry
Importance of Well-Motivated Characters in Interactive Narratives: An Empirical Evaluation / Mei Si ; Stacy Marsella ; David Pynadath
"I Want to Slay That Draeon!" - Influencing Choice in Interactive Storytelling / Rui Figueiredo ; Ana Paiva
Story Evaluation and Analysis
Measuring User Responses to Interactive Stories: Towards a standardized Assessment Tool / Ivar E. Vermeulen ; Christian Roth ; Peter Vorderer ; Christoph Klimmt
One Tool-Many Paradigm: Creativity and Regularity in Youngsters' Hyperstories / France Garzotto ; Elina Herrero ; Fernando Salgueiro
Exploring Narrative Interpretation and Adaptation for Interactive story Creation / Ulrike Spierling ; Steve Hoffmann
Narrative Annotation and Editing of Video / Vincenzo Lombardo ; Rossana Damiano
Story Generation
A Story to Go, Please / Frank Nack ; Abdallah El Ali ; Philo van Kemenade ; Jan Overgoor ; Bastiaan van der Weij
Threading Facts into a Collective Narrative World / Silvia Likavec ; Ilaria Lombardi ; Alberto Nantiat ; Claudia Picardi ; Daniele Theseider Dupré
Learning Story Marketing through Practical Experience of Story Creation System / Kaoru Sumi
Enhancing Real-Time Sports Commentary Generation with Dramatic Narrative Devices / Martin Rhodes ; Simon Coupland ; Tracy Cruickshank
Zuzie: Collaborative Storytelling Baaed on Multiple Compositions / Yoshiyuki Nakamura ; Maiko Kobayakawa ; Chisato Takami ; Yuta Tsuruga ; Hidekazv Kubota ; Masahiro Hamasaki ; Takuichi Nishimura ; Takeshi Sunaga
An Interactive Documentary Manifesto / Andre Almeida ; Heitor Alvelos
Arts and Humanities
Rhetorics of the Interactive 3D Installation "Virtuelle Mauer/ReConstructing the Wall" / Tamiko Thiel ; Teresa Reuter
From Physical to Non-Material Art - Design Choices of the Digital Artist / Teemu Korpilahti
The iLand of Madeira Location Aware Multimedia Stories / Mara Dionisio ; Valentina Nisi ; Jos P. van Leeuwen
Narrative Theories and Modelling
Modeling of Interactive Storytelling and Validation of Scenario by Means of Linear Logic / Kim Dung Dang ; Ronan Champagnat ; Michel Augeraud
An Analysis of Narrative Moves in Improvisational Theatre / Allan Baumer ; Brian Magerko
Towards a Theoretical Framework for Interactive Digital Narrative / Hartmut Koenitz
Systems
A Data-Driven Case-Based Reasoning Approach to Interactive Storytelling / Reid Swanson ; Andrew S. Gordon
Somethings Gotta Give - Towards Distributed Autonomous Story Appraisal in Improv / António Brisson
A Simple Intensity-Based Drama Manager / Christopher Ramsley ; Matthew Fugere ; Randi Pawson ; Charles Rich ; Dean O'Donnell
Applications
Player Agency and the Relevance of Decisions / David Thue ; Vadim Bulitko ; Marcia Spetch ; Trevon Romanuik
Interactive Storytelling in Academic Teaching / Wolfgang Heiden ; Matthias Räder ; Eric Fassbender
Teaching English as a Second Language Utilizing Authoring Tools for Interactive Digital Storytelling / Wolfgang Müller ; Ido Iurgel ; Nuno Otero ; Ute Mossler
Posters
Textual vs. Graphical Interaction in an Interactive Fiction Game / Manish Mehta ; Andrea Corradini ; Santiago Ontañón ; Peter Juel Henrichsen
Motivations for Rereading in Interactive Stories: A Preliminary Investigation / Alex Mitchell
The Haiti Earthquake Experience: A Case Study / Michael Gibson ; President Zapdramatic
First Person Victim: Developing a 3D Interactive Dramatic Experience / Henrik Schoenau-Fog ; Luis Emilio Bruni ; Faysal Fuad Khalil ; Jawid Faizi
Combining Explicit and Implicit Interaction Modes with Virtual Characters in Public Spaces / Pedro Ribeiro ; Tiago Silva ; Rui José
Louis, Mr Dog and Rabbit: Metalepsis in Interactive Narrative / Stuart Jones
Automated Storytelling in Sports: A Rich Domain to Be Explored / Greg Lee
Level-of-Detail Stories as a Virtual Museum of a Movie / Eliška Pätoprstá ; Elena Šikudová ; Andrej Ferko
Establishing Communication Channels for Digital Storytelling Applications / David Oyarzun ; María del Puy Carretero ; Andoni Mujika ; Aitor Arrieta
Agency and the Art of Interactive Digital Storytelling / Noam Knoller
Realism and Virtuality: Carmageddon as Contemporary Simulacrum Model / Katarina Peovic Vukovic
Demonstrations
Emohawk: Learning Virtual Characters by Doing / Michal Bída ; Cyril Brom
Crowd-Sourced AI Authoring with ENIGMA / Michael Kriegel ; Ruth Aylett
Using Highly Interactive Drama to Help Young People Cope with Traumatic Situations / Nicolas Szilas ; Urs Richle ; Thomas Boggini ; Jean Dumas
Stories on a Sphere: Hyperglobes as Narrative Platforms for Global Geodata / Florian Hruby ; Andreas Riedl
Workshops
Users and Evaluation of Interactive Storytelling / Nelson Zagalo ; Sandy Louchart ; Maria T. Soto-Sanfiel
Workshop: Education in Interactive Digital Storytelling
Interactive Stories for Health Interventions / Lynn Miller
Towards a Shared Vocabulary for Interactive Digital Storytelling / Mads Haahr ; Gabriele Ferri ; Tonguc Ibrahim Sezen
Storytelling within an Internet of Things / Chris Speed ; Arthi Kanchana Manohar
Just Another Tool for Interactive Digital Storytelling? A 1-Day Workshop on Korsakow / Ana Boa- Ventura ; Helena Lopes ; Inês Rodrigues
Tutorial
Introduction to Interactive Story Creation
Author Index
Keynotes
The Authoring Challenge in Interactive Storytelling / Michael Mateas
From a Winter's Night to a Dragon Age / Alex Whittaker
80.

電子ブック

EB
Rob Brennan, Joel Fleck, Takeo Kanade, Sven Meer
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2010
所蔵情報: loading…
目次情報: 続きを見る
Autonomics in Home Area Networks and Multimedia / Session A:
Design of a HAN Autonomic Control Loop / Jesse Kielthy ; Kevin Quinn ; Raquel Toribio ; Pablo Arozarena ; Sidath Handurukande ; Marc Garcia Mateos ; Martin Zach
Towards Automated Analysis and Optimization of Multimedia Streaming Services Using Clustering and Semantic Techniques / Liam Fallon ; Yangcheng Huang ; Declan O'Sullivan
The Design of a Quality of Experience Model for Providing High Quality Multimedia Services / Arum Kwon ; Joon-Myung Kang ; Sin-seok Seo ; Sung-Su Kim ; Jae Yoon Chung ; John Strassner ; James Won-Ki Hong
Ontologies, Experience, Adaptive Systems and Federation / Session B:
An Ontology-Driven Semantic Bus for Autonomic Communication Elements / Jeroen Famaey ; Steven Latré ; Filip De Turck
Towards a Service Delivery Based on Customer eXperience Ontology: Shift from Service to eXperience / Khalil ur Rehman Laghari ; Imen Grida Ben Yahya ; Noel Crespi
An Architecture for Affective Management of Systems of Adaptive Systems / Kevin Feeney ; John Keeney ; Rob Brennan
A Policy Authoring Process and DEN-ng Model Extension for Federation Governance / Jason Barron ; Steven Davy ; Brendan Jennings
Modelling for Virtualised Infrastructure / Session C:
An Introduction to Network Stack Design using Software Design Patterns / Patrick Phelan ; Zohra Boudjemil ; Miguel Ponce de Leon ; Sven van der Meer
Towards a Context-Aware Information Model for Provisioning and Managing Virtual Resources and Services / Yeongrak Choi ; Jian Li ; Yoonseon Han
A Framework for Automated Fault Recovery Planning in Large-Scale Virtualized Infrastructures / Feng Liu ; Vitalian A. Danciu ; Pavlo Kerestey
Author Index
Autonomics in Home Area Networks and Multimedia / Session A:
Design of a HAN Autonomic Control Loop / Jesse Kielthy ; Kevin Quinn ; Raquel Toribio ; Pablo Arozarena ; Sidath Handurukande ; Marc Garcia Mateos ; Martin Zach
Towards Automated Analysis and Optimization of Multimedia Streaming Services Using Clustering and Semantic Techniques / Liam Fallon ; Yangcheng Huang ; Declan O'Sullivan
81.

電子ブック

EB
Jin Song Dong, Takeo Kanade, Huibiao Zhu
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2010
所蔵情報: loading…
82.

電子ブック

EB
Frank S. Boer, Marcello M. Bonsangue, Stefan Hallerstede, Takeo Kanade, Michael Leuschel
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2010
所蔵情報: loading…
目次情報: 続きを見る
The BIONETS Project
A Framework for Reasoning on Component Composition / Ludovic Henrio ; Florian Kammüller ; Muhammad Uzair Khan
The COMPAS Project
Verification of Context-Dependent Channel-Based Service Models / Natallia Kokash ; Christian Krause ; Erik P. de Vink
The CREDO Project
The Credo Methodology (Extended Version) / Immo Grabe ; Mohammad Mahdi Jaghoori ; Joachim Klein ; Sascha Klüppelholz ; Andries Stam ; Christel Baier ; Tobias Blechmann ; Bernhard K. Aichernig ; Frank de Boer ; Andreas Griesmayer ; Einar Broch Johnsen ; Marcel Kyas ; Wolfgang Leister ; Rudolf Schlatte ; Martin Steffen ; Simon Tschirner ; Liang Xuedong ; Wang Yi
The DEPLOY Project
Guided Formal Development: Patterns for Modelling and Refinement / Alexei Iliasov ; Elena Troubitsyna ; Linas Laibinis ; Alexander Romanovsky
Applying Event-B Atomicity Decomposition to a Multi Media Protocol / Asieh Salehi Fathabadi ; Michael Butler
The FM-SOA Working Group
Abstract Certification of Global Non-interference in Rewriting Logic / Mauricio Alba-Castro ; María Alpuente ; Santiago Escobar
The HATS Project
Interleaving Symbolic Execution and Partial Evaluation / Richard Bubel ; Reiner Hähnle ; Ran Ji
The INESS Project
The Use of Model Transformation in the INESS Project / Osmar M. dos Santos ; Jim Woodcock ; Richard F. Paige ; Steve King
Suitability of mCRL2 for Concurrent-System Design: A 2 x 2 Switch Case Study / Frank P.M. Stappers ; Michel A. Reniers ; Jan Friso Groote
The MOGENTES Project
Mapping UML to Labeled Transition Systems for Test-Case Generation: A Translation via Object-Oriented Action Systems / Willibald Krenn ; Rupert Schlick
Mutation-Based Test Case Generation for Simulink Models / Angelo Brillout ; Nannan He ; Michele Mazzucchi ; Daniel Kroening ; Mitra Purandare ; Philipp Rümmer ; Georg Weissenbacher
Model-Based Mutation Testing of Hybrid Systems / Harald Brandl ; Elisabeth Jöbstl
The PROTEST Project
Property-Based Testing - The ProTest Project / John Derrick ; Neil Walkinshaw ; Thomas Arts ; Clara Benac Earle ; Francesco Cesarini ; Lars-Ake Fredlund ; Victor Gulias ; John Hughes ; Simon Thompson
Incrementally Discovering Testable Specifications from Program Executions
The QUASIMODO Project
Methodologies for Specification of Real-Time Systems Using Timed I/O Automata / Alexandre David ; Kim G. Larsen ; Axel Legay ; Ulrik Nyman ; Andrzej Wasowski
The How and Why of Interactive Markov Chains / Holger Hermanns ; Joost-Pieter Katoen
Author Index
The BIONETS Project
A Framework for Reasoning on Component Composition / Ludovic Henrio ; Florian Kammüller ; Muhammad Uzair Khan
The COMPAS Project
83.

電子ブック

EB
Simon Siegler, Takeo Kanade, Nathan Wasser
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2010
所蔵情報: loading…
目次情報: 続きを見る
Programming Inductive Proofs: A New Approach Based on Contextual Types / Brigitte Pientka
Termination Graphs for Java Bytecode / Marc Brockschmidt ; Carsten Otto ; Christian von Essen ; Jürgen Giesl
Specifying and Verifying Organizational Security Properties in First-Order Logic / Christoph Brandt ; Jens Otten ; Christoph Kreitz ; Wolfgang Bibel
Change Management for Heterogeneous Development Graphs / Serge Autexier ; Dieter Hutter ; Till Mossakowski
The VATES-Diamond as a Verifier's Best Friend / Sabine Glesner ; Björn Bartels ; Thomas Göthel ; Moritz Kleine
Dynamic Rippling, Middle-Out Reasoning and Lemma Discovery / Moa Johansson ; Lucas Dixon ; Alan Bundy
Verifying the Modal Logic Cube Is an Easy Task (For Higher-Order Automated Reasoners) / Christoph Benzmüller
Second-Order Programs with Preconditions / Markus Aderhold
Author Index
Programming Inductive Proofs: A New Approach Based on Contextual Types / Brigitte Pientka
Termination Graphs for Java Bytecode / Marc Brockschmidt ; Carsten Otto ; Christian von Essen ; Jürgen Giesl
Specifying and Verifying Organizational Security Properties in First-Order Logic / Christoph Brandt ; Jens Otten ; Christoph Kreitz ; Wolfgang Bibel
84.

電子ブック

EB
Antonio Casimiro, Cristina Gacek, Takeo Kanade, Rogério Lemos
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2010
所蔵情報: loading…
目次情報: 続きを見る
Mobile and Ubiquitous Systems / Part 1:
Self-healing for Pervasive Computing Systems / Themistoklis Bourdenas ; Morris Sloman ; Emil C. Lupu
Self Organization and Self Maintenance of Mobile Ad Hoc Networks through Dynamic Topology Control / Douglas M. Blough ; Giovanni Resta ; Paolo Santi ; Mauro Leoncini
Data Backup for Mobile Nodes: A Cooperative Middleware and an Experimentation Platform / Marc-Olivier Killijian ; Matthieu Roy
Architecting Systems / Part 2:
Identification of Security Requirements in Systems of Systems by Functional Security Analysis / Andreas Fuchs ; Roland Rieke
Implementing Reliability: The Interaction of Requirements, Tactics and Architecture Patterns / Neil B. Harrison ; Paris Avgeriou
A Framework for Flexible and Dependable Service-Oriented Embedded Systems / Shane Brennan ; Serena Fritsch ; Yu Liu ; Ashley Sterritt ; Jorge Fox ; Éamonn Linehan ; Cormac Driver ; René Meier ; Vinny Cahill ; William Harrison ; Siobhán Clarke
Architecting Robustness and Timeliness in a New Generation of Aerospace Systems / José Rufino ; João Craveiro ; Paulo Verissimo
Fault Management / Part 3:
Architecting Dependable Systems with Proactive Fault Management / Felix Salfner ; Miroslaw Malek
ASDF: An Automated, Online Framework for Diagnosing Performance Problems / Keith Bare ; Soila P. Kavulya ; Jiaqi Tan ; Xinghao Pan ; Eugene Marinelli ; Michael Kasick ; Rajeev Gandhi ; Priya Narasimhan
Experience and Vision / Part 4:
Is Collaborative QoS the Solution to the SOA Dependability Dilemma? / Matti A. Hiltunen ; Richard D. Schlichting
Software Assumptions Failure Tolerance: Role, Strategies, and Visions / Vincenzo De Florio
Architecting Dependable Systems Using Reflective Computing: Lessons Learnt and Some Challenges / Jean-Charles Fabre
Architecting and Validating Dependable Systems: Experiences and Visions / Andrea Bondavalli ; Andrea Ceccarelli ; Paolo Lollini
Author Index
Mobile and Ubiquitous Systems / Part 1:
Self-healing for Pervasive Computing Systems / Themistoklis Bourdenas ; Morris Sloman ; Emil C. Lupu
Self Organization and Self Maintenance of Mobile Ad Hoc Networks through Dynamic Topology Control / Douglas M. Blough ; Giovanni Resta ; Paolo Santi ; Mauro Leoncini
85.

電子ブック

EB
Gregor Engels, Takeo Kanade, Claus Lewerentz, Wilhelm Schäfer, Andy Schürr, Bernhard Westfechtel
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2010
所蔵情報: loading…
目次情報: 続きを見る
Graph Transformations and Model-Driven Engineering: The Merits of Manfred Nagl / Gregor Engels ; Claus Lewerentz ; Wilhelm Schäfer ; Andy Schürr ; Bernhard Westfechtel
Graph Transformations: Theory and Applications
The Edge of Graph Transformation-Graphs for Behavioural Specification / Arend Rensink
Graph Transformation by Computational Category Theory / Mark Minas ; Hans Jürgen Schneider
On GS-Monoidal Theories for Graphs with Nesting / Roberto Bruni ; Andrea Corradini ; Fabio Gadducci ; Alberto Lluch Lafuente ; Ugo Montanari
Stochastic Modelling and Simulation of Mobile Systems / Reiko Heckel ; Paolo Torrini
Autonomous Units and Their Semantics - The Concurrent Case / Hans-Jörg Kreowski ; Sabine Kuske
Parallel Independence of Amalgamated Graph Transformations Applied to Model Transformation / Enrico Biermann ; Hartmut Ehrig ; Claudia Ermel ; Ulrike Golas ; Gabriele Taentzer
Extended Triple Graph Grammars with Efficient and Compatible Graph Translators / Felix Klar ; Marius Lauder ; Alexander Königs
Controlling Reuse in Pattern-Based Model-to-Model Transformations / Esther Guerra ; Juan de Lara ; Fernando Orejas
Lessons Learned from Building a Graph Transformation System / Gabor Karsai
Workflow-Driven Tool Integration Using Model Transformations / András Balogh ; Gábor Bergmann ; György Csertán ; László Gönczy ; Ákos Horváth ; István Majzik ; András Pataricza ; Balázs Polgár ; István Ráth ; Dániel Varró ; Gergely Varró
Software Architectures and Reengineering
The Architecture Description Language MoDeL / Peter Klein
Towards Managing Software Architectures with Ontologies / Marcel Bennicke
Using Role-Play Diagrams to Improve Scenario Role-Play / Jürgen Börstler
Reverse Engineering Using Graph Queries / Jürgen Ebert ; Daniel Bildhauer
Graph-Based Structural Analysis for Telecommunication Systems / André Marburger
Process Support
Do We Really Know How to Support Processes? Considerations and Reconstruction / Stefan Jablonski
A Meta-Method for Defining Software Engineering Methods / Stefan Sauer
Techniques for Merging Views of Software Processes / Josée Tassé ; Nazim H. Madhavji ; Amandeep Azad
Embedded Systems Engineering
Model Checking Programmable Router Configurations / Luca Zanolin ; Cecilia Mascolo ; Wolfgang Emmerich
Architectural Issues of Adaptive Pervasive Systems / Mauro Caporuscio ; Marco Funaro ; Carlo Ghezzi
Using Graph Grammars for Modeling Wiring Harnesses - An Experience Report / Albert Zündorf ; Leif Geiger ; Ralf Gemmerich ; Ruben Jubeh ; Jürgen Leohold ; Dieter Müller ; Carsten Reckord ; Christian Schneider ; Sven Semmelrodt
Model-Driven Development with Mechatronic UML / Heike Wehrheim
Model Synchronization at Work: Keeping SysML and AUTOSAR Models Consistent / Holger Giese ; Stephan Hildebrandt ; Stefan Neumann
Multi-view Modeling to Support Embedded Systems Engineering in SysML / Aditya A. Shah ; Aleksandr A. Kerzhner ; Dirk Schaefer ; Christiaan J. J. Paredis
Engineering Design Applications
Requirements Engineering in Complex Domains / Matthias Jarke ; Ralf Klamma ; Klaus Pohl ; Ernst Sikora
Tool Support for Dynamic Development Processes / Thomas Heer ; Markus Heller ; René Wörzberger
An Extensible Modeling Language for the Representation of Work Processes in the Chemical and Process Industries / Ri Hai ; Manfred Theißen ; Wolfgang Marquardt
Integration Tools for Consistency Management between Design Documents in Development Processes / Simon M. Becker ; Anne-Thérèse Körtgen
Towards Semantic Navigation in Mobile Robotics / Adam Borkowski ; Barbara Siemiatkowska ; Jacek Szklarski
Model Driven Engineering in Operative Industrial Process Control Environments - Overview / Ulrich Epple
Author Index
Graph Transformations and Model-Driven Engineering: The Merits of Manfred Nagl / Gregor Engels ; Claus Lewerentz ; Wilhelm Schäfer ; Andy Schürr ; Bernhard Westfechtel
Graph Transformations: Theory and Applications
The Edge of Graph Transformation-Graphs for Behavioural Specification / Arend Rensink
86.

電子ブック

EB
Paul P. Maglio, Marcelo Fantinato, Takeo Kanade, Mathias Weske, Jian Yang
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2010
所蔵情報: loading…
87.

電子ブック

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:
88.

電子ブック

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

電子ブック

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

電子ブック

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

電子ブック

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

電子ブック

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

電子ブック

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

電子ブック

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

電子ブック

EB
Zoltán Horváth, Takeo Kanade, Rinus Plasmeijer, Viktória Zsók
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2010
所蔵情報: loading…
目次情報: 続きを見る
Rapid Prototyping of DSLs with F# / Adam Granicz
Erlang Behaviours: Programming with Process Design Patterns / Francesco Cesarini ; Simon Thompson
Reasoning about Codata / Raf Hinze
Programming in Manticore, a Heterogenous Parallel Functional Language / Matthew Fluet ; Lars Bergstrom ; Nic Ford ; Mike Rainey ; John Reppy ; Adam Shaw ; Yingqi Xiao
Non-monadic Models of Mutable References / Péter Diviánszky
Software Testing with QuickCheck / John Hughes
An Effective Methodology for Defining Consistent Semantics of Complex Systems / Pieter Koopman ; Rinus Plasmeijer ; Peter Achten
Types for Units-of-Measure: Theory and Practice / Andrew Kennedy
Functional Programming with C++ Template Metaprograms / Zoltán Porkoláb
Embedding a Proof System in Haskell / Gergely Dévai
Impact Analysis of Erlang Programs Using Behaviour Dependency Graphs / Melinda Tóth ; István Bozó ; Zoltán Horváth ; László Lövei ; Máté Tejfel ; Tamás Kozsik
Author Index
Rapid Prototyping of DSLs with F# / Adam Granicz
Erlang Behaviours: Programming with Process Design Patterns / Francesco Cesarini ; Simon Thompson
Reasoning about Codata / Raf Hinze
96.

電子ブック

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:
97.

電子ブック

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

電子ブック

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

電子ブック

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

電子ブック

EB
Kedar Namjoshi, Takeo Kanade, Andreas Zeller, Avi Ziv
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2011
所蔵情報: loading…
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼