close
1.

電子ブック

EB
Darja ?mite, Darja #mite, Nils Brede Moe, Darja Smite
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2010
所蔵情報: loading…
2.

電子ブック

EB
Torgeir Dings?yr, Torgeir Dings?yr, Tore Dyb?, Tore Dyb?, Nils Brede Moe
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2010
所蔵情報: loading…
3.

電子ブック

EB
Mike Hinchey, Bernd Kleinjohann, Lisa Kleinjohann, Peter A. Lindsay, Franz J. Rammig, Jon Timmis, Marilyn Wolf
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2010
所蔵情報: loading…
目次情報: 続きを見る
Distributed and Parallel Embedded Systems (DIPES 2010)
Preface / Marilyn Wolf ; Bernd Kleinjohann ; Lisa Kleinjohann
Opening and Keynote
Safety, Efficiency and Autonomy-Mastering Conflicting Trends in Embedded Systems Design / Rolf Ernst
Specification and Modeling
Rialto 2.0: A Language for Heterogeneous Computations / Johan Lilius ; Andreas Dahlin ; Lionel Morel
Scenario-Based Modeling in Industrial Information Systems / Ricardo J. Machado ; João M. Fernandes ; João P. Barros ; Luís Gomes
An Entirely Model-Based Framework for Hardware Design and Simulation / Safouan Taha ; Ansgar Radermacher ; Sébastien Gérard
Extending the Standard Execution Model of UML for Real-Time Systems / Abderraouf Benyahia ; Arnaud Cuccuru ; François Terrier ; Frédéric Boulanger
Fault Tolerance
Task Migration for Fault-Tolerant FlexRay Networks / Kay Klobedanz ; Gilles B. Defo ; Henning Zabel ; Wolfgang Mueller ; Yuan Zhi
Flexible and Dynamic Replication Control for Interdependent Distributed Real-Time Embedded Systems / Luís Nogueira ; Luís Miguel Pinho ; Jorge Coelho
Verification and Validation
Generation of Executable Testbenches from Natural Language Requirement Specifications for Embedded Real-Time Systems / Alexander Bol ; Alexander Krupp ; Ola Lundkvist
Model Checking of Concurrent Algorithms: From Java to C / Cyrille Artho ; Masami Hagiya ; Watcharin Leungwattanakit ; Yoshinori Tanabe ; Mitsuharu Yamamoto
Integrate Online Model Checking into Distributed Reconfigurable System on Chip with Adaptable OS Services / Sufyan Samara ; Yuhong Zhao ; Franz J. Rammig
Efficient Mutation-Analysis Coverage for Constrained Random Verification / Tao Xie ; Florian Letombe
Code-Generation, Simulation and Timing Analysis
Generating VHDL Source Code from UML Models of Embedded Systems / Tomás G. Moreira ; Marco A. Wehrmeister ; Carlos E. Pereira ; Jean-François Pétin ; Eric Levrat
RACE: A Rapid, ArChitectural Simulation and Synthesis Framework for Embedded Processors / Roshan Ragel ; Angelo Ambrose ; Jorgen Peddersen ; Sri Parameswaran
A Mixed Level Simulation Environment for Stepwise RTOS Software Refinement / Markus Becker
Global Best-Case Response Time for Improving the Worst-Case Response Times in Distributed Real-Time Systems / Steffen Kollmann ; Victor Pollex ; Frank Slomka
Distributed Architectures and Design Support
Dependency-Driven Distribution of Synchronous Programs / Daniel Baudisch ; Jens Brandt ; Klaus Schneider
Distributed Resource-Aware Scheduling for Multi-core Architectures with SystemC / Philipp A. Hartmann ; Kim Grüttner ; Achim Rettberg ; Ina Podolski
Robust Partitioned Scheduling for Real-Time Multiprocessor Systems / Frédéric Fauberteau ; Serge Midonnet ; Laurent George
An Infrastructure for Flexible Runtime Reconfigurable Multi-microcontroller Systems / Claudius Stern ; Philipp Adelt ; Matthias Schmitz
Biologically-Inspired Collaborative Computing (BICC 2010)
Ants and Adaptive Systems / Peter Lindsay ; Mike Hinchey ; Jon Timmis
Model Checking the Ant Colony Optimisation / Lucio Mauro Duarte ; Luciano Foss ; Flávio Rech Wagner ; Tales Heimfarth
Feature Selection for Classification Using an Ant System Approach / Nadia Abd-Alsabour
Novelty-Aware Attack Recognition-Intrusion Detection with Organic Computing Techniques / Dominik Fisch ; Ferdinand Kastl ; Bernhard Sick
Evolutionary-Computation Based Risk Assessment of Aircraft Landing Sequencing Algorithms / Wenjing Zhao ; Jiangjun Tang ; Sameer Alam ; Axel Bender ; Hussein A. Abbass
Learning Classifier Systems and Collaborative Systems
A Collaborative Decision Support Model for Marine Safety and Security Operations / Uwe Glässer ; Piper Jackson ; Ali Khalili Araghi ; Hans Wehn ; Hamed Yaghoubi Shahir
Combining Software and Hardware LCS for Lightweight On-Chip Learning / Andreas Bernauer ; Johannes Zeppenfeld ; Oliver Bringmann ; Andreas Herkersdorf ; Wolfgang Rosenstiel
Collaborating and Learning Predators on a Pursuit Scenario / Nugroho Fredivianus ; Urban Richter ; Hartmut Schmeck
SelSta-A Biologically Inspired Approach for Self-Stabilizing Humanoid Robot Walking / Bojan Jakimovski ; Michael Kotke ; Martin Hörenz ; Erik Maehle
Author Index
Distributed and Parallel Embedded Systems (DIPES 2010)
Preface / Marilyn Wolf ; Bernd Kleinjohann ; Lisa Kleinjohann
Opening and Keynote
4.

電子ブック

