close
1.

電子ブック

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

電子ブック

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

電子ブック

EB
Elizabeth Hull, Jeremy Dick, Ken Jackson
出版情報: Springer eBooks Computer Science , Springer London, 2011
所蔵情報: loading…
目次情報: 続きを見る
Introduction / 1:
Introduction to Requirements / 1.1:
Introduction to Systems Engineering / 1.2:
Defining Requirements Engineering / 1.3:
Definition of a Requirement / 1.3.1:
Definition of a Stakeholder / 1.3.2:
Definition of Requirements Engineering / 1.3.3:
Requirements and Quality / 1.4:
Requirements and the Lifecycle / 1.5:
Requirements Tracing / 1.6:
Requirements and Modelling / 1.7:
Requirements and Testing / 1.8:
Requirements in the Problem and Solution Domains / 1.9:
How to Read this Book / 1.10:
A Generic Process for Requirements Engineering / 2:
Developing Systems / 2.1:
Generic Process Context / 2.3:
Input Requirements and Derived Requirements / 2.3.1:
Acceptance Criteria and Qualification Strategy / 2.3.2:
Generic Process Introduction / 2.4:
Ideal Development / 2.4.1:
Development in the Context of Change / 2.4.2:
Generic Process Information Model / 2.5:
Information Classes / 2.5.1:
Agreement State / 2.5.2:
Qualification State / 2.5.3:
Satisfaction State / 2.5.4:
Information Model Constraints / 2.5.5:
Generic Process Details / 2.6:
Agreement Process / 2.6.1:
Analyse and Model / 2.6.2:
Derive Requirements and Qualification Strategy Fig. 2.1.3 Portrays the Process for Deriving Requirements and Qualification Strategy / 2.6.3:
Summary / 2.7:
System Modelling for Requirements Engineering / 3:
Representations for Requirements Engineering / 3.1:
Data Flow Diagrams / 3.2.1:
Entity-Relationship Diagrams / 3.2.2:
Statecharts / 3.2.3:
Object-Oriented Approaches / 3.2.4:
Methods / 3.3:
Viewpoint Methods / 3.3.1:
Object-Oriented Methods / 3.3.2:
The UML Notation / 3.3.3:
Formal Methods / 3.3.4:
Writing and Reviewing Requirements / 3.4:
Requirements for Requirements / 4.1:
Structuring Requirements Documents / 4.3:
Key Requirements / 4.4:
Using Attributes / 4.5:
Ensuring Consistency Across Requirements / 4.6:
Value of a Requirement / 4.7:
The Language of Requirements / 4.8:
Requirement Boilerplates / 4.9:
Granularity of Requirements / 4.10:
Criteria for Writing Requirements Statements / 4.11:
Requirements Engineering in the Problem Domain / 4.12:
What is the Problem Domain? / 5.1:
Instantiating the Generic Process / 5.2:
Agree Requirements with Customer / 5.3:
Analyse & Model / 5.4:
Identify Stakeholders / 5.4.1:
Create Use Scenarios / 5.4.2:
Scoping the System / 5.4.3:
Derive Requirements / 5.5:
Define Structure / 5.5.1:
Capture Requirements / 5.5.2:
Define Acceptance Criteria / 5.5.3:
Define Qualification Strategy / 5.5.4:
Requirements Engineering in the Solution Domain / 5.6:
What is the Solution Domain / 6.1:
Engineering Requirements from Stakeholder Requirements to System Requirements / 6.2:
Producing the System Model / 6.2.1:
Creating System Models to Derive System Requirements / 6.2.2:
Banking Example / 6.2.3:
Car Example / 6.2.4:
Deriving Requirements from a System Model / 6.2.5:
Agreeing the System Requirements with the Design Team / 6.2.6:
Engineering Requirements from System Requirements to Subsystems / 6.3:
Creating a System Architecture Model / 6.3.1:
Deriving Requirements from an Architectural Design Model / 6.3.2:
Other Transformations Using a Design Architecture / 6.4:
Advanced Traceability / 6.5:
Elementary Traceability / 7.1:
Satisfaction Arguments / 7.3:
Requirements Allocation / 7.4:
Reviewing Traceability / 7.5:
The Language of Satisfaction Arguments / 7.6:
Rich Traceability Analysis / 7.7:
Rich Traceability for Qualification / 7.8:
Implementing Rich Traceability / 7.9:
Single-Layer Rich Traceability / 7.9.1:
Multi-Layer Rich Traceability / 7.9.2:
Design Documents / 7.10:
Metrics for Traceability / 7.11:
Breadth / 7.11.1:
Depth / 7.11.2:
Growth / 7.11.3:
Balance / 7.11.4:
Latent Change / 7.11.5:
Management Aspects of Requirements Engineering / 7.12:
Introduction to Management / 8.1:
Requirements Management Problems / 8.2:
Summary of Requirement Management Problems / 8.2.1:
Managing Requirements in an Acquisition Organisation / 8.3:
Planning / 8.3.1:
Monitoring / 8.3.2:
Changes / 8.3.3:
Supplier Organisations / 8.4:
Bid Management / 8.4.1:
Development / 8.4.2:
Product Organisations / 8.5:
DOORS: A Tool to Manage Requirements / 8.5.1:
The Case for Requirements Management / 9.1:
DOORS Architecture / 9.3:
Projects, Modules and Objects / 9.4:
DOORS Database Window / 9.4.1:
Formal Modules / 9.4.2:
Objects / 9.4.3:
Graphical Objects / 9.4.4:
Tables / 9.4.5:
History and Version Control / 9.5:
History / 9.5.1:
Baselining / 9.5.2:
Attributes and Views / 9.6:
Attributes / 9.6.1:
Views / 9.6.2:
Traceability / 9.7:
Links / 9.7.1:
Traceability Reports / 9.7.2:
Import and Export / 9.8:
UML Modelling with DOORS/Analyst / 9.9:
Bibliography / 9.10:
Index
Introduction / 1:
Introduction to Requirements / 1.1:
Introduction to Systems Engineering / 1.2:
4.

