close
1.

図書

図書
Special Interest Group for the Management of Data (SIGMOD), Special Interest Group for Algorithms and Computation Theory (SIGACT), Special Interest Group for Artificial Intelligence (SIGART)
出版情報: New York : Association for Computing Machinery, c2002  viii, 303 p. ; 28 cm
所蔵情報: loading…
2.

図書

図書
Special Interest Group for the Management of Data (SIGMOD), Special Interest Group for Algorithms and Computation Theory (SIGACT), Special Interest Group for Artificial Intelligence (SIGART)
出版情報: New York : Association for Computing Machinery, c2001  viii, 301 p. ; 28 cm
所蔵情報: loading…
3.

図書

図書
edited by George Gardarin ... [et al.] ; sponsored by the Association for Computing Machinery (ACM), Special Interest Group on Information Retrieval (SIGIR), Special Interest Group on Artificial Intelligence (SIGIR) in cooperation with the University of Southwestern Louisiana (USL), University Maryland, Baltimore County (UMBC)
出版情報: New York : ACM Press, c1998  xiii, 450 p. ; 28 cm
所蔵情報: loading…
4.

図書

図書
edited by Johanna Moore ... [et al.] ; sponsored by ACM SIGART, SIGCHI
出版情報: New York, N.Y. : Association for Computing Machinery, c1997  viii, 271 p. ; 28 cm
所蔵情報: loading…
5.

図書

図書
Special Interest Group for Algorithms and Computation Theory (SIGACT), Special Interest Group for the Management of Data (SIGMOD), Special Interest Group for Artificial Intelligence (SIGART)
出版情報: New York : Association for Computing Machinery, c1998  ix, 285 p. ; 28 cm
所蔵情報: loading…
6.

図書

図書
sponsored by the International Association for Artificial Intelligence and Law, University of Maryland Institute for Advanced Computer Studies, National Center for Automated Information Research ; in cooperation with ACM SIGART, American Association for Artificial Intelligence
出版情報: New York : Association for Computing Machinery, c1995  xii, 325 p. ; 28 cm
所蔵情報: loading…
7.

図書

図書
editors, Jonathan I. Maletic ... [et al.] ; sponsored by ACM, SIGSOFT, SIGART
出版情報: New York, NY : Association for Computing Machinery, c2005  79 p. ; 28 cm
所蔵情報: loading…
8.

図書

図書
SIGCHI, SIGART
出版情報: New York, N.Y. : Association for Computing Machinery, c2005 [i. e. 2006]  xiv, 366 p. ; 28 cm
所蔵情報: loading…
9.

図書

図書
sponsored by the International Association for Artificial Intelligence and Law, [et al.] ; in cooperation with the American Association for Artificial Intelligence, ACM SIGART
出版情報: New York : Association for Computing Machinery, c1999  xii, 220 p. ; 28 cm
所蔵情報: loading…
10.

図書

図書
sponsored by the IEEE Computer Society, the IEEE Computer Society Technical Committee on Pattern Analysis and Machine Intelligence [PAMI] ; in cooperation with ACM SIGART, IEEE Circuits and Systems Society, IEEE Control Systems Society ... [et al.]
出版情報: Los Alamitos, CA : IEEE Computer Society Press, c1996  xii, 486 p. ; 24 cm
所蔵情報: loading…
11.

図書

図書
Special Interest Group for the Management of Data (SIGMOD), Special Interest Group for Algorithms and Computation Theory (SIGACT), Special Interest Group for Artificial Intelligence (SIGART)
出版情報: New York : Association for Computing Machinery, c2000  viii, 281 p. ; 28 cm
所蔵情報: loading…
12.

図書

図書
International Conference on Intelligent User Interfaces ; SIGCHI (Group : U.S.) ; SIGART ; American Association for Artificial Intelligence ; British HCI Group
出版情報: New York, N.Y. : Association for Computing Machinery, c1998  x, 187 p. ; 28 cm
所蔵情報: loading…
13.

図書

図書
editor, Mark Maybury
出版情報: New York, N.Y. : Association for Computing Machinery, c1999  x, 205 p. ; 28 cm
所蔵情報: loading…
14.

図書