EB
Andreas; O'Connor, Rory; Tichkiewitch, Serge Riel, Richard Messnarz, Rory O'Connor, Andreas Riel, Serge Tichkiewitch
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2010
所蔵情報: loading…
目次情報: 続きを見る
A Framework for Process Improvement in Software Product Management / Willem Bekkers ; Inge van de Weerd ; Marco Spruit ; Sjaak Brinkkemper
Graphical Technique to Support the Teaching/Learning Process of Software Process Reference Models / Ismael Edrein Espinosa-Curiel ; Josefina Rodríguez-Jacobo ; José Alberto Fernández-Zepeda
Harnessing ISO/IEC 12207 to Examine the Extent of SPI Activity in an Organisation / Paul Clarke ; Rory O'Connor
Team SPICE: A SPICE-Based Teamwork Assessment Model / Esperança Amengual ; Antònia Mas ; Antoni Lluís Mesquida
MATURE: A Model Driven bAsed Tool to Automatically Generate a Language that Supports CMMI Process Areas spEcification / David Musat ; Víctor Castaño ; Jose A. Calvo-Manzano ; Juan Garbajosa
Requirement Changes and Project Success: The Moderating Effects of Agile Approaches in System Engineering Projects / Sabine Maierhofer ; Ernst Stelzmann ; Markus Kohlbacher ; Björn Fellner
Software Process Improvement Initiatives Based on Quality Assurance Strategies: A QATAM Pilot Application / Dietmar Winkler ; Frank Elberzhager ; Stefan Biffl ; Robert Eschbach
Improving Video Game Development: Facilitating Heterogeneous Team Collaboration through Flexible Software Processes / Juergen Musil ; Angelika Schweda
Improving IT Service Management Processes: A Case Study on IT Service Support / Antti Lahtela ; Marko Jäntti
Approach to Identify Internal Best Practices in a Software Organization / Calvo-Manzano Jose A. ; Cuevas Gonzalo ; Mejia Jezreel ; Muñoz Mirna ; San Feliu Tomás ; Sánchez Ángel ; Rocha Álvaro
Which Process Model Practices Support Project Success? / Marion Lepmets
How to Improve Process Models for Better ISO/IEC 15504 Process Assessment / Michel Picard ; Alain Renault ; Stéphane Cortina
The Tutelkan SPI Framework for Small Settings: A Methodology Transfer Vehicle / Gonzalo Valdes ; Hernán Astudillo ; Marcello Visconti ; Claudia López
Understanding the Perception of Very Small Software Companies towards the Adoption of Process Standards / Shuib Basri ; Rory V. O'Connor
Software Engineering Support Activities for Very Small Entities / Vincent Ribaud ; Philippe Saliou ; Claude Y. Laporte
Improving Software Development Process through Economic Mechanism Design / Murat Yilmaz ; John Collins
Impact of Growing Business on Software Processes / Natalja Nikitina ; Mira Kajko-Mattsson
The Rosetta Stone Methodology - A Benefits-Driven Approach to SPI / Fionbarr McLoughlin ; Ita Richardson
SPICE Level 3 - Experience with Using E-Learning to Coach the Use of Standard System Design Best Practices in Projects / R. Messnarz ; O. Bachmann ; D. Ekert ; A. Riel
Mjølner's Software Process Improvement: A Discussion and Strengthening Using the SPI Manifesto / Mikkel Yde Kjær ; Jens Bæk Jørgensen
Integrated Design - A Set of Competences and Skills Required by Systems and Product Architects / Andreas Riel
Agility Meets Systems Engineering: A Catalogue of Success Factors from Industry Practice / Christian Kreiner ; Gunther Spork ; Richard Messnarz ; Frank Koenig
How Green Is Your Black Belt? / Dick Theisens
Exploring Managerial Commitment towards SPI in Small and Very Small Enterprises / Gerry Coleman
Implementation of Software Process Improvement through TSPi in Very Small Enterprises / Edgar Caballero ; Gonzalo Cuevas ; Tomás San Feliu
Application of ISO/IEC 15504 in Very Small Enterprises / Antonia Mas
Author Index
A Framework for Process Improvement in Software Product Management / Willem Bekkers ; Inge van de Weerd ; Marco Spruit ; Sjaak Brinkkemper
Graphical Technique to Support the Teaching/Learning Process of Software Process Reference Models / Ismael Edrein Espinosa-Curiel ; Josefina Rodríguez-Jacobo ; José Alberto Fernández-Zepeda
Harnessing ISO/IEC 12207 to Examine the Extent of SPI Activity in an Organisation / Paul Clarke ; Rory O'Connor
5.

電子ブック

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

電子ブック

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

電子ブック

EB
Bruno Vallespir, Th?cle Alix, Th?cle Alix
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2010
所蔵情報: loading…
8.

電子ブック

EB
Will van der Aalst, Pekka Abrahamsson, John Mylopoulos, Nilay Oza
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2010
所蔵情報: loading…
目次情報: 続きを見る
Scaling Agile to Lean
Scaling Agile to Lean - Track Summary / Kieran Conboy ; Vasco Duarte
Agile Transformation Study at Nokia - One Year After / Maarit Laanti
The Role of the User Story Agile Practice in Innovation / Colm O'hEocha
Lean/Agile Software Development Methodologies in Regulated Environments - State of the Art / Oisín Cawley ; Xiaofeng Wang ; Ita Richardson
Lean and Agile Project Management: For Large Programs and Projects / David F. Rico
When Agile Is Not Enough / Kati Vilkki
Refactoring the Organization / Ken Power
A Journey to Systemic Improvement (Abstract) / David Joyce
Complexity vs. Lean, the Big Showdown (Abstract) / Jurgen Appelo
Lean Product Development and Innovation
Lean Product Development and Innovation - Track Summary / Jayakanth Srinivasan ; Karl Scotland
A Tentative Framework for Lean Software Enterprise Research and Development / Petri Kettunen
What Is Flowing in Lean Software Development? / Vladimir Mandic ; Markku Oivo ; Pilar Rodríguez ; Pasi Kuvaja ; Harri Kaikkonen ; Burak Turhan
Leadership in Kanban Software Development Projects: A Quasi-controlled Experiment / Marko Ikonen
Distributing a Lean Organization: Maintaining Communication While Staying Agile / Sebastian Meyer ; Eric Knauss ; Kurt Schneider
Experience Report: Product Creation Through Lean Approaches / Henning Rudolf ; Frances Paulisch
Huitale - A Story of a Finnish Lean Startup / Marko Taipale
Kanban and Technical Excellence or: Why Daily Releases Are a Great Objective to Meet / Markus Andrezak ; Bernd Schiffer
Clean Delivery: An Experience Report of Collaborative Lean Software Delivery / Christian Blunden
Beyond Budgeting
Beyond Budgeting - Track Summary / Peter G. Bunce
Beyond Budgeting: A Performance Management Model for Software Development Teams / Garry Lohan ; Michael Lang
New Approach for Managing Lean-Agile Development: Overturning the Project Paradigm / Juha Rikkilä
Beyond Budgeting in Statoil (Abstract) / Bjarte Bogsnes
Case Study: The SpareBank 1 Gruppen's Road to a New Corporate Governance Based on the Principles of beyond Budgeting (Abstract) / Sigurd Aune
How the beyond Budgeting Management Model Enables Lean Thinking and the Agile Organization (Abstract)
Handelsbanken - Our Way (Abstract) / Pekka Vasankari
Dynamic Management in a Global Telecomms Business (Abstract) / Kenneth Hauge
Lean Implementation - Lead by Example (Abstract) / Heidi Pschibilla
Continue Your beyond Budgeting Journey with Help from Agile, Lean and Scrum (Abstract) / Helge Eikeland
Panels
Panel: Why Agile, Why Lean? / David Anderson ; Alan Shalloway
Keynotes
Fit Manufacturing / Duc Truong Pham ; Andrew J. Thomas ; P.T.N. Pham
Enabling Dynamic Capabilities through Agile IT and beyond Budgeting Practices / Martin Curley
Author Index
Scaling Agile to Lean
Scaling Agile to Lean - Track Summary / Kieran Conboy ; Vasco Duarte
Agile Transformation Study at Nokia - One Year After / Maarit Laanti
9.

電子ブック