電子ブック

EB
Sebastian Nanz, Sebastian Nanz
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2011
所蔵情報: loading…
目次情報: 続きを見る
Some Future Software Engineering Opportunities and Challenges / Barry Boehm
Seamless Method- and Model-based Software and Systems Engineering / Manfred Broy
Logical Abstract Domains and Interpretations / Patrick Cousot ; Radhia Cousot ; Laurent Mauborgne
Design Patterns - Past, Present & Future (Abstract) / Erich Gamma
Evidential Authorization / Andreas Blass ; Yuri Gurevich ; Michat Moskal ; Itay Neeman
Engineering and Software Engineering / Michael Jackson
Tools and Behavioral Abstraction: A Direction for Software Engineering / K. Rustan M. Leino
Precise Documentation: The Key to Better Software / David Lorge Parnas
Empirically Driven Software Engineering Research (Abstract) / Dieter Rombach
Component-based Construction of Heterogeneous Real-time Systems in BIP (Abstract) / Joseph Sifakis
Computer Science: A Historical Perspective and a Current Assessment (Abstract) / Niklaus Wirth
Internet Evolution and the Role of Software Engineering / Pamela Zave
Mining Specifications: A Roadmap / Andreas Zeller
Afterword
Greetings to Bertrand on the Occasion of his Sixtieth Birthday / Tony Hoare
Some Future Software Engineering Opportunities and Challenges / Barry Boehm
Seamless Method- and Model-based Software and Systems Engineering / Manfred Broy
Logical Abstract Domains and Interpretations / Patrick Cousot ; Radhia Cousot ; Laurent Mauborgne
5.

電子ブック