図書
editor, Henry Lieberman
出版情報: New York, N.Y. : Association for Computing Machinery, c2000  xi, 288 p. ; 28 cm
所蔵情報: loading…
15.

図書

図書
Special Interest Group for the Management of Data (SIGMOD), Special Interest Group for Algorithms and Computation Theory (SIGACT), Special Interest Group for Artificial Intelligence (SIGART)
出版情報: New York : Association for Computing Machinery, c1999  ix, 369 p. ; 28 cm
所蔵情報: loading…
16.

図書

図書
ACM/IEEE International Conference on Automated Software Engineering ; IEEE Computer Society ; ACM Sigsoft ; SIGART
出版情報: New York : Association for Computing Machinery, c2007  577 p. ; 28 cm
所蔵情報: loading…
17.

図書

図書
sponsored by IEEE Computer Society, CRIM, ACM-SIGART, ACM-SIGSOFT ; supported by Ministere du Developpement Economique et Regional du Quebec, Universite de Montreal, RCM2
出版情報: Los Alamitos, Calif. : IEEE Computer Society, c2003  xii, 382 p. ; 28 cm
所蔵情報: loading…
目次情報: 続きを見る
Preface
Conference Committee
International Program Committee
Additional Reviewers
Regular Papers
Requirements, Interfaces and Groupware
An Empirical Study on Groupware Support for Software Inspection Meetings / P. Grunbacher ; M. Halling ; S. Biffl
Analysis of Inconsistency in Graph-Based Viewpoints: A Category-Theoretic Approach / M. Sabetzadeh ; S. Easterbrook
Deriving User Interface Requirements from Densely Interleaved Scientific Computing Applications / A. Strelzoff ; L. Petzold
Testing I
Fault Localization with Nearest Neighbor Queries / M. Renieris ; S. Reiss
Tool-Assisted Unit Test Selection Based on Operational Violations / T. Xie ; D. Notkin
A New Structural Coverage Criterion for Dynamic Detection of Program Invariants / N. Gupta ; Z. Heidepriem
Software Architectures and Distributed Systems
DeCo: A Declarative Coordination Framework for Scientific Model Federations / D. Herington ; D. Stotts
A Programmable Client-Server Model: Robust Extensibility via DSLs / L. Reveillere ; C. Consel
Specification and Synthesis of Hybrid Automata for Physics-Based Animation / T. Ellman
Model Checking
Debugging Overconstrained Declarative Models Using Unsatisfiable Cores / I. Shlyakhter ; R. Seater ; M. Sridharan ; M. Taghdiri ; D. Jackson
Parallel Breadth-First Search LTL Model-Checking / J. Barnat ; L. Brim ; J. Chaloupka
Automated Environment Generation for Software Model Checking / O. Tkachuk ; M. Dwyer ; C. Pasareanu
Software Components
Aspectizing Server-Side Distribution / E. Tilevich ; S. Urbanski ; Y. Smaragdakis ; M. Fleury
Automating Component Adaptation for Reuse / B. Morel ; P. Alexander
Model-Based Verification of Web Service Compositions / H. Foster ; S. Uchitel ; J. Magee ; J. Kramer
Testing II
What Test Oracle Should I Use for Effective GUI Testing? / A. Memon ; I. Banerjee ; A. Nagarajan
A Type System for Statically Detecting Spreadsheet Errors / Y. Ahmad ; T. Antoniu ; S. Goldwater ; S. Krishnamurthi
Testing Database Transaction Concurrency / Y. Deng ; P. Frankl ; Z. Chen
Software Evolution and Maintenance
On the Automatic Evolution of an OS Kernel Using Temporal Logic and AOP / R. Aberg ; J. Lawall ; M. Sudholt ; G. Muller ; A. Le Meur
Unspeculation / N. Snavely ; S. Debray ; G. Andrews
SPQR: Flexible Automated Design Pattern Extraction from Source Code / J. Smith
Automatically Inferring Concern Code from Program Investigation Activities / M. Robillard ; G. Murphy
Short Papers
A Model-Driven Approach to Non-Functional Analysis of Software Architectures / J. Skene ; W. Emmerich
Extending Diagnosis to Debug Programs with Exceptions / W. Mayer ; M. Stumptner
Generating Design Pattern Detectors from Pattern Specifications / D. Heuzeroth ; W. Lowe ; S. Mandel
Predicting Fault Prone Modules by the Dempster-Shafer Belief Networks / L. Guo ; B. Cukic ; H. Singh
Semi-Automatic Fault Localization and Behavior Verification for Physical System Simulation Models / P. Bunus ; P. Fritzson
Automatic Generation of Content Management Systems from EER-Based Specifications / S. Vigna
Automated Requirements-Based Generation of Test Cases for Product Families / C. Nebut ; S. Pickin ; Y. Le Traon ; J. Jezequel
XRay Views: Understanding the Internals of Classes / G. Arevalo ; S. Ducasse ; O. Nierstrasz
Visual Constraint Diagrams: Runtime Conformance Checking of UML Object Models versus Implementations / C. Turner ; T. Graham ; C. Wolfe ; J. Ball ; D. Holman ; H. Stewart ; A. Ryman
A Pragmatic Study of Binary Class Relationships / Y. Gueheneuc ; H. Albin-Amiot
The Features Signatures of Evolving Programs / D. Licata ; C. Harris
Test Suite Design for Code Generation Tools / I. Sturmer ; M. Conrad
Theoretical Foundations of Updating Systems / H. Harris ; M. Ryan
An Incremental Approach to Task-Specific Information Delivery in SE Processes / H. Holz
Architecture Style-Based Calculi for Non-functional Properties / D. Wile
Certifying Measurement Unit Safety Policy / G. Rosu ; F. Chen
Automated Software Testing Using a Metaheuristic Technique Based on Tabu Search / E. Diaz ; J. Tuya ; R. Blanco
Model Checking Software Requirement Specifications Using Domain Reduction Abstraction / Y. Choi ; M. Heimdahl
An Approach for Tracing and Understanding Asynchronous Architectures / S. Hendrickson ; E. Dashofy ; R. Taylor
Refactoring C with Conditional Compilation / A. Garrido ; R. Johnson
A Java Component Model for Evolving Software Systems / M. Silva ; P. Guerra ; C. Rubira
Depiction and Playout of Multi-threaded Program Executions / A. Roychoudhury
Applying AutoBayes to the Analysis of Planetary Nebulae Images / B. Fischer ; J. Schumann
Automation for Exception Freedom Proofs / B. Ellis ; A. Ireland
Overview of OpenModel-Based Validation with Partial Information / R. Hall ; A. Zisman
Doctoral Symposium Papers
Detecting Requirements Interactions: A Three-Level Framework / M. Shehata ; A. Eberlein
Automating Relative Debugging / A. Searle ; J. Gough ; D. Abramson
Communicating Requirements Using End-User GUI Constructions with Argumentation / J. Moore
Graph Rewriting and Transformation (GreAT): A Solution for the Model Integrated Computing (MIC) Bottleneck / A. Agrawal
Visual Specification of Concurrent Systems / D. Safranek
VUML: A Viewpoint Oriented UML Extension / M. Nassar
An Infrastructure to Support Meta-Differencing and Refactoring of Source Code / M. Collard
Author Index
Preface
Conference Committee
International Program Committee
18.