EB
Borworn; Lavangnananda, Kittichai; Chutimaskul, Wichian Papasratorn, Wichian Chutimaskul, Kittichai Lavangnananda, Borworn Papasratorn, Vajirasak Vanijja
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2010
所蔵情報: loading…
目次情報: 続きを見る
Evaluating a Novel Cellular Automata-Based Distributed Power Management Approach for Mobile Wireless Sensor Networks / Sepideh Adabi ; Sahar Adabi ; Ali Rezaee
Effects of Feature Selection Using Binary Particle Swarm Optimization on Wheat Variety Classification / Ahmet Babalik ; Ömer Kaan Baykan ; Hazim Iscan ; Ismail Babaoglu ; Oguz Findik
A Comparison of Artificial Intelligence Methods on Determining Coronary Artery Disease / Nazif Aygül ; Kurtulus Özdemir ; Mehmet Bayrak
Using Chaotic System in Encryption / Sirzat Kahramanli
Secure Medical Diagnosis Using Rule Based Mining / M.A. Saleem Durai ; N.Ch. Sriman Narayana Iyengar
Factors Affecting Intention to Use in Social Networking Sites: An Empirical Study on Thai Society / Rath Jairak ; Napath Sahakhunchai ; Kallaya Jairak ; Prasong Praneetpolgrang
A General Bayesian Network Approach to Analyzing Online Game Item Values and Its Influence on Consumer Satisfaction and Purchase Intention / Kun Chang Lee ; Bong- Won Park
U-BASE: General Bayesian Network-Driven Context Prediction for Decision Support / Heeryon Cho ; Sunyoung Lee
A Dynamic Bayesian Network Approach to Location Prediction in Ubiquitous Computing Environments
Information Management for Dependability / Paul Mason
A Prototype for the Support of Integrated Software Process Development and Improvement / Nalinpat Porrawatpreyakorn ; Gerald Quirchmayr ; Wichian Chutimaskul
The Effects of Organizational Experiences on Career Satisfaction of IT Postsecondary Teachers in Thailand / Theerapath Prawatrungruang ; Pruthikrai Mahatanankoon ; James Wolf ; Joaquin Vila-Ruiz
Knowledge-Centric Management of Business Rules in a Pharmacy / Juha Puustjärvi ; Leena Puustjärvi
Head Pose Estimation on Eyeglasses Using Line Detection and Classification Approach / Pisal Setthawong ; Vajirasak Vannija
Feature Selection for Neural Network Based Stock Prediction / Prompong Sugunnasil ; Samerkae Somhom
Design Concept for Garbage Bin with Situation Awareness Feature / Montri Supattatham ; Borworn Papasratorn
Application of Cellular Automata in Symmetric Key Cryptography / Miroslaw Szaban ; Jerzy Pawel Nowacki ; Aldona Drabik ; Franciszek Seredynski ; Pascal Bouvry
Detection of LiveLock in BPMN Using Process Expression / Nasi Tantitharanukul ; Watcharee Jumpamule
The Effect of Background Traffic Packet Size to VoIP Speech Quality / Tuul Triyason ; Prasert Kanthamanon ; Kittipong Warasup ; Siam Yamsaengsung
Classification of Internal Carotid Artery Doppler Signals Using Hidden Markov Model and Wavelet Transform with Entropy / Harun Uguz ; Halife Kodaz
Genetic Algorithm with Species for Regularization Network Metalearning / Roman Neruda ; Petra Vidnerová
Integrating Personalized and Community Services for Mobile Travel Planning and Management / Chien-Chih Yu
Author Index
Evaluating a Novel Cellular Automata-Based Distributed Power Management Approach for Mobile Wireless Sensor Networks / Sepideh Adabi ; Sahar Adabi ; Ali Rezaee
Effects of Feature Selection Using Binary Particle Swarm Optimization on Wheat Variety Classification / Ahmet Babalik ; Ömer Kaan Baykan ; Hazim Iscan ; Ismail Babaoglu ; Oguz Findik
A Comparison of Artificial Intelligence Methods on Determining Coronary Artery Disease / Nazif Aygül ; Kurtulus Özdemir ; Mehmet Bayrak
10.

電子ブック

EB
Selmin Nurcan, Selmin Nurcan, Camille Salinesi
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2010
所蔵情報: loading…
目次情報: 続きを見る
From Sustainable Information System with a Farandole of Models to Services / Michel Léonard ; Jolita Ralyté
On Roles of Models in Information Systems / Arne Sølvberg
Contemporary Challenges in Requirements Discovery and Validation: Two Case Studies in Complex Environments / Sean Hansen ; Kalle Lyytinen
Semantic Requirements Engineering / Motoshi Saeki
Goal-Based Domain Modeling as a Basis for Cross-Disciplinary Systems Engineering / Matthias Jarke ; Hans W. Nissen ; Thomas Rose ; Dominik Schmitz
Intentional Alignment and Interoperability in Inter-Organization Information Systems / Naveen Prakash
Requirements Engineering for Enterprise Systems: What We Know and What We Don't Know? / Maya Daneva ; Roel Wieringa
Requirements as Goals and Commitments Too / Amit K. Chopra ; John Mylopoulos ; Fabiano Dalpiaz ; Paolo Giorgini ; Munindar P. Singh
A Method for Capturing and Reconciling Stakeholder Intentions Based on the Formal Concept Analysis / Mikio Aoyama
Fostering the Adoption of i* by Practitioners: Some Challenges and Research Directions / Xavier Franch
Rights and Intentions in Value Modeling / Paul Johannesson ; Maria Bergholtz
An Intentional Perspective on Enterprise Modeling / Janis Bubenko Jr. ; Anne Persson ; Janis Stirna
A Goal-Based Approach for Learning in Business Processes / Pnina Soffer ; Johny Ghattas ; Mor Peleg
Linking Goal-Oriented Requirements and Model-Driven Development / Oscar Pastor ; Giovanni Giachetti
Testing Conceptual Schema Satisfiability / Antoni Olivé ; Albert Tort
A Systematic Approach to Define the Domain of Information System Security Risk Management / Éric Dubois ; Patrick Heymans ; Nicolas Mayer ; Raimundas Matulevicius
Methodologies for Design of Service-Based Systems / Barbara Pernici
Quality Assurance in the Presence of Variability / Kim Lauenroth ; Andreas Metzger ; Klaus Pohl
Method Engineering: A Service-Oriented Approach / Corine Cauvet
Collaborative Requirements Engineering: Bridging the Gulfs Between Worlds / Alistair Sutcliffe
Important Papers by Colette Rolland
Index
From Sustainable Information System with a Farandole of Models to Services / Michel Léonard ; Jolita Ralyté
On Roles of Models in Information Systems / Arne Sølvberg
Contemporary Challenges in Requirements Discovery and Validation: Two Case Studies in Complex Environments / Sean Hansen ; Kalle Lyytinen
11.

電子ブック