EB
Ivan Jureta
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2011
所蔵情報: loading…
目次情報: 続きを見る
Introduction / 1:
Coordination and Advice / 2:
When There Is None / 2.1:
From Division of Labor to Dependence on Advice / 2.2:
Autonomy and Coordination / 2.3:
Coordination Through Advice / 2.4:
Advice in Political Coordination / 2.5:
Dictatorship and Consent / 2.5.1:
Under Democracy / 2.5.2:
Advice and Meta-Advice in Politics / 2.5.3:
Advice in Economic Coordination / 2.6:
Central Planning / 2.6.1:
Market / 2.6.2:
Homo Follis / 2.7:
Conceptual Analysis of Advice / 3:
Rigorous Definition / 3.1:
Ostensive and Intensional Definitions / 3.1.1:
Primitive Terms / 3.1.2:
Criteria from Standard Theory / 3.1.3:
Signs to Objects and Back, via Concepts / 3.2:
Signs / 3.2.1:
Objects and Concepts / 3.2.2:
Relating Signs, Objects, and Concepts / 3.2.3:
Sings, Objects, and Concepts, in Advice / 3.2.4:
Ontology and Primitive Terms / 3.3:
Ontology in Philosophy / 3.3.1:
On the Engineering of Ontologies / 3.3.2:
Advice, Defined / 3.4:
Initial Ontological Commitments / 3.4.1:
Advice in Communication, Communication as Action / 3.4.2:
Essential Properties of and Identity Criteria for Advice / 3.4.3:
What Advice Is Not, but May Refer To / 3.4.4:
Relativist's Conceptual Analysis / 3.5:
Interpretation of Advice / 4:
Open Reference / 4.1:
Vague Advice / 4.2:
Referent Lost / 4.3:
Kinds of Advice / 5:
Classification from a Model of Choice / 5.1:
Perfect and Bounded Rational Choice / 5.2:
Ontology of Decision Analysis / 5.2.1:
Ontology of Choice in Organized Anarchies / 5.2.2:
Ontology of Intervowen Organisational Choice / 5.2.3:
Intolerance for Substitutes / 5.3:
Probability Intolerance / 5.3.1:
Utility Intolerance / 5.3.2:
Decision Information / 5.4:
Revealed Intentional States / 5.4.1:
Decision Information Ontology / 5.4.2:
Synthesis of the Decision Information Ontology / 5.4.3:
Taxonomy of Advice / 5.5:
Whose Explanations? / 5.5.1:
Specialization of the Concept of Advice / 5.5.2:
Reinterpreting Advice / 5.6:
Advisor's Problem and Its Solutions / 6:
Advice from Simple Explanations and Predictions / 6.1:
Models of Advice: An Overview / 6.2:
Introductory Example / 6.2.1:
Overview of the Framework for the Modeling of Advice / 6.2.2:
Modeling Language / 6.3:
AML2 / 6.3.1:
AML1 / 6.3.2:
AML / 6.3.3:
A-nets / 6.3.4:
Why the Interest in Structure? / 6.3.5:
Formulation of the Advisor's Problem / 6.4:
Solving the Advisor's Problem / 6.5:
Criteria for a Robust Solution / 6.6:
Criteria for a Clear Solution / 6.7:
Criteria from Empirical Evidence / 6.8:
Perspectives / 7:
References
Index
Introduction / 1:
Coordination and Advice / 2:
When There Is None / 2.1:
6.

電子ブック

EB
V.S Alagar, K. Periyasamy
出版情報: Springer eBooks Computer Science , Springer London, 2011
所蔵情報: loading…
7.

電子ブック

EB
José Bacelar Almeida, José Bacelar Almeida, Maria João Frade, Maria João Frade, Simão Melo de Sousa, Jorge Sousa Pinto
出版情報: Springer eBooks Computer Science , Springer London, 2011
所蔵情報: loading…
8.

電子ブック

EB
Gerard O'Regan
出版情報: Springer eBooks Computer Science , Springer London, 2011
所蔵情報: loading…
9.

電子ブック

EB
Sarnath Ramnath, Brahma Dathan
出版情報: Springer eBooks Computer Science , Springer London, 2011
所蔵情報: loading…
10.

電子ブック

EB
Ozgur Akan, Paolo Bellavista, Jeffrey S. Chase, Jeffry S. Chase, Anastasius Gavras, Athanasius Gavras, Thomas Magedanz, Huu Thanh Nguyen
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2011
所蔵情報: loading…
11.