図書

図書
Special Interest Group for the Management of Data (SIGMOD), Special Interest Group for Algorithms and Computation Theory (SIGACT), Special Interest Group for Artificial Intelligence (SIGART)
出版情報: New York : Association for Computing Machinery, c2003  viii, 308 p. ; 28 cm
所蔵情報: loading…
19.

図書

図書
SIGART ... [et al.]
出版情報: New York : Association for Computing Machinery, c2003  xvii, 1180 p. ; 28 cm
所蔵情報: loading…
20.

図書

図書
sponsored by Rome Laboratory, USAF ; in cooperation with AAAI, ACM SIGART and SIGSOFT, The IEEE Computer Society
出版情報: Los Alamitos, Calif. : IEEE Computer Society Press, c1996  x, 155 p. ; 28 cm
所蔵情報: loading…
21.

図書

図書
Special Interest Group for Algorithms and Computation Theory (SIGACT), Special Interest Group for the Management of Data (SIGMOD), Special Interest Group for Artificial Intelligence (SIGART)
出版情報: New York : Association for Computing Machinery, c1997  viii, 268 p. ; 28 cm
所蔵情報: loading…
22.

図書

図書
edited by Niki Pissinou ... [et al.] ; sponsored by the Association for Computing Machinery (ACM), Special Interest Group on Information Retrieval (SIGIR), Special Interest Group on Artificial Intelligence (SIGIR) in cooperation with National Science Foundation (NSF) ... [et al.]
出版情報: New York : ACM Press, c1995  xvi, 418 p. ; 28 cm
所蔵情報: loading…
23.