EB
Will van der Aalst, Angela Martin, John Mylopoulos, Alberto Sillitti, Xiaofeng Wang, Elizabeth Whitworth
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2010
所蔵情報: loading…
目次情報: 続きを見る
Research Papers
Extending Refactoring Guidelines to Perform Client and Test Code Adaptation / Wafa Basit ; Fakhar Lodhi ; Usman Bhatti
Security Testing in Agile Web Application Development - A Case Study Using the EAST Methodology / Gencer Erdogan ; Per HÃ¥kon Meland ; Derek Mathieson
Adoption of Team Estimation in a Specialist Organizational Environment / Tor Erlend Fægri
Extreme Product Line Engineering - Refactoring for Variability: A Test-Driven Approach / Yaser Ghanam ; Frank Maurer
Introducing Agile Methods in a Large Software Development Team: The Impact on the Code / Mary Giblin ; Padraig Brennan ; Chris Exton
Agile Undercover: When Customers Don't Collaborate / Rashina Hoda ; James Noble ; Stuart Marshall
Exploring Defect Data, Quality and Engagement during Agile Transformation at a Large Multisite Organization / Kirsi Korhonen
Auto-tagging Emails with User Stories Using Project Context / S.M. Sohan ; Michael M. Richter
Towards Understanding Communication Structure in Pair Programming / Kai Stapel ; Eric Knauss ; Kurt Schneider ; Matthias Becker
Continuous Selective Testing / Bastian Steinert ; Michael Haupt ; Robert Krahn ; Robert Hirschfeld
Applying SCRUM in an OSS Development Process: An Empirical Evaluation / Luigi Lavazza ; Sandro Morasca ; Davide Taibi ; Davide Tosi
Short Research Papers
An Automated Approach for Acceptance Web Test Case Modeling and Executing / Felipe M. Besson ; Delano M. Beder ; Marcos L. Chaim
Communication in Context: A Stimulus-Response Account of Agile Team Interactions / Nik Nailah Binti Abdullah ; Helen Sharp ; Shinichi Honiden
Understanding the Importance of Trust in Distributed Agile Projects: A Practical Perspective / Siva Dorairaj ; Petra Malik
Values and Assumptions Shaping Agile Development and User Experience Design in Practice / Jennifer Ferreira ; Hugh Robinson
Introducing Agile Methods in a Large Software Development Team: The Developers Changing Perspective
A Systematic and Lightweight Method to Identify Dependencies between User Stories / Arturo Gomez ; Gema Rueda ; Pedro P. Alarcón
Agile Documents: Toward Successful Creation of Effective Documentation / Omar Mazni ; Syed-Abdullah Sharifah-Lailee ; Yasin Azman
Structuring Complexity Issues for Efficient Realization of Agile Business Requirements in Distributed Environment / Richard Mordinyi ; Eva Kühn ; Alexander Schatten
A Literature Review on Story Test Driven Development / Shelly Park
Improving Responsiveness, Bug Detection, and Delays in a Bureaucratic Setting: A Longitudinal Empirical IID Adoption Case Study / Caryna Pinheiro ; Jonathan Sillito
Dealing with Navigation and Interaction Requirements Changes in a TDD-Based Web Engineering Approach / Juan Burella ; Gustavo Rossi ; Esteban Robles Luna ; Julián Grigera
Adoption of Software Engineering Process Innovations: The Case of Agile Software Development Methodologies / Mali Senapathi
A Quantitative Comparison of Test-First and Test-Last Code in an Industrial Project / Burak Turhan ; Ayse Bener ; Pasi Kuvaja ; Markku Oivo
Product and Release Planning Practices for Extreme Programming / Gert van Valkenhoef ; Tommi Tervonen ; Bert de Brock ; Douwe Postmus
Experience Reports
Launchpad's Quest for a Better and Agile User Interface / Martin Albisetti
Distributed Meetings in Distributed Teams / Marc Bless
Transitioning a Large Organisation: Adopting TDD
What Agile Teams Can Learn from Sports Coaching
Prototypes Are Forever Evolving from a Prototype Project to a Full-Featured System / Hugo Corbucci ; Mariana V. Bravo ; Alexandre Freire da Silva ; Fernando Freire da Silva
Put It to the Test: Using Lightweight Experiments to Improve Team Processes / Michael Keeling
Kanban at an Insurance Company (Are You Sure?) / Olav Maassen ; Jasper Sonnevelt
Automated Acceptance Testing of High Capacity Network Gateway / Ran Nyman ; Ismo Aro ; Roland Wagner
So You Think You're Agile? / Colm O'hEocha ; Kieran Conboy ; Xiaofeng Wang
From a Timebox Tangle to a More Flexible Flow / Jørn Ola Birkeland
Stakeholder Engagement in the Evolutionary Design of an API / Ken Power
From Chaos to Kanban, via Scrum / Kevin Rutherford ; Paul Shannon ; Craig Judson ; Neil Kidd
Tech Challenges in a Large-Scale Agile Project / Harald Søvik ; Morten Forfang
Energy Project Story: From Waterfall to Distributed Agile / Tomáš Turecek ; Roman Šmirák ; Tomáš Malík ; Petr Bohácek
Design and Development in the "Agile Room": Trialing Scrum at a Digital Agency / Katerina Tzanidou
Posters
Reinforcing the Learning of Agile Practices Using Coding Dojos / Mariana Bravo ; Alfredo Goldman
AnnoTestWeb/Run: Annotations Based Acceptance Testing / David Connolly ; Frank Keenan ; Fergal Mc Caffery
Open Source and Agile Methods: Two worlds Closer than It Seems
A Technique to Classify and Compare Agile Methods / João M. Fernandes ; Mauro Almeida
What Language Does Agile Speak
Combining Open Space Technology (OST) with XP through Scenarios for Enhanced Requirements Elicitation / Sandra Kelly ; Namgyal Damdul
Balancing Scrum Project Management Process / Marion Lepmets ; Margus Nael
TDD Effects: Are We Measuring the Right Things? / Bruno Pedroso ; Ricardo Jacobi ; Marcelo Pimenta
Pair Programming: The Choice of a Partner / Laura Plonka
Agile Adoption Strategies in the Context of Agile in the Large: FLEXI Agile Adoption Industrial Inventory / Anna Rohunen ; Pilar Rodriguez ; Lech Krzanik ; Jouni Markkula
Educating 'RITA' with XP
Ph.D. Symposium
A Multiple Case Study of Teamwork in Norwegian Software Development Organizations / Viktoria Gulliksen
A Systematic Approach for Selection and Adoption of Agile Practices in Component-Based Projects / Iva Krasteva ; Sylvia Ilieva
Software Development: A Stakeholder Approach
A Framework for Situated Evaluation of Methodology Usage in Agile Environments
Panel
Collaboration in an Agile World / Steven Fraser ; Bjørn Alterhaug ; David Anderson ; Diana Larsen ; Scott Page
Author Index
Research Papers
Extending Refactoring Guidelines to Perform Client and Test Code Adaptation / Wafa Basit ; Fakhar Lodhi ; Usman Bhatti
Security Testing in Agile Web Application Development - A Case Study Using the EAST Methodology / Gencer Erdogan ; Per HÃ¥kon Meland ; Derek Mathieson
12.

電子ブック