電子ブック

EB
Ian Gorton
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2011
所蔵情報: loading…
目次情報: 続きを見る
Understanding Software Architecture / 1:
What is Software Architecture? / 1.1:
Definitions of Software Architecture / 1.2:
Architecture Defines Structure / 1.2.1:
Architecture Specifies Component Communication / 1.2.2:
Architecture Addresses Nonfunctional Requirements / 1.3:
Architecture Is an Abstraction / 1.3.1:
Architecture Views / 1.3.2:
What Does a Software Architect Do? / 1.4:
Architectures and Technologies / 1.5:
Architect Title Soup / 1.6:
Summary / 1.7:
Further Reading / 1.8:
General Architecture / 1.8.1:
Architecture Requirements / 1.8.2:
Architecture Patterns / 1.8.3:
Technology Comparisons / 1.8.4:
Enterprise Architecture / 1.8.5:
Introducing the Case Study / 2:
Overview / 2.1:
The ICDE System / 2.2:
Project Context / 2.3:
Business Goals / 2.4:
Constraints / 2.5:
Software Quality Attributes / 2.6:
Quality Attributes / 3.1:
Performance / 3.2:
Throughput / 3.2.1:
Response Time / 3.2.2:
Deadlines / 3.2.3:
Performance for the ICDE System / 3.2.4:
Scalability / 3.3:
Request Load / 3.3.1:
Simultaneous Connections / 3.3.2:
Data Size / 3.3.3:
Deployment / 3.3.4:
Some Thoughts on Scalability / 3.3.5:
Scalability for the ICDE Application / 3.3.6:
Modifiability / 3.4:
Modifiability for the ICDE Application / 3.4.1:
Security / 3.5:
Security for the ICDE Application / 3.5.1:
Availability / 3.6:
Availability for the ICDE Application / 3.6.1:
Integration / 3.7:
Integration for the ICDE Application / 3.7.1:
Other Quality Attributes / 3.8:
Design Trade-Offs / 3.9:
An Introduction to Middleware Architectures and Technologies / 3.10:
Introduction / 4.1:
Middleware Technology Classification / 4.2:
Distributed Objects / 4.3:
Message-Oriented Middleware / 4.4:
Mom Basics / 4.4.1:
Exploiting Mom Advanced Features / 4.4.2:
Publish-Subscribe / 4.4.3:
Application Servers / 4.5:
Enterprise JavaBeans / 4.5.1:
Ejb Component Model / 4.5.2:
Stateless Session Bean Programming Example / 4.5.3:
Message-Driven Bean Programming Example / 4.5.4:
Responsibilities of the Ejb Container / 4.5.5:
Some Thoughts / 4.5.6:
Corba / 4.6:
Service-Oriented Architectures and Technologies / 4.7.2:
Background / 5.1:
Service-Oriented Systems / 5.2:
Boundaries Are Explicit / 5.2.1:
Services Are Autonomous / 5.2.2:
Share Schemas and Contracts, Not Implementations / 5.2.3:
Service Compatibility Is Based on Policy / 5.2.4:
Web Services / 5.3:
Soap and Messaging / 5.4:
Uddi, Wsdl, and Metadata / 5.5:
Security, Transactions, and Reliability / 5.6:
Restful Web Services / 5.7:
Conclusion and Further Reading / 5.8:
Advanced Middleware Technologies / 6:
Message Brokers / 6.1:
Business Process Orchestration / 6.3:
Integration Architecture Issues / 6.4:
What Is an Enterprise Service Bus / 6.5:
A Software Architecture Process / 6.6:
Process Outline / 7.1:
Determine Architectural Requirements / 7.1.1:
Identifying Architecture Requirements / 7.1.2:
Prioritizing Architecture Requirements / 7.1.3:
Architecture Design / 7.2:
Choosing the Architecture Framework / 7.2.1:
Allocate Components / 7.2.2:
Validation / 7.3:
Using Scenarios / 7.3.3:
Prototyping / 7.3.2:
Summary and Further Reading / 7.4:
Documenting a Software Architecture / 8:
What to Document / 8.1:
Uml 2.0 / 8.3:
More on Component Diagrams / 8.4:
Architecture Documentation Template / 8.6:
Case Study Design / 8.7:
ICDE Technical Issues / 9.1:
Large Data / 9.2.1:
Notification / 9.2.2:
Data Abstraction / 9.2.3:
Platform and Distribution Issues / 9.2.4:
Api Issues / 9.2.5:
Discussion / 9.2.6:
ICDE Architecture Requirements / 9.3:
Overview of Key Objectives / 9.3.1:
Architecture Use Cases / 9.3.2:
Stakeholder Architecture Requirements / 9.3.3:
Nonfunctional Requirements / 9.3.4:
Risks / 9.3.6:
ICDE Solution / 9.4:
Architecture Overview / 9.4.1:
Structural Views / 9.4.3:
Behavioral Views / 9.4.4:
Implementation Issues / 9.4.5:
Architecture Analysis / 9.5:
Scenario Analysis / 9.5.1:
Middleware Case Study: Medici / 9.5.2:
Medici Background / 10.1:
Medici Hello World / 10.2:
Implementing Modules / 10.3:
MifProcessor / 10.3.1:
MifObjectProcessor / 10.3.2:
MifMessageProcessor / 10.3.3:
Module Properties / 10.3.4:
Endpoints and Transports / 10.4:
Connectors / 10.4.1:
Supported Transports / 10.4.2:
Medici Example / 10.5:
Initialize Pipeline / 10.5.1:
Chat Component / 10.5.2:
Implementation code / 10.5.3:
Component Builder / 10.6:
Looking Forward / 10.7:
The Challenges of Complexity / 11.1:
Business Process Complexity / 11.2.1:
Agility / 11.3:
Reduced Costs / 11.4:
What Next / 11.5:
The Semantic Web / 12:
ICDE and the Semantic Web / 12.1:
Automated, Distributed Integration and Collaboration / 12.2:
Creating and Using Metadata for the Semantic Web / 12.3:
Putting Semantics in the Web / 12.5:
Semantics for ICDE / 12.6:
Semantic Web Services / 12.7:
Continued Optimism / 12.8:
Aspect Oriented Architectures / 12.9:
Aspects for ICDE Development / 13.1:
Introduction to Aspect-Oriented Programming / 13.2:
Crosscutting Concerns / 13.2.1:
Managing Concerns with Aspects / 13.2.2:
Aop Syntax and Programming Model / 13.2.3:
Weaving / 13.2.4:
Example of a Cache Aspect / 13.3:
Aspect-Oriented Architectures / 13.4:
Architectural Aspects and Middleware / 13.5:
State-of-the-Art / 13.6:
Aspect Oriented Modeling in Uml / 13.6.1:
Aop Tools / 13.6.2:
Annotations and Aop / 13.6.3:
Performance Monitoring of ICDE with AspectWerkz / 13.7:
Conclusions / 13.8:
Model-Driven Architecture / 13.9:
Model-Driven Development for ICDE / 14.1:
What is Mda? / 14.2:
Why Mda? / 14.3:
Portability / 14.3.1:
Interoperability / 14.3.2:
Reusability / 14.3.3:
State-of-Art Practices and Tools / 14.4:
AndroMda / 14.4.1:
ArcStyler / 14.4.2:
Eclipse Modeling Framework / 14.4.3:
Mda and Software Architecture / 14.5:
Mda and Nonfunctional Requirements / 14.5.1:
Model Transformation and Software Architecture / 14.5.2:
Soa and Mda / 14.5.3:
Analytical Models are Models Too / 14.5.4:
Mda for ICDE Capacity Planning / 14.6:
Software Product Lines / 14.7:
Product Lines for ICDE / 15.1:
Benefiting from Spl Development / 15.2:
Product Line Architecture / 15.2.2:
Find and Understand Software / 15.3.1:
Bring Software into the Development Context / 15.3.2:
Invoke Software / 15.3.3:
Software Configuration Management for Reuse / 15.3.4:
Variation Mechanisms / 15.4:
Architecture-Level Variation Points / 15.4.1:
Design-Level Variation / 15.4.2:
File-Level Variation / 15.4.3:
Variation by Software Configuration Management / 15.4.4:
Product Line Architecture for ICDE / 15.4.5:
Adopting Software Product Line Development / 15.5:
Product Line Adoption Practice Areas / 15.5.1:
Product Line Adoption for ICDE / 15.5.2:
Ongoing Software Product Line Development / 15.6:
Change Control / 15.6.1:
Architectural Evolution for Spl Development / 15.6.2:
Product Line Development Practice Areas / 15.6.3:
Product Lines with ICDE / 15.6.4:
Index / 15.7:
Understanding Software Architecture / 1:
What is Software Architecture? / 1.1:
Definitions of Software Architecture / 1.2:
12.

