close
1.

電子ブック
ＥＢ
1. Cooperative Bug Isolation
Ben Liblit, David Hutchison, Takeo Kanade, Association for Computing Machinery.
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2007
所蔵情報: loading…
目次情報: 続きを見る
Introduction / 1：
Perfect, or Close Enough / 1.1：
Automatic Failure Reporting / 1.2：
The Next Step Forward / 1.3：
Cooperative Bug Isolation / 1.4：
Instrumentation Framework / 2：
Basic Instrumentation Strategy / 2.1：
Sampling the Bernoulli Way / 2.1.1：
From Blocks to Functions / 2.1.2：
Interprocedural Issues / 2.1.3：
Instrumentation Schemes for Distributed Debugging / 2.2：
Issues in Remote Sampling / 2.2.1：
Counter-Based Instrumentation Schemes / 2.2.2：
Additional Instrumentation Schemes / 2.2.3：
Performance and Optimizations / 2.3：
Static Branch Prediction / 2.3.1：
Weightless Functions / 2.3.2：
Empty and Singleton Regions / 2.3.3：
Local Countdown Caching / 2.3.4：
Random Countdown Generation / 2.3.5：
Path Balancing / 2.3.6：
Statically Selective Sampling / 2.3.7：
Optimization Recap / 2.3.8：
Adaptive Sampling / 2.4：
Nonuniformity Via Multiple Countdowns / 2.4.1：
Nonuniformity Via Non-Unit Site Weights / 2.4.2：
Policy Notes / 2.4.3：
Realistic Sampling Rates / 2.5：
Practical Considerations / 3：
Native Compiler Integration / 3.1：
Static Site Information / 3.1.1：
Libraries and Plugins / 3.2：
Threads / 3.3：
Next-Sample Countdown / 3.3.1：
Predicate Counters / 3.3.2：
Compilation Unit Registry and Report File / 3.3.3：
Time Stamp Clock / 3.3.4：
Performance Evaluation / 3.3.5：
Privacy and Security / 3.4：
User Interaction / 3.5：
Status of the Public Deployment / 3.6：
Resource Requirements / 3.6.1：
Reporting Trends / 3.6.2：
Techniques for Statistical Debugging / 4：
Notation and Terminology / 4.1：
Predicate Elimination / 4.2：
Instrumentation Strategy / 4.2.1：
Elimination Strategies / 4.2.2：
Data Collection and Analysis / 4.2.3：
Refinement over time / 4.2.4：
Performance Impact / 4.2.5：
Limitations and Insights / 4.2.6：
Regularized Logistic Regression / 4.3：
Crash Prediction Using Logistic Regression / 4.3.1：
Moss: A Multiple-Bug Challenge / 4.3.2：
Nonuniform Sampling / 4.4.1：
Analysis Results / 4.4.2：
Iterative Bug Isolation and Elimination / 4.5：
Increase Scores / 4.5.1：
Statistical Interpretation / 4.5.2：
Balancing Specificity and Sensitivity / 4.5.3：
Redundancy Elimination / 4.5.4：
Case Studies / 4.6：
Moss / 4.6.1：
CCRYPT / 4.6.2：
BC / 4.6.3：
EXIF / 4.6.4：
Rhythmbox / 4.6.5：
Related Work / 5：
Static Analysis / 5.1：
Profiling and Tracing / 5.2：
Dynamic Analysis / 5.3：
Conclusion / 6：
References
Introduction / 1：
Perfect, or Close Enough / 1.1：
Automatic Failure Reporting / 1.2：
2.