EB
P?r ?gerfalk, Cornelia Boldyreff, Jes?s M. Gonz?lez-Barahona, Gregory R. Madey, John Noll
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2010
所蔵情報: loading…
目次情報: 続きを見る
Full Papers / Part I:
Spago4Q and the QEST nD Model: An Open Source Solution for Software Performance Measurement / Claudio A. Ardagna ; Ernesto Damiani ; Fulvio Frati ; Sergio Oltolina ; Mauro Regoli ; Gabriele Ruffatti
An Investigation of the Users' Perception of OSS Quality / Vieri del Bianco ; Luigi Lavazza ; Sandro Morasca ; Davide Taibi ; Davide Tosi
Engaging without Over-Powering: A Case Study of a FLOSS Project / Andrea Capiluppi ; Andres Baravalle ; Nick W. Heap
The Meso-level Structure of F/OSS Collaboration Network: Local Communities and Their Innovativeness / Guido Conaldi ; Francesco Rullani
To Patent or Not to Patent: A Pilot Experiment on Incentives to Copyright in a Sequential Innovation Setting / Paolo Crosetto
Voting for Bugs in Firefox: A Voice for Mom and Dad? / Jean-Michel Dalle ; Matthijs den Besten
The Nagios Community: An Extended Quantitative Analysis / Jonas Gamalielsson ; Björn Lundell ; Brian Lings
Collaborative Development for the XO Laptop: CODEX 2 / Andrew Garbett ; Karl Lieser ; Cornelia Boldyreff
Risks and Risk Mitigation in Open Source Software Adoption: Bridging the Gap between Literature and Practice / Øyvind Hauge ; Daniela Soares Cruzes ; Reidar Conradi ; Ketil Sandanger Velle ; Tron André Skarpenes
Usability Innovations in OSS Development - Examining User Innovations in an OSS Usability Discussion Forum / Netta Iivari
Governance in Open Source Software Development Projects: A Comparative Multi-level Analysis / Chris Jensen ; Walt Scacchi
Evaluating the Readiness of Proprietary Software for Open Source Development / Terhi Kilamo ; Timo Aaltonen ; Imed Hammouda ; Teemu J. Heinimäki ; Tommi Mikkonen
Where and When Can Source Thrive? Towards a Theory of Robust Performance / Sheen S. Levine ; Michael J. Prietula
How Open Are Local Government Documents in Sweden? A Case for Open Standards
Bug Localization Using Revision Log Analysis and Open Bug Repository Text Categorization / Amir H. Moin ; Mohammad Khansari
T-DOC: A Tool for the Automatic Generation of Testing Documentation for OSS Products
Open Source Introducing Policy and Promotion of Regional Industries in Japan / Tetsuo Noda ; Terutaka Tansho
Comparing OpenBRR, QSOS, and OMM Assessment Models / Etiel Petrinja ; Alberto Sillitti ; Giancarlo Succi
Joining and Socialization in Open Source Women's Groups: An Exploratory Study of KDE-Women / Yixin Qiu ; Katherine J. Stewart ; Kathryn M. Bartol
Download Patterns and Releases in Open Source Software Projects: A Perfect Symbiosis? / Bruno Rossi ; Barbara Russo
Modelling Failures Occurrences of Open Source Software with Reliability Growth
A Field Study on the Barriers in the Assimilation of Open Source Server Software / Kris Ven ; Jan Verelst
Reclassifying Success and Tragedy in FLOSS Projects / Andrea Wiggins ; Kevin Crowston
Short Papers / Part II:
Three Strategies for Open Source Deployment: Substitution, Innovation, and Knowledge Reuse / Jonathan P. Allen
Coordination Implications of Software Coupling in Open Source Projects / Chintan Amrit ; Jos van Hillegersberg
Industry Regulation through Open Source Software: A Strategic Ownership Proposal / Jean-Lucien Hardy
Proposal for Solving Incompatibility Problems between Open-Source and Proprietary Web Browsers / Jun Iio ; Hiroyuki Shimizu ; Hisayoshi Sasaki ; Akihiro Matsumoto
FLOSS Communities: Analyzing Evolvability and Robustness from an Industrial Perspective / Daniel Izquierdo-Cortazar ; Jesús M. González-Barahona ; Gregorio Robles ; Jean-Christophe Deprez ; Vincent Auvray
BULB: Onion-Based Measuring of OSS Communities
A Network of FLOSS Competence Centres / Jean-Pierre Laisné ; Nelson Lago ; Fabio Kon ; Pedro Coca
Profiling F/OSS Adoption Modes: An Interpretive Approach / David López ; Carmen de Pablos ; Roberto Santos
Introducing Automated Unit Testing into Open Source Projects / Christopher Oezbek
A Case Study on the Transformation from Proprietary to Open Source Software / Alma Orucevic-Alagic ; Martin Höst
High-Level Debugging Facilities and Interfaces: Design and Development of a Debug-Oriented I.D.E. / Nick Papoylias
To Rule and Be Ruled: Governance and Participation in FOSS Projects / Zegaye Seifu ; Prodromos Tsiavos
A Comparison Framework for Open Source Software Evaluation Methods / Klaas-Jan Stol ; Muhammad Ali Babar
An Exploratory Long-Term Open Source Activity Analysis: Implications from Empirical Findings on Activity Statistics / Toshihiko Yamakami
Challenges for Mobile Middleware Platform: Issues for Embedded Open Source Software Integration
Open Source Software Developer and Project Networks / Matthew Van Antwerp ; Greg Madey
Warehousing and Studying Open Source Versioning Metadata
Workshop / Part III:
Workshop - Open Source Software for Computer Games and Virtual Worlds: Practice and Future / Per Backlund
WoPDaSD 2010: 5th Workshop on Public Data about Software Development / Megan Squire
Second International Workshop on Building Sustainable Open Source Communities: OSCOMM 2010
Open Source Policy and Promotion of IT Industries in East Asia / Sangmook Yi ; Dongbin Wang
OSS 2010 Doctoral Consortium (OSS2010DC)
Panels / Part IV:
Student Participation in OSS Projects / Gregory W. Hislop ; Heidi J.C. Ellis ; Greg DeKoenigsberg ; Darius Jazayeri
Open Source Software/Systems in Humanitarian Applications (H-FOSS)
The FOSS 2010 Community Report
The Present and Future of FLOSS Data Archives
Author Index
Full Papers / Part I:
Spago4Q and the QEST nD Model: An Open Source Solution for Software Performance Measurement / Claudio A. Ardagna ; Ernesto Damiani ; Fulvio Frati ; Sergio Oltolina ; Mauro Regoli ; Gabriele Ruffatti
An Investigation of the Users' Perception of OSS Quality / Vieri del Bianco ; Luigi Lavazza ; Sandro Morasca ; Davide Taibi ; Davide Tosi
13.

電子ブック