図書

図書
edited by Ken Barker, M.T. Özsu ; sponsored by the Association for Computing Machinery (ACM), Special Interest Group on Information Retrieval (SIGIR), Special Interest Group on Artificial Intelligence (SIGART) ; in cooperation with National Aeronautics and Space Administration (NASA) ... [et al.]
出版情報: New York, N.Y. : ACM Press, c1996  xi, 344 p. ; 28 cm
所蔵情報: loading…
24.

図書

図書
Special Interest Group for Algorithms and Computation Theory (SIGACT), Special Interest Group for the Management of Data (SIGMOD), Special Interest Group for Artificial Intelligence (SIGART)
出版情報: New York : Association for Computing Machinery, c1996  ix, 249 p. ; 28 cm
所蔵情報: loading…
25.

図書

図書
Special Interest Group for Algorithms and Computation Theory (SIGACT), Special Interest Group for the Management of Data (SIGMOD), Special Interest Group for Artificial Intelligence (SIGART)
出版情報: New York : Association for Computing Machinery, c1995  viii, 292 p. ; 28 cm
所蔵情報: loading…
26.

図書

図書
sponsored by Rome Laboratory, USAF ; in cooperation with AAAI, ACM SIGART and SIGSOFT, The IEEE Computer Society
出版情報: Los Alamitos, Calif. : IEEE Computer Society Press, c1995  ix, 202 p. ; 28 cm
所蔵情報: loading…
27.

図書

図書
edited by B. Bhargava ... [et al.] ; sponsored by Association for Computing Machinery. SIGART and SIGIR, International Society of Computers and Applications, University of Maryland Baltimore County ; in cooperation with American Association of Artificial Intelligence
出版情報: New York, N.Y. : Association for Computing Machinery, c1993  740 p. ; 28 cm
所蔵情報: loading…
28.

図書

図書
sponsored by Rome Laboratory, USAF ; in cooperation with AAAI, ACM SIGART and SIGSOFT, IEEE Computer Society
出版情報: Los Alamitos, Calif. : IEEE Computer Society Press, c1993  viii, 202 p. ; 28 cm
所蔵情報: loading…
29.

図書

図書
Special Interest Group for Algorithms and Computation Theory(SIGACT), Special Interest Group for the Management of Data(SIGMOD), Special Interest Group for Artificial Intelligence(SIGART)
出版情報: New York : Association for Computing Machinery, c1994  ix, 313 p. ; 28 cm
所蔵情報: loading…
30.

図書

図書
sponsored by the Association for Computing Machinery, SIGPLAN, SIGACT, SIGART
出版情報: New York, N.Y. : Association for Computing Machinery, c1984  x, 362 p. ; 28 cm
所蔵情報: loading…
31.

図書

図書
sponsored by the International Association for Artificial Intelligence and Law ; in cooperation with ACM SIGART
出版情報: New York : Association for Computing Machinery, c1993  xii, 305 p. ; 28 cm
所蔵情報: loading…
32.

図書

図書
Special Interest Group for Algorithms and Computation Theory(SIGACT), Special Interest Group for the Management of Data(SIGMOD), Special Interest Group for Artificial Intelligence(SIGART)
出版情報: New York : Association for Computing Machinery, c1993  vi, 312 p. ; 28 cm
所蔵情報: loading…
33.

図書

図書
sponsored by IEEE Computer Society ; in cooperation with ACM SIGSOFT & SIGART
出版情報: Los Alamitos, California : IEEE Computer Society Press, 1993  xii, 286 p ; 28 cm
所蔵情報: loading…
34.

