close
1.

電子ブック
ＥＢ
1. Requirements Engineering
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：
2.

電子ブック
ＥＢ
2. The Future of Software Engineering
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
3.

電子ブック
ＥＢ
3. Analysis and Design of Advice
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：
4.

電子ブック
ＥＢ
4. Specification of Software Systems
V.S Alagar, K. Periyasamy
出版情報: Springer eBooks Computer Science , Springer London, 2011
所蔵情報: loading…
5.

電子ブック
ＥＢ
5. Rigorous Software Development
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…
6.

電子ブック
ＥＢ
6. Introduction to Software Process Improvement
Gerard O'Regan
出版情報: Springer eBooks Computer Science , Springer London, 2011
所蔵情報: loading…
7.

電子ブック
ＥＢ
7. Object-Oriented Analysis and Design
Sarnath Ramnath, Brahma Dathan
出版情報: Springer eBooks Computer Science , Springer London, 2011
所蔵情報: loading…
8.

電子ブック
ＥＢ
8. Testbeds and Research Infrastructures. Development of Networks and Communities
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…
9.

電子ブック
ＥＢ
9. Essential Software Architecture
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：
10.

電子ブック
ＥＢ
10. Engineering of Software
Alexander L. Wolf Peri L. Tarr, Peri L. Tarr, Alexander L. Wolf
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2011
所蔵情報: loading…
11.

電子ブック
ＥＢ
11. Agile Processes in Software Engineering and Extreme Programming
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
12.

電子ブック
ＥＢ
12. Model-Based Software Performance Analysis
Vittorio Cortellessa, Antinisca Di Marco, Paola Inverardi
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2011
所蔵情報: loading…
13.

電子ブック
ＥＢ
13. Systems, Software and Service Process Improvement
Jan Pries-Heje, Richard Messnarz Rory V. O�eConnor
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2011
所蔵情報: loading…
14.

電子ブック
ＥＢ
14. Relating Software Requirements and Architectures
Paris Avgeriou, John Grundy, Jon G. Hall, Patricia Lago, Ivan Mistr?k
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2011
所蔵情報: loading…
15.

電子ブック
ＥＢ
15. Analyzing Computer System Performance with Perl::PDQ
Neil J. Gunther
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2011
所蔵情報: loading…
16.

電子ブック
ＥＢ
16. Software Architecture
Oliver Vogel, Ingo Arnold, Arif Chughtai, Timo Kehrer
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2011
所蔵情報: loading…
17.

電子ブック
ＥＢ
17. The Art of Software Innovation
Minna Pikkarainen, Nick Boucart, Wim Codenie, Jos? Antonio Heredia Alvaro
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2011
所蔵情報: loading…
18.

電子ブック
ＥＢ
18. Open Source Systems: Grounding Research
Scott A. Hissam, Fabio Kon, Manoel G. Mendon?a Neto, Barbara Russo
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2011
所蔵情報: loading…
19.

電子ブック
ＥＢ
19. Computer Science
Edward K. Blum, Alfred V. Aho
出版情報: Springer eBooks Computer Science , Springer New York, 2011
所蔵情報: loading…
20.

電子ブック
ＥＢ
20. Evaluation of Novel Approaches to Software Engineering
Leszek A. Maciaszek, Pericles Loucopoulos
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2011
所蔵情報: loading…
21.

電子ブック
ＥＢ
21. Software Engineering, Business Continuity, and Education
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…
22.

電子ブック
ＥＢ
22. Handbook of Conceptual Modeling
David W. Embley, Bernhard Thalheim
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2011
所蔵情報: loading…
23.

電子ブック
ＥＢ
23. Requirements Engineering: Foundation for Software Quality
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：
24.

電子ブック
ＥＢ
24. Compiler Construction
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
25.

電子ブック
ＥＢ
25. Tools and Algorithms for the Construction and Analysis of Systems
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
26.

電子ブック
ＥＢ
26. Formal Methods: Foundations and Applications
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
27.

電子ブック
ＥＢ
27. Fundamental Approaches to Software Engineering
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
28.

電子ブック
ＥＢ
28. Programming Languages and Systems
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
29.

電子ブック
ＥＢ
29. Hardware and Software: Verification and Testing
Sharon Barner, Ian Harris, Takeo Kanade, Daniel Kroening, Orna Raz
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2011
所蔵情報: loading…
30.

電子ブック
ＥＢ
30. Service-Oriented Computing
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
31.

電子ブック
ＥＢ
31. Algebraic Methodology and Software Technology
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：
32.

電子ブック
ＥＢ
32. Generative and Transformational Techniques in Software Engineering III
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
33.

電子ブック
ＥＢ
33. Formal Verification of Object-Oriented Software
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
34.

電子ブック
ＥＢ
34. Agent-Oriented Software Engineering X
Marie-Pierre Gleizes, Jorge J. Gomez-Sanz, Takeo Kanade
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2011
所蔵情報: loading…
35.

電子ブック
ＥＢ
35. Hardware and Software: Verification and Testing
Kedar Namjoshi, Takeo Kanade, Andreas Zeller, Avi Ziv
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2011
所蔵情報: loading…
36.

電子ブック
ＥＢ
36. Software Language Engineering
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
37.

電子ブック
ＥＢ
37. NASA Formal Methods
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
38.

電子ブック
ＥＢ
38. Logic-Based Program Synthesis and Transformation
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
39.

電子ブック
ＥＢ
39. Coordination Models and Languages
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
40.

電子ブック
ＥＢ
40. Foundations of Computer Software. Modeling, Development, and Verification of Adaptive Systems
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
41.

電子ブック
ＥＢ
41. Models in Software Engineering
Juergen Dingel, Takeo Kanade, Arnor Solberg, Association for Computing Machinery-Digital Library.
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2011
所蔵情報: loading…
42.

電子ブック
ＥＢ
42. Top Productivity through Software Reuse
Klaus Schmid, Takeo Kanade
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2011
所蔵情報: loading…
43.

電子ブック
ＥＢ
43. FM 2011: Formal Methods
Michael Butler, Takeo Kanade, Wolfram Schulte
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2011
所蔵情報: loading…
44.

電子ブック
ＥＢ
44. Formal Methods for Eternal Networked Software Systems
Marco Bernardo, Val?rie Issarny, Takeo Kanade
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2011
所蔵情報: loading…
45.

電子ブック
ＥＢ
45. Modelling Foundations and Applications
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
46.

電子ブック
ＥＢ
46. Analytical and Stochastic Modeling Techniques and Applications
Khalid Al-Begain, Simonetta Balsamo, Dieter Fiems, Takeo Kanade, Andrea Marin
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2011
所蔵情報: loading…
47.

電子ブック
ＥＢ
47. Theory and Practice of Model Transformations
Jordi Cabot, Takeo Kanade, Eelco Visser
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2011
所蔵情報: loading…
48.

電子ブック
ＥＢ
48. Tests and Proofs
Martin Gogolla, Takeo Kanade, Burkhart Wolff
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2011
所蔵情報: loading…
49.

電子ブック
ＥＢ
49. Product-Focused Software Process Improvement
Danilo Caivano, Maria Teresa Baldassarre, Takeo Kanade, Markku Oivo, Giuseppe Visaggio
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2011
所蔵情報: loading…
50.

電子ブック
ＥＢ
50. Objects, Models, Components, Patterns
Judith Bishop, Takeo Kanade, Antonio Vallecillo
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2011
所蔵情報: loading…
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