EB
Leszek A. Maciaszek, C?sar Gonz?lez-P?rez, C?sar Gonz?lez-P?rez, Stefan Jablonski, Leszek Maciaszek
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2010
所蔵情報: loading…
目次情報: 続きを見る
Evaluation of Novel Approaches to Software Engineering 2008 / Part I:
Measuring Characteristics of Models and Model Transformations Using Ontology and Graph Rewriting Techniques / Motoshi Saeki ; Haruhiko Kaiya
On-the-Fly Testing by Using an Executable TTCN-3 Markov Chain Usage Model / Winfried Dulz
Language-Critical Development of Process-Centric Application Systems / Tayyeb Amin ; Tobias Grollius ; Erich Ortner
Balancing Business Perspectives in Requirements Analysis / Alberto Siena ; Alessio Bonetti ; Paolo Giorgini
Using Fault Screeners for Software Error Detection / Rui Abreu ; Alberto González ; Peter Zoeteweij ; Arjan J.C. van Gemund
Language Support for Service Interactions in Service-Oriented Architecture / Sven De Labey ; Jeroen Boydens ; Eric Steegmans
Evaluation of Novel Approaches to Software Engineering 2009 / Part II:
Automating Component Selection and Building Flexible Composites for Service-Based Applications / Jacky Estublier ; Idrissa A. Dieng ; Eric Simon
An Aspect-Oriented Framework for Event Capture and Usability Evaluation / Slava Shekh ; Sue Tyerman
Implementing Domain Specific Process Modelling / Bernhard Volz ; Sebastian Dornstauder
Bin-Packing-Based Planning of Agile Releases / Ákos Szoke
A Method to Measure Productivity Trends during Software Evolution / Hans Christian Benestad ; Bente Anda ; Erik Arisholm
Design Pattern Detection in Java Systems: A Dynamic Analysis Based Approach / Francesca Arcelli ; Fabrizio Perin ; Claudia Raibulet ; Stefano Ravani
Formalization of the UML Class Diagrams / Janis Osis ; Uldis Donins
Extended KAOS Method to Model Variability in Requirements / Farida Semmak ; Christophe Gnaho ; Régine Laleau
Orthographic Software Modeling: A Practical Approach to View-Based Development / Colin Atkinson ; Dietmar Stoll ; Philipp Bostan
Dynamic Management of the Organizational Knowledge Using Case-Based Reasoning / Viviane Santos ; Mariela Cortés ; Márcia Brasil
Mapping Software Acquisition Practices from ISO 12207 and CMMI / Francisco J. Pino ; Maria Teresa Baldassarre ; Mario Piattini ; Giuseppe Visaggio ; Danilo Caivano
Concept Management: Identification and Storage of Concepts in the Focus of Formal Z Specifications / Daniela Pohl ; Andreas Bollin
A Model Driven Approach to Upgrade Package-Based Software Systems / Antonio Cicchetti ; Davide Di Ruscio ; Patrizio Pelliccione ; Alfonso Pierantonio ; Stefano Zacchiroli
Coupling Metrics for Aspect-Oriented Programming: A Systematic Review of Maintainability Studies / Rachel Burrows ; Alessandro Garcia ; François Taïani
Revealing Commonalities Concerning Maintenance of Software Product Line Platform Components / Martin Assmann ; Gregor Engels ; Thomas von der Massen ; Andreas Wübbeke
Service Based Development of a Cross Domain Reference Architecture / Liliana Dobrica ; Eila Ovaska
Author Index
Evaluation of Novel Approaches to Software Engineering 2008 / Part I:
Measuring Characteristics of Models and Model Transformations Using Ontology and Graph Rewriting Techniques / Motoshi Saeki ; Haruhiko Kaiya
On-the-Fly Testing by Using an Executable TTCN-3 Markov Chain Usage Model / Winfried Dulz
14.

電子ブック

EB
Mourad Debbabi, Fawzi Hassa?ne
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2010
所蔵情報: loading…
目次情報: 続きを見る
Introduction / 1:
Verification and Validation Problem Statement / 1.1:
Systems Engineering / 1.2:
Systems Engineering Standards / 1.3:
Model-Driven Architecture / 1.4:
Systems Engineering Modeling Languages / 1.5:
UML 2.x: Unified Modeling Language / 1.5.1:
SysML: Systems Modeling Language / 1.5.2:
IDEF: Integration Definition Methods / 1.5.3:
Outline / 1.6:
Architecture Frameworks, Model-Driven Architecture, and Simulation / 2:
Architecture Frameworks / 2.1:
Zachman Framework / 2.1.1:
Open Group Architecture Framework / 2.1.2:
DoD Architecture Framework / 2.1.3:
UK Ministry of Defence Architecture Framework / 2.1.4:
UML Profile for DoDAF/MODAF / 2.1.5:
AP233 Standard for Data Exchange / 2.2:
Executable Architectures or from Design to Simulation / 2.3:
Why Executable Architectures? / 2.3.1:
Modeling and Simulation as an Enabler for Executable Architectures / 2.3.2:
DoDAF in Relation to SE and SysML / 2.4:
Conclusion / 2.5:
Unified Modeling Language / 3:
UML History / 3.1:
UML Diagrams / 3.2:
Class Diagram / 3.2.1:
Component Diagram / 3.2.2:
Composite Structure Diagram / 3.2.3:
Deployment Diagram / 3.2.4:
Object Diagram / 3.2.5:
Package Diagram / 3.2.6:
Activity Diagram / 3.2.7:
Activity Diagram Execution / 3.2.8:
Use Case Diagram / 3.2.9:
State Machine Diagram / 3.2.10:
Sequence Diagram / 3.2.11:
Communication Diagram / 3.2.12:
Interaction Overview Diagram / 3.2.13:
Timing Diagram / 3.2.14:
UML Profiling Mechanisms / 3.3:
Systems Modeling Language / 3.4:
SysML History / 4.1:
UML and SysML Relationships / 4.2:
SysML Diagrams / 4.3:
Block Definition Diagram / 4.3.1:
Internal Block Diagram / 4.3.2:
Parametric Diagram / 4.3.3:
Requirement Diagram / 4.3.5:
Verification, Validation, and Accreditation / 4.3.6:
V&V Techniques Overview / 5.1:
Inspection / 5.1.1:
Testing / 5.1.2:
Simulation / 5.1.3:
Reference Model Equivalence Checking / 5.1.4:
Theorem Proving / 5.1.5:
Verification Techniques for Object-Oriented Design / 5.2:
Design Perspectives / 5.2.1:
Software Engineering Techniques / 5.2.2:
Formal Verification Techniques / 5.2.3:
Program Analysis Techniques / 5.2.4:
V&V of Systems Engineering Design Models / 5.3:
Tool Support / 5.4:
Formal Verification Environments / 5.4.1:
Static Analyzers / 5.4.2:
Automatic Approach for Synergistic Verification and Validation / 5.5:
Synergistic Verification and Validation Methodology / 6.1:
Dedicated V&V Approach for Systems Engineering / 6.2:
Automatic Formal Verification of System Design Models / 6.2.1:
Program Analysis of Behavioral Design Models / 6.2.2:
Software Engineering Quantitative Techniques / 6.2.3:
Probabilistic Behavior Assessment / 6.3:
Established Results / 6.4:
Verification and Validation Tool / 6.5:
Software Engineering Metrics in the Context of Systems Engineering / 6.6:
Metrics Suites Overview / 7.1:
Chidamber and Kemerer Metrics / 7.1.1:
MOOD Metrics / 7.1.2:
Li and Henry's Metrics / 7.1.3:
Lorenz and Kidd's Metrics / 7.1.4:
Robert Martin Metrics / 7.1.5:
Bansiya and Davis Metrics / 7.1.6:
Briand et al. Metrics / 7.1.7:
Quality Attributes / 7.2:
Software Metrics Computation / 7.3:
Abstractness (A) / 7.3.1:
Instability (I) / 7.3.2:
Distance from the Main Sequence (DMS) / 7.3.3:
Class Responsibility (CR) / 7.3.4:
Class Category Relational Cohesion (CCRC) / 7.3.5:
Depth of Inheritance Tree (DIT) / 7.3.6:
Number of Children (NOC) / 7.3.7:
Coupling Between Object Classes (CBO) / 7.3.8:
Number of Methods (NOM) / 7.3.9:
Number of Attributes (NOA) / 7.3.10:
Number of Methods Added (NMA) / 7.3.11:
Number of Methods Overridden (NMO) / 7.3.12:
Number of Methods Inherited (NMI) / 7.3.13:
Specialization Index (SIX) / 7.3.14:
Public Methods Ration (PMR) / 7.3.15:
Case Study / 7.4:
Verification and Validation of UML Behavioral Diagrams / 7.5:
Configuration Transition System / 8.1:
Model Checking of Configuration Transition Systems / 8.2:
Property Specification Using CTL / 8.3:
Program Analysis of Configuration Transition Systems / 8.4:
V&V of UML State Machine Diagram / 8.5:
Semantic Model Derivation / 8.5.1:
Application of Program Analysis / 8.5.2:
V&V of UML Sequence Diagram / 8.6:
Sequence Diagram Case Study / 8.6.1:
V&V of UML Activity Diagram / 8.7:
Activity Diagram Case Study / 8.7.1:
Probabilistic Model Checking of SysML Activity Diagrams / 8.8:
Probabilistic Verification Approach / 9.1:
Translation into PRISM / 9.2:
PCTL* Property Specification / 9.3:
Performance Analysis of Time-Constrained SysML Activity Diagrams / 9.4:
Time Annotation / 10.1:
Derivation of the Semantic Model / 10.2:
Model-Checking Time-Constrained Activity Diagrams / 10.3:
Discrete-Time Markov Chain / 10.3.1:
PRISM Input Language / 10.3.2:
Mapping SysML Activity Diagrams into DTMC / 10.3.3:
Threads Identification / 10.3.4:
Performance Analysis Case Study / 10.4:
Scalability / 10.5:
Semantic Foundations of SysML Activity Diagrams / 10.6:
Activity Calculus / 11.1:
Syntax / 11.1.1:
Operational Semantics / 11.1.2:
Markov Decision Process / 11.2:
Soundness of the Translation Algorithm / 11.4:
Notation / 12.1:
Methodology / 12.2:
Formalization of the PRISM Input Language / 12.3:
Formal Translation / 12.3.1:
Simulation Preorder for Markov Decision Processes / 12.5:
References / 12.7:
Index
Introduction / 1:
Verification and Validation Problem Statement / 1.1:
Systems Engineering / 1.2:
15.