電子ブック

EB
Alexander L. Wolf Peri L. Tarr, Peri L. Tarr, Alexander L. Wolf
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2011
所蔵情報: loading…
13.

電子ブック

EB
Alberto Sillitti, Xavier Albaladejo, Emily Bache, Orit Hazzan, John Mylopoulos
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2011
所蔵情報: loading…
目次情報: 続きを見る
Research Papers
Analysing the Usage of Tools in Pair Programming Sessions / Ilenia Fronza ; Alberto Sillitti ; Giancarlo Succi ; Jelena Vlasenko
Studying Lean-Kanban Approach Using Software Process Simulation / David Anderson ; Giulio Concas ; Maria Ilaria Lunesu ; Michele Marchesi
A Feature Partitioning Method for Distributed Agile Release Planning / Ákos Szoke
Collaboration in Pair Programming: Driving and Switching / Laura Plonka ; Judith Segal ; Helen Sharp ; Janet van der Linden
Using Silent Grouping to Size User Stories / Ken Power
Supporting Self-organizing Agile Teams: What's Senior Management Got to Do with It? / Rashina Hoda ; James Noble ; Stuart Marshall
From Manufacture to Software Development: A Comparative Review / Eduardo T. Katayama ; Alfredo Goldman
Effective Communication in Distributed Agile Software Development / Siva Dorairaj ; Petra Malik
Simulating Kanban and Scrum vs. Waterfall with System Dynamics / Luisanna Cocco ; Katiuscia Mannaro
Factors Affecting Effectiveness of Agile Usage - Insights from the BBC Worldwide Case Study / Mali Senapathi ; Peter Middleton ; Gareth Evans
Challenges to Teamwork: A Multiple Case Study of Two Agile Teams / Viktoria Gulliksen Stray ; Nils Brede Moe ; Torgeir Dingsøyr
TaskBoard - Using XP to Implement Problem-Based Learning in an Introductory Programming Course / Halley Wesley A.S. Gondim ; Ana Paula L. Ambrósio ; Fábio M. Costa
Using Function Points in Agile Projects / Célio Santana ; Fabiana Leoneo ; Alexandre Vasconcelos ; Cristine Gusmño
Empirical Investigation on Agile Methods Usage: Issues Identified from Early Adopters in Malaysia / Ani Liza Asnawi ; Andrew M. Gravell ; Gary B. Wills
Pair Programming and Software Defects - An Industrial Case Study / Nattakarn Phaphoom
Test-Driven Development of Graphical User Interfaces: A Pilot Evaluation / Theodore D.Hellmann ; Ali Hosseini-Khayat ; Frank Maurer
A Test-Driven Approach for Extracting Libraries of Reusable Components from Existing Applications / Elaf Selim ; Yaser Ghanam ; Chris Burns ; Teddy Seyed
An Empirical Study of Decision Making, Participation, and Empowerment in Norwegian Software Development Organisations / Bjørnar Tessem
Experience Reports
A Case Study in Agile-at-Scale Delivery / Alan W. Brown
A Never Ending Battle for Continuous Improvement / J.J. Zang
Agile Technical Management of Industrial Contracts; Scrum Development of Ground Segment Software at the European Space Agency / Rui Santos ; Felix Flentge ; Marc-Elian Begin ; Vicente Navarro
Evolution of Longer-Term Planning in a Large Scale Agile Project -F-Secure's Experience / Gabor Gunyho ; Juan Gutiérrez Plaza
Posters
Defects and Agility: Localization Issues in Agile Development Projects / Malte Ressin ; José Abdelnour-Nocera ; Andy Smith
Ph.D. Symposium
Prioritization of Features in Agile Product Line Engineering / Jessica Díaz ; Juan Garbajosa ; Jennifer Pérez
Lost in Agility? Approaching Software Localization in Agile Software Development
Empirical Evaluation of Agile Practices Impact on Team Productivity / Claudia de O. Melo ; Fabio Kon
An Approach on Applying Organizational Learning in Agile Software Organizations / Viviane Santos
Managing Uncertainty in Software Development Projects: An Assessment of the Agile Development Method Scrum / Denniz Dönmez and Gudela Grote
Workshops
Agile Testing and Critical Systems / Jørgen Bøegh ; Alex Rennoch
Value-Based Software Traceability Workshop (VALSOT 2011) / Angelina Bspinoza ; Richard Paige
Second XP Workshop about Dealing with Usability in an Agile Domain / Ana Maria Moreno ; Agustin Yagüe
Author Index
Research Papers
Analysing the Usage of Tools in Pair Programming Sessions / Ilenia Fronza ; Alberto Sillitti ; Giancarlo Succi ; Jelena Vlasenko
Studying Lean-Kanban Approach Using Software Process Simulation / David Anderson ; Giulio Concas ; Maria Ilaria Lunesu ; Michele Marchesi
14.