電子ブック
ＥＢ
2. Hardware and Software, Verification and Testing
Eyal Bin, Takeo Kanade, Shmuel Ur, Avi Ziv
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2007
所蔵情報: loading…
目次情報: 続きを見る
Hardware Verification Track
Model Checking PSL Using HOL and SMV / Thomas Tuerk ; Klaus Schneider ; Mike Gordon
Using Linear Programming Techniques for Scheduling-Based Random Test-Case Generation / Amir Nahir ; Yossi Shiloach ; Avi Ziv
Extracting a Simplified View of Design Functionality Based on Vector Simulation / Onur Guzey ; Charles Wen ; Li-C. Wang ; Tao Feng ; Hillel Miller ; Magdy S. Abadir
Automatic Fault Localization for Property Checking / Stefan Staber ; Gorschwin Fey ; Roderick Bloem ; Rolf Drechsler
Verification of Data Paths Using Unbounded Integers: Automata Strike Back / Tobias Schuele
Tools Track
Smart-Lint: Improving the Verification Flow / Itai Yarom ; Viji Patil
Model-Driven Development with the jABC / Bernhard Steffen ; Tiziana Margaria ; Ralf Nagel ; Sven Jorges ; Christian Kubczak
Detecting Design Flaws in UML State Charts for Embedded Software / Janees Elamkulam ; Ziv Glazberg ; Ishai Rabinovitz ; Gururaja Kowlali ; Satish Chandra Gupta ; Sandeep Kohli ; Sai Dattathrani ; Claudio Paniagua Macia
A Panel: Unpaved Road Between Hardware Verification and Software Testing Techniques / Shmuel Ur
An Open Source Simulation Model of Software Development and Testing / Elad Yom-Tov ; Paul Wernick
Software Testing Track
ExpliSAT: Guiding SAT-Based Software Verification with Explicit States / Sharon Barner ; Cindy Eisner ; Daniel Kroening
Evolutionary Testing: A Case Study / Stella Levin ; Amiram Yehudai
A Race-Detection and Flipping Algorithm for Automated Testing of Multi-threaded Programs / Koushik Sen ; Gul Agha
Explaining Intermittent Concurrent Bugs by Minimizing Scheduling Noise / Yaniv Eytani ; Timo Latvala
Testing the Machine in the World / Michael Jackson
Choosing a Test Modeling Language: A Survey / Alan Hartman ; Mika Katara ; Sergey Olvovsky
Making Model-Based Testing More Agile: A Use Case Driven Approach / Antti Kervinen
Author Index
Hardware Verification Track
Model Checking PSL Using HOL and SMV / Thomas Tuerk ; Klaus Schneider ; Mike Gordon
Using Linear Programming Techniques for Scheduling-Based Random Test-Case Generation / Amir Nahir ; Yossi Shiloach ; Avi Ziv
3.

電子ブック
ＥＢ
3. Models in Software Engineering
Thomas K?hne, Takeo Kanade, Association for Computing Machinery-Digital Library.
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2007
所蔵情報: loading…
4.

電子ブック
ＥＢ
4. Software Engineering Techniques: Design for Quality
Krzysztof Sacha
出版情報: Springer eBooks Computer Science , Springer US, 2007
所蔵情報: loading…
5.

電子ブック
ＥＢ
5. Java Methods for Financial Engineering
Philip Barker
出版情報: Springer eBooks Computer Science , Springer London, 2007
所蔵情報: loading…
6.

電子ブック
ＥＢ
6. Software Visualization
Stephan Diehl
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2007
所蔵情報: loading…
7.

電子ブック
ＥＢ
7. Computer-Aided Design of User Interfaces V
International Conference on Computer-Aided Design of User Interfaces., G. Calvary, Ga?lle Calvary, Costin Pribeanu, Giuseppe Santucci, Jean Vanderdonckt
出版情報: Springer eBooks Computer Science , Springer Netherlands, 2007
所蔵情報: loading…
目次情報: 続きを見る
Sponsors
Programme Committee Members
Acknowledgements
Keynote Paper
Generating User Interfaces from Conceptual Models: A Model-Transformation Based Approach / Ó. Pastor1：
Multimodal User Interfaces
Towards Object Oriented, UIML-based Interface Descriptions for Mobile Devices / R. Schaefer ; S. Bleul2：
Towards a System of Patterns for the Design of Multimodal Interfaces / G. Godet-Bar ; S. Dupuy-Chessa ; L. Nigay3：
Design Options for Multimodal Web Applications / A. Stanciulescu ; J. Vanderdonckt4：
A Generic Approach for Pen-based User Interface Development / S. Macé ; E. Anquetil5：
Virtual and Mixed Reality User Interfaces
Participatory Design Meets Mixed Reality Design Models: Implementation Based on a Formal Instrumentation of an Informal Design Approach / E. Dubois ; G. Gauffre ; C. Bach ; P. Salembier6：
A Method for Developing 3D User Interfaces of Information Systems / J.M. González Calleros ; J. Muñoz Arteaga7：
GestAction3D: A Platform for Studying Displacements and Deformations of 3D Objects Using Hands / D. Lingrand ; Ph. Renevier ; A.-M. Pinna-Déry ; X. Cremaschi ; S. Lion ; J.-G. Rouel ; D. Jeanne ; Ph. Cuisinaud ; J. Soula8：
User Interfaces for Multi-Device Environments
Designing and Developing Multi-user, Multi-device Web Interfaces / F. Paternò ; I. Santos9：
A System to Support Publishing, Editing, and Creating Web Content for Various Devices / M. M. Silva ; E. Furtado10：
Transformational Consistency / K. Richter11：
Rapid Prototyping of Distributed User Interfaces / J. P. Molina Massó ; P. González López ; A. Fernández-Caballero ; M.D. Lozano Pérez12：
The Comets Inspector: Manipulating Multiple User Interface Representations Simultaneously / A. Demeure ; G. Calvary ; J. Coutaz13：
User Interface Layout in Multi-Device Environments
A Generic Approach for Multi-device User Interface Rendering with UIML / K. Luyten ; K. Thys ; J. Vermeulen ; K. Coninx14：
Device Independent Layout and Style Editing Using Multi-level Style Sheets / W. Dees15：
Automatic Interface Generation through Interaction, Users, and Devices Modeling / E. Bertini ; G. Santucci ; A. Calì16：
User Interface Design Support
The Meta Sketch Editor: A Reflexive Modeling Editor / L. Nóbrega ; N.J. Nunes ; H. Coelho17：
A Hybrid Tool for User Interface Modeling and Prototyping / H. Trœtteberg18：
Towards a Support of User Interface Design by Composition Rules / S. Lepreux19：
IdealXML: An Interaction Design Tool: A Task-based Approach to User Interface Design / F. Montero ; V. López-Jaquero20：
Integrating Model-based and Task-based Approaches to User Interface Generation / S. España ; I. Pederiva ; J.I. Panach21：
User Interface Usability Evaluation
Automated Repair Tool for Usability and Accessibility of Web Sites / A. Jasselette ; M. Keita ; M. Noirhomme-Fraiture ; F. Randolet ; Ch. Van Brussel ; D. Grolaux22：
Automating Guidelines Inspection: From Web Site Specification to Deployment / J. Xiong ; M. Diouf ; Ch. Farenc ; M. Winckler23：
Remote Web Usability Evaluation Exploiting Multimodal Information on User Behavior / A. Piruzza ; C. Santoro24：
Sponsors
Programme Committee Members
Acknowledgements
8.