電子ブック

EB
Hagen; Fleischmann, Albert; Seese, Detlef Buchwald, Hagen Buchwald, Albert Fleischmann, Detlef Seese, Christian Stary
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2010
所蔵情報: loading…
目次情報: 続きを見る
Visionary Engagements / Part I:
The Relevance of Management of Business Processes and Orchestration / Lutz Heuser
The Power of 'As-Is' Processes / Hagen Buchwald
The Method behind Subject Orientation - The Missing Link between Individuals and Machines in Regard to Truth / Christian Fichtenbauer
Establishing an Informed S-BPM Community / Werner Schmidt ; Christian Stary
Business Process Management - S-BPM a New Paradigm for Competitive Advantage? / Robert Singer ; Erwin Zinser
Application of Subject-Oriented Modeling in Automatic Service Composition / Erwin Aitenbichler ; Stephan Borgert
Essential Capabilities / Part II:
What Is S-BPM? / Albert Fleischmann
Case Study: The Process Portal - Process-as-a-Service Central Platform for Work-, Information- and Knowledge Processes in the Company / Anton Kramm
Case Study: AST Order Control Processing / Gabriele Konjack
Penetration Perspectives / Part III:
Potential Building Blocks of S-BPM
Quo Vadis, S-BPM? The First World-Café on S-BPM Developments
Author Index
Visionary Engagements / Part I:
The Relevance of Management of Business Processes and Orchestration / Lutz Heuser
The Power of 'As-Is' Processes / Hagen Buchwald
16.

電子ブック

EB
Tai-hoon Kim, Wai-chi Fang, Muhammad Khurram Khan, Haeng-kon Kim, Akingbehin Kiumi, Dominik Slezak
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2010
所蔵情報: loading…
目次情報: 続きを見る
Effective Web and Desktop Retrieval with Enhanced Semantic Spaces / Amjad M. Daoud
Considering Patterns in Class Interactions Prediction / Nazri Kama ; Tim French ; Mark Reynolds
Design of an Unattended Monitoring System Using Context-Aware Technologies Based on 3 Screen / Seoksoo Kim
Requirements Elicitation Using Paper Prototype / Jaya Vijayan ; G. Raju
Quality-Driven Architecture Conformance / Jose L. Arciniegas ; Juan C. Dueñas
Trends in M2M Application Services Based on a Smart Phone / Jae Young Ahn ; Jae-gu Song ; Dae-Joon Hwang
Using ERP and WfM Systems for Implementing Business Processes: An Empirical Study / Lerina Aversano ; Maria Tortorella
Mining Design Patterns in Object Oriented Systems by a Model-Driven Approach / Mario Luca Bernardi ; Giuseppe Antonio Di Lucca
Exploring Empirically the Relationship between Lack of Cohesion and Testability in Object-Oriented Systems / Linda Badri ; Mourad Badri ; Fadel Toure
The Study of Imperfection in Rough Set on the Field of Engineering and Education / Tian-Wei Sheu ; Jung-Chin Liang ; Mei-Li You ; Kun-Li Wen
The Software Industry in the Coffee Triangle of Colomiba / Albeiro Cuesta ; Luis Joyanes ; Marcelo López
Towards Maintainability Prediction for Relational Database-Driven Software Applications: Evidence from Software Practitioners / Mehwish Riaz ; Emilia Mendes ; Ewan Tempero
Software and Web Process Improvement - Predicting SPI Success for Small and Medium Companies / Muhammad Sulayman
Test Prioritization at Different Modeling Levels / Fevzi Belli ; Nida Gökçe
Adoption of Requirements Engineering Practices in Malaysian Software Development Companies / Badariah Solemon ; Shamsul Sahibuddin ; Abdul Azim Abd Ghani
Minimum Distortion Data Hiding / Md. Amiruzzaman ; M. Abdullah-Al-Wadud ; Yoojin Chung
Model-Based Higher-Order Mutation Analysis / Nevin Güler ; Axel Hollmann ; Gökhan Suna ; Esra Yildiz
ISARE: An Integrated Software Architecture Reuse and Evaluation Framework / Rizwan Ahmad ; Saif ur Rehman Khan ; Aamer Nadeem ; Tai-hoon Kim
Cognitive Informatics for New Classes of Economic and Financial Information Systems / Lidia Ogiela ; Marek R. Ogiela
An Automated Approach to Testing Polymorphic Features Using Object-Z / Mahreen Ahmad
IDMS: A System to Verify Component Interface Completeness and Compatibility for Product Integration / Wantana Areeprayolkij ; Yachai Limpiyakorn ; Duangrat Gansawat
Software Framework for Flexible User Defined Metaheuristic Hybridization / Suraya Masrom ; Siti Zaleha Zainal Abidin ; Puteri Norhashimah Megat Abdul Rahman ; Abdullah Sani Abd. Rahman
Program Visualization for Debugging Deadlocks in Multithreaded Programs / Byung-Chul Kim ; Yong-Kee Jun
A Fast PDE Algorithm Using Adaptive Scan and Search for Video Coding / Jong-Nam Kim
Evolvability Characterization in the Context of SOA
Design and Implementation of an Enterprise Internet of Things / Jing Sun ; Huiqun Zhao ; Ka Wang ; Houyong Zhang ; Gongzhu Hu
Aggregating Expert-Driven Causal Maps for Web Effort Estimation / Simon Baker
Bug Forecast: A Method for Automatic Bug Prediction / Rudolf Ferenc
TCD: A Text-Based UML Class Diagram Notation and Its Model Converters / Hironori Washizaki ; Masayoshi Akimoto ; Atsushi Hasebe ; Atsuto Kubo ; Yoshiaki Fukazawa
SQL-Based Compound Object Comparators: A Case Study of Images Stored in ICE / Dominik Slezak ; Lukasz Sosnowski
Intermediate Structure Reduction Algorithms for Stack Based Query Languages / Marta Burzanska ; Krzysztof Stencel ; Piotr Wisniewski
Service-Oriented Software Framework for Network Management / Dongcheul Lee ; Byungjoo Park
Author Index
Effective Web and Desktop Retrieval with Enhanced Semantic Spaces / Amjad M. Daoud
Considering Patterns in Class Interactions Prediction / Nazri Kama ; Tim French ; Mark Reynolds
Design of an Unattended Monitoring System Using Context-Aware Technologies Based on 3 Screen / Seoksoo Kim
17.