電子ブック

EB
Vittorio Cortellessa, Antinisca Di Marco, Paola Inverardi
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2011
所蔵情報: loading…
15.

電子ブック

EB
Jan Pries-Heje, Richard Messnarz Rory V. O‘Connor
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2011
所蔵情報: loading…
16.

電子ブック

EB
Paris Avgeriou, John Grundy, Jon G. Hall, Patricia Lago, Ivan Mistrík
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2011
所蔵情報: loading…
17.

電子ブック

EB
Neil J. Gunther
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2011
所蔵情報: loading…
18.

電子ブック

EB
Oliver Vogel, Ingo Arnold, Arif Chughtai, Timo Kehrer
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2011
所蔵情報: loading…
19.

電子ブック

EB
Minna Pikkarainen, Nick Boucart, Wim Codenie, José Antonio Heredia Alvaro
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2011
所蔵情報: loading…
20.

電子ブック

EB
Scott A. Hissam, Fabio Kon, Manoel G. Mendonça Neto, Barbara Russo
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2011
所蔵情報: loading…
21.

電子ブック

EB
Edward K. Blum, Alfred V. Aho
出版情報: Springer eBooks Computer Science , Springer New York, 2011
所蔵情報: loading…
22.

電子ブック

EB
Leszek A. Maciaszek, Pericles Loucopoulos
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2011
所蔵情報: loading…
23.

電子ブック

EB
Tai-hoon Kim, Hojjat Adeli, Byeong-Ho Kang, Heau-jo Kang, Haeng-kon Kim, Kyung Jung Kim, Akingbehin Kiumi
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2011
所蔵情報: loading…
24.

電子ブック

EB
David W. Embley, Bernhard Thalheim
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2011
所蔵情報: loading…
25.

電子ブック

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

電子ブック

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

電子ブック

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

電子ブック

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

電子ブック

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

電子ブック

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

電子ブック

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

電子ブック

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

電子ブック

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

電子ブック

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

電子ブック

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

電子ブック

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

電子ブック

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

電子ブック

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

電子ブック

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

電子ブック

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

電子ブック

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

電子ブック

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

電子ブック

EB
Juergen Dingel, Takeo Kanade, Arnor Solberg
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2011
所蔵情報: loading…
44.

電子ブック

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

電子ブック

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

電子ブック

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

電子ブック

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

電子ブック

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

電子ブック

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

電子ブック

EB
Martin Gogolla, Takeo Kanade, Burkhart Wolff
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2011
所蔵情報: loading…
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