図書

図書
Special Interest Group for Automata and Computability Theory (SIGACT), Special Interest Group for the Management of Data (SIGMOD), Special Interest Group for Artificial Intelligence (SIGART)
出版情報: New York, N.Y. : Association for Computing Machinery, c1988  vi, 352 p. ; 28 cm
所蔵情報: loading…
35.

図書

図書
Special Interest Group for Automata and Computability Theory(SIGACT), Special Interest Group for the Management of Data(SIGMOD), Special Interest Group for Artificial Intelligence(SIGART)
出版情報: New York : Association for Computing Machinery, c1992  viii, 392 p. ; 28 cm
所蔵情報: loading…
36.

図書

図書
sponsored by Faculty of Law, the University of British Columbia, in cooperation with ACM SIGART ; with additional support from IBM Canada Ltd., the Center for Law and Computer Science, Northeastern University
出版情報: New York, N.Y. : Association for Computing Machinery , Baltimore, MD : May be ordered from ACM Order Dept., c1989  x, 258 p. ; 28 cm
所蔵情報: loading…
37.

図書

図書
Special Interest Group for Automata and Computability Theory(SIGACT), Special Interest Group for the Management of Data(SIGMOD), Special Interest Group for Artificial Intelligence(SIGART)
出版情報: New York : Association for Computing Machinery, c1991  vii, 341 p. ; 28 cm
所蔵情報: loading…
38.

図書

図書
Special Interest Group for Automata and Computability Theory (SIGACT), Special Interest Group for the Managemant of Data (SIGMOD), Special Interest Group for Artificial Intelligence (SIGART)
出版情報: New York, N.Y. : Association for Computing Machinery, c1989  vii, 401 p. ; 28 cm
所蔵情報: loading…
39.

図書

図書
Editors; Forouzan Golshani, Kia Makki ; Sponcerd by the Association for Computing Machinery. Special Interest Groups on Artificial Intelligence, and Information Retrieval ; In cooperation with the Special Interest Groups on Hypertext/Hypermedia, and Groupware
出版情報: New York, N.Y. : ACM Press, c1997  ix, 378 p. ; 28 cm
所蔵情報: loading…
40.

図書

図書
sponsored by ACM SIGCHI ; in cooperation with ACM SIGIR ... [et. al]
出版情報: New York, N.Y. : Association for Computing Machinery, c2007  x, 211 p. ; 28 cm.
所蔵情報: loading…
41.

図書

図書
sponsored by ACM SIGCHI ; in cooperation with ACM SIGIR ... [et. al]
出版情報: New York, N.Y. : Association for Computing Machinery, c2008  x, 337 p. ; 28 cm.
所蔵情報: loading…
42.

図書

図書
ACM/IEEE International Conference on Human-Robot Interaction ; SIGCHI (Group : U.S.) ; SIGART ; Association for Computing Machinery ; Institute of Electrical and Electronics Engineers
出版情報: New York : Association for Computing Machinery, c2009  308 p. ; 28 cm
所蔵情報: loading…
43.

図書

図書
ACM Conference on Recommender Systems ; ACM Special Interest Group on the Social and Behavioral Science of Computing ; Association for Computing Machinery. Special Interest Group on Information Retrieval ; ACM SIGWEB ; Association for Computing Machinery. Special Interest Group on Knowledge Discovery & Data Mining ; SIGART
出版情報: New York : Association for Computing Machinery, c2009  426 p. ; 28 cm.
所蔵情報: loading…
44.

図書

図書
sponsored by ACM SIGACT and ACM SIGART
出版情報: Baltimore : ACM Order Department, c1992  v, 452 p. ; 28 cm
所蔵情報: loading…
45.

図書

図書
sponsored by ACM SIGACT and ACM SIGART
出版情報: New York : The Association for Computing Machinery, c1994  vii, 368 p. ; 28 cm
所蔵情報: loading…
46.

図書

図書
in cooperation with ACM SIGACT and ACM SIGART
出版情報: New York : The Association for Computing Machinery, c1995  vi, 464 p. ; 28 cm
所蔵情報: loading…
47.