電子ブック
ＥＢ
8. Conceptual Modelling in Information Systems Engineering
John; Opdahl, Andreas Lothe; Brinkkemper, Sjaak Krogstie, Sjaak Brinkkemper, John Krogstie, Andreas Opdahl, Andreas Lothe Opdahl
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2007
所蔵情報: loading…
目次情報: 続きを見る
Preface
Short biography of Arne Solvberg
List of Authors
From Information Algebra to Enterprise Modelling and Ontologies - a Historical Perspective on Modelling for Information Systems / Janis A. Bubenko jr
Fact-Oriented Modeling: Past, Present and Future / Terry Halpin
Data Integration - Problems, Approaches, and Perspectives / Patrick Ziegler ; Klaus R. Dittrich
Challenges to Conceptual Modelling / Bernhard Thalheim
Interoperable Management of Conceptual Models / Andreas L. Opdahl ; Guttorm Sindre
Uniform and Flexible Data Management in Workflow Management Systems / Johann Eder ; Marek Lehmann
Using Models in Enterprise Systems Projects / Jon Atle Gulla
The Role of Business Models in Enterprise Modelling / Paul Johannesson
Capturing System Intentionality with Maps / Colette Rolland
Conceptual Modeling and Software Design of Multi-agent Systems / David Kung ; Krishna Kavi
Agent Approach to Online Legal Trade / Antje Dietrich ; Peter C. Lockermann ; Oliver Raabe
Methods and Tools for Developing Interactive Information Systems / Anthony I. Wasserman
Conceptual Alignment of Software Production Methods / Oscar Pastor ; Arturo Gonzalez ; Sergio Espana
The Co-Development of System Requirements and Functional Architecture / Klaus Pohl ; Ernst Sikora
Capturing Dependability Threats in Conceptual Modelling
What Is Being Iterated? Reflections on Iteration in Information System Engineering Processes / Nicholas Berente ; Kalle Lyytinen
Systems Development in a GRIDs Environment / Keith G. Jeffery
Adaptive Information Systems / Barbara Pernici
Modelling of the People, by the People, for the People / John Krogstie
A Research Agenda for Conceptual Schema-Centric Development / Antoni Olive ; Jordi Cabot
Bibliography
Index
Preface
Short biography of Arne Solvberg
List of Authors
9.

電子ブック
ＥＢ
9. Model-Driven Architecture in Practice
Oscar Pastor, Juan Carlos Molina
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2007
所蔵情報: loading…
10.

電子ブック
ＥＢ
10. The Safety of Systems
Safety-Critical Systems Symposium., Tom Anderson, Felix Redmill
出版情報: Springer eBooks Computer Science , Springer London, 2007
所蔵情報: loading…
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