電子ブック

EB
Computing Sciences and Software Engineering International Conference on Systems, Khaled Elleithy, Tarek M. Sobh
出版情報: Springer eBooks Computer Science , Springer Netherlands, 2010
所蔵情報: loading…
18.

電子ブック

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

電子ブック

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

電子ブック

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

電子ブック

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

電子ブック

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

電子ブック

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

電子ブック

EB
Sung Y.; Gantenbein, Rex; Kuo, Tei-Wei; Hong, Jiman Shin, Rex Gantenbein, Jiman Hong, Tei-Wei Kuo, Sung Y. Shin
出版情報: Springer eBooks Computer Science , Springer Basel, 2010
所蔵情報: loading…
目次情報: 続きを見る
Embedded & Computer Systems / Part I:
A Distributed Two-Version Multi-Granularity Locking Protocol for Multi-Controller Storage Systems / Chih-Chung Tsai ; Ya-Shu Chen ; Tei-Wei Kuo
A Medical Device Safety Supervision over Wireless / Cheolgi Kim ; Mu Sun ; Heechul Yun ; Lui Sha
A Novel Memory-Aware CPU Allocation Policy for Multicore NUMA Architecture / Dongwoo Kang ; Heekwon Park ; Jongmoo Choi
Power-Aware EDZL Scheduling upon Identical Multiprocessor Platforms / Xuefeng Piao ; Heeheon Kim ; Yookun Cho ; Sangchul Han ; Minkyu Park ; Monju Park ; Seongje Cho
Thermalaware Register File based on Heat Transfer / Jungwook Kim ; Seong Tae Jhang ; Chu Shik Jhon
Analysis of Autonomous Bandwidth-Delay-Balancing Characteristic in the Decay Usage Scheduler / Kyeongho Park ; Ju Hyun Lee ; Hoyoung Hwang ; Chang-Gun Lee ; Sang Lyul Min ; Hyo-Joong Suh
A Reliable Nested Transaction Model with Extension of Real-Time Characteristics / Seung-Jin Moon ; Sanghoon Lee
Network Computing & Security / Part II:
PDF: A Novel Probability-based Data Forwarding Scheme in Lossy Wireless Sensor Networks / Dang Tu Nguyen ; Wook Choi ; Hyunseung Choo
A New Green-Scheduling Approach to Maximize Wireless Multimedia Networking Lifetime via Packet and Path Diversity / Wei Wang ; Sung Shin
Design of a reliability enhancement scheme for the grid-topology mesh network / Junghoon Lee ; Gyung-Leen Park
A Reliable Watchdog Protocol with Two-way Mutual Confirmation in Wireless Multi-Hop Networks / Dongseung Shin ; Dongkyun Kim ; Jinwook Lee
Energy Efficient Power Management for Multi-Mode Wireless Network Devices / Bongjae Kim ; Boncheol Gu ; Jeongki Kim ; Chaedeok Lim ; Jiman Hong
An Efficient and Reliable flooding in MANETs / Jinman Jung ; Yeongkwun Kim ; Sangho Yi ; Hyungbae Park
A Fast Agreement Protocol for Underwater Wireless Sensor Networks / Hong Min ; Sangil Eo ; Joonhyouk Jang ; Junyoung Heo ; Gwangil Jeon
Autonomous traffic management for CDMA-based real-time services in in-building environments / Woon-Young Yeo ; Hyukjun Oh
Protection against Buffer Overflow Attacks via Dynamic Binary Translation / Chun-Chung Chen ; Shih-Hao Hung ; Chen-Pang Lee
Applications / Part III:
XA2C Framework for XML Alteration/Adaptation / Gilbert Tekli ; Richard Chbeir ; Jacques Fayolle
An Automatic Method for WorldNet Concept Enrichment using Wikipedia Titles / Myunggwon Hwang ; Dongjin Choi ; Byeongkyu Ko ; Junho Choi ; Pankoo Kim
Design of Interval Type-2 Fuzzy Set-based Fuzzy Neural Networks Using Successive Tuning Method / Keon-Jun Park ; Sung-Kwun Oh ; Yong-Kab Kim
Multimedia / Part IV:
Improving Image Segmentation Algorithms with Differential Evolution / Chih-Cheng Hung ; Ziwei Ren ; Wenfan Li ; Qing Yang
TOF Camera based 3D Fingertip Location Estimation / Yangkeun Ahn ; Minwook Kim ; Kwangmo Jung ; Taehyoung Kim ; Jaehoon Ahn ; Sukil Hong
Index
Embedded & Computer Systems / Part I:
A Distributed Two-Version Multi-Granularity Locking Protocol for Multi-Controller Storage Systems / Chih-Chung Tsai ; Ya-Shu Chen ; Tei-Wei Kuo
A Medical Device Safety Supervision over Wireless / Cheolgi Kim ; Mu Sun ; Heechul Yun ; Lui Sha
25.

電子ブック

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

電子ブック

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

電子ブック

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

電子ブック

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

電子ブック

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

電子ブック

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

電子ブック

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

電子ブック

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

電子ブック

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

電子ブック

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

電子ブック

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

電子ブック

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

電子ブック

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

電子ブック

EB
Wil van der Aalst, John Mylopoulos
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2012
所蔵情報: loading…
39.

電子ブック

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

電子ブック

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

電子ブック

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

電子ブック

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

電子ブック

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

電子ブック

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

電子ブック

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

電子ブック

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

電子ブック

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

電子ブック

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

電子ブック

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

電子ブック

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