図書

図書
in cooperation with ACM SIGACT and ACM SIGART
出版情報: New York : Association for Computing Machinery, c1996  vii, 344 p. ; 28 cm
所蔵情報: loading…
48.

図書

図書
sponsored by Vanderbilt University, in cooperation with ACM SIGACT and ACM SIGART
出版情報: New York : Association for Computing Machinery, c1997  vii, 338 p. ; 28 cm
所蔵情報: loading…
49.

図書

図書
sponsored by ACM SIGACT and ACM SIGART
出版情報: New York : The Association for Computing Machinery, c1993  vi, 463 p. ; 28 cm
所蔵情報: loading…
50.

図書

図書
David L. Waltz, general chairman ; sponsored by the Association for Computational Linguistics, the Association for Computing Machinery, SIGART (ACM Special Interest Group in Artificial Intelligence)
出版情報: New York : ACM, c1978  iii, 253 p. ; 28 cm
所蔵情報: loading…
51.

図書

図書
sponsored by The University of Tennessee Space Institute, Association for Computing Machinery-Sigart ; cooperating organizations, American Association for Artificial Intelligence ... [et al.] ; [edited by Moonis Ali]
出版情報: New York : Association for Computing Machinery, c1989  2 v. (1108 p.) ; 28 cm
所蔵情報: loading…
52.

図書

図書
sponsored by Association for Computing Machinery-Sigart, the University of South Carolina, The University of Tennessee Space Institute(UTSI) ; cooperating organizations, American Association fo Artificial Intelligence ... [et al.]
出版情報: New York : Association for Computing Machinery, c1990  2 v. (1176 p.) ; 28 cm
所蔵情報: loading…
53.

図書

図書
edited by Carles Sierra, Maria Gini, and Jeffrey S. Rosenschein ; sponsored by ACM SIGART
出版情報: New York : ACM Press, c2000  xiii, 508 p. ; 28 cm
所蔵情報: loading…
54.

図書

図書
edited by Jörg P. Müller, Elisabeth Andre, Sandip Sen, and Claude Frasson ; sponsored by ACM SIGART ; co-sponsored by ACM/SIGGRAPH, ACM/SIGCHI
出版情報: New York : ACM Press, c2001  xiii, 666 p. ; 28 cm
所蔵情報: loading…
55.

図書

図書
sponsored by ACM/SIGART ; edited by Chris Welty, Barry Smith
出版情報: New York, N. Y. : Association for Computing Machinery, c2001  xvi, 348 p. ; 24 cm
所蔵情報: loading…
56.

図書

図書
edited by W.D. Gray ... [et al.] ; sponsored by ACM SIGCHI, SIGART ; in cooperation with AAAI & the British HCI Group
出版情報: New York, N.Y. : Association for Computing Machinery, c1993  vi, 275 p. ; 28 cm
所蔵情報: loading…
57.

図書

図書
Special Interest Group for the Management of Data (SIGMOD), Special Interest Group for Algorithms and Computation Theory (SIGACT), Special Interest Group for Artificial Intelligence (SIGART)
出版情報: New York : Association for Computing Machinery, c2004  viii, 343 p. ; 28 cm
所蔵情報: loading…
58.

図書

図書
Special Interest Group for the Management of Data (SIGMOD), Special Interest Group for Algorithms and Computation Theory (SIGACT), Special Interest Group for Artificial Intelligence (SIGART)
出版情報: New York : acm Press, c2005  x, 380 p. ; 28 cm
所蔵情報: loading…
59.

図書

図書
Special Interest Group for the Management of Data (SIGMOD), Special Interest Group for Algorithms and Computation Theory (SIGACT), Special Interest Group for Artificial Intelligence (SIGART)
出版情報: New York : acm Press, c2006  xii, 366 p. ; 28 cm
所蔵情報: loading…
60.

図書

図書
Special Interest Group for the Management of Data (SIGMOD), Special Interest Group for Algorithms and Computation Theory (SIGACT), Special Interest Group for Artificial Intelligence (SIGART)
出版情報: New York : acm, c2007  xi, 313 p. ; 28 cm
所蔵情報: loading…
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