close
1.

図書
図書
1. TINLAP-2 : Theoretical Issues in Natural Language Processing-2, University of Illinois at Urbana-Champaign, July 25-27, 1978
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…
2.

図書
図書
2. Proceedings : International Workshop on Neural Networks for Identification, Control, Robotics, and Signal/Image Processing, Venice, Italy, August 21-23, 1996
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…
3.

図書
図書
3. Proceedings of the Eighteenth ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems, PODS 1999, Philadelphia, Pennsylvania, May 31-June 2, 1999 (ACM)
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…
4.

図書
図書
4. Proceedings of the Nineteenth ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems, PODS 2000, Dallas, Texas, May 15-17, 2000
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…
5.

図書
図書
5. IUI 98 : 1998 International Conference on Intelligent User Interfaces, San Francisco, California, January 6-9, 1998
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…
6.

図書
図書
6. IUI 99 : 1999 International Conference on Intelligent User Interfaces, Redondo Beach, Los Angeles, California, January 5-8, 1999
editor, Mark Maybury
出版情報: New York, N.Y. : Association for Computing Machinery, c1999  x, 205 p. ; 28 cm
所蔵情報: loading…
7.

図書
図書
7. IUI 2000 : 2000 International Conference on Intelligent User Interfaces, New Orleans, Louisiana, USA, January 9-12, 2000
editor, Henry Lieberman
出版情報: New York, N.Y. : Association for Computing Machinery, c2000  xi, 288 p. ; 28 cm
所蔵情報: loading…
8.

図書
図書
8. Proceedings of the 1998 ACM CIKM : International Conference on Information and Knowledge Management, November 3-November 7, 1998, Bethesda, Maryland, USA
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…
9.

図書
図書
9. Proceedings of the Sixth International Conference on Information and Knowledge Management, CIKM'97, November 10-14, 1997, Las Vegas, Nevada
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…
10.

図書
図書
10. 1997 International Conference on Intelligent User Interfaces : IUI97, January 6-9, 1997, Orlando, Florida, USA
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…
11.

図書
図書
11. Proceedings of the Tenth Annual Conference on Computational Learning Theory, July 6th-9th, 1997, Nashville, Tennessee (: pbk)
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…
12.

図書
図書
12. Proceedings of the Sixteenth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, PODS 1997, Tucson, Arizona, May 12-14, 1997
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…
13.

図書
図書
13. Proceedings of the 1995 ACM CIKM : International Conference on Information and Knowledge Management, November 28-December 2, 1995, Baltimore, Maryland, USA
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…
14.

図書
図書
14. Proceedings of the 1996 ACM CIKM : International Conference on Information and Knowledge Management, November 12-16, 1996, Rockville, Maryland, USA
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…
15.

図書
図書
15. Proceedings of the Seventeenth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, PODS 1998, Seattle, Washington, June 1-3, 1998
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…
16.

図書
図書
16. The Fifth International Conference on Artificial Intelligence and Law, proceedings of the conference, May 21-24, 1995, University of Maryland, College Park, MD USA (: pbk.)
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…
17.

図書
図書
17. Proceedings of the Fifteenth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, PODS 1996, Montreal, Canada, June 3-5, 1996
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…
18.

図書
図書
18. Proceedings of the 11th Knowledge-based Software Engineering Conference, Syracuse, New york, September 25-28, 1996 (microfiche)
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…
19.

図書
図書
19. Proceedings : Ninth Knowledge-based Software Engineering Conference, Monterey, Calfornia, September 20-23, 1994
sponsored by Rome Laboratory, USAF ; in cooperation with AAAI, ACM SIGART, IEEE Computer Society
出版情報: Los Alamitos, Calif. : IEEE Computer Society Press, c1994  viii, 189 p. ; 28 cm
所蔵情報: loading…
20.

図書
図書
20. Proceedings of the ninth Annual Conference on Computational Learning Theory, June 28th-July 1st, 1996, Desenzano del Garda, Italy (: pbk)
in cooperation with ACM SIGACT and ACM SIGART
出版情報: New York : Association for Computing Machinery, c1996  vii, 344 p. ; 28 cm
所蔵情報: loading…
21.

図書
図書
21. Proceedings of the Eighth Annual Conference on Computational Learning Theory, July 5th-8th, 1995, Santa Cruz, California
in cooperation with ACM SIGACT and ACM SIGART
出版情報: New York : The Association for Computing Machinery, c1995  vi, 464 p. ; 28 cm
所蔵情報: loading…
22.

図書
図書
22. Proceedings : the 10th Knowledge-based Software Engineering Conference, Boston, Massachusetts, November 12-15, 1995 (microfiche)
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…
23.

図書
図書
23. Proceedings of the Fourteenth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, PODS 1995, San Jose, California, May 22-25, 1995
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…
24.

雑誌
雑誌
24. Proceedings of the ... ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems
ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems ; ACM Special Interest Group on Algorithms and Computation Theory ; ACM Special Interest Group for Automata and Computability Theory ; ACM Special Interest Group for the Management of Data ; SIGART
出版情報: New York, N.Y. : Association for Computing Machinery  v. ; 28 cm
所蔵情報: loading…
25.

雑誌
雑誌
25. Proceedings of the ... International Conference on Knowledge Capture : K-cap ...
International Conference on Knowledge Capture ; Association for Computing Machinery ; SIGART
出版情報: New York, N.Y. : ACM Press  v. ; 28 cm
所蔵情報: loading…
26.

雑誌
雑誌
26. International Conference on Artificial Intelligence and Law : proceedings of the conference
International Conference on Artificial Intelligence and Law ; SIGART
出版情報: New York, N.Y. : Association for Computing Machinery  v. ; 28 cm
所蔵情報: loading…
27.

図書
図書
27. Proceedings, the Third International Conference on Industrial & Engineering Applications of Artificial intelligence & Expert Systems, IEA/AIE-90, July 15-18, 1990, The Mills House Hotel, Charleston, South Carolina (v. 1 ; v. 2)
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…
28.

図書
図書
28. The Second International Conference on Artificial Intelligence and Law, proceedings of the conference, June 13-16, 1989, the University of British Columbia, Vancouver, BC Canada
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…
29.

図書
図書
29. Proceedings of the Tenth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, May 29-31, 1991, Denver, Colorado
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…
30.

図書
図書
30. Proceedings of the Fifth Annual ACM Workshop on Computational Learning Theory, July 27-29, 1992, Pittsburgh, Pennsylvania
sponsored by ACM SIGACT and ACM SIGART
出版情報: Baltimore : ACM Order Department, c1992  v, 452 p. ; 28 cm
所蔵情報: loading…
31.

図書
図書
31. Proceedings of the Eleventh ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, June 2-4, 1992, San Diego, California (: soft ; : hard)
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…
32.

図書
図書
32. Proceedings, The Second International Conference on Industrial & Engineering Applications of Artificial intelligence & Expert Systems, IEA/AIE-89, at The University of Tennessee Space Institute (UTSI), Tullahoma, Tennessee, June 6-9, 1989 (v. 1 ; v. 2)
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…
33.

図書
図書
33. Proceedings of the Eighth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, March 29-31, 1989, Philadelphia, Pa.
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…
34.

図書
図書
34. Proceedings of the Seventh ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, March 21-23, 1988, Austin, Texas
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.

図書
図書
35. Conference record of the 1984 ACM Symposium on LISP and Functional Programming : papers presented at the symposium, Austin, Texas, August 6-8, 1984
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…
36.

図書
図書
36. Proceedings of the 1993 International Workshop on Intelligent User Interfaces, January 4-7, 1993, Orlando, Florida (: soft cover)
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…
37.

図書
図書
37. Proceedings of the conference : the Fourth International Conference on Artificial Intelligence and Law, June 15-18, 1993, Computer/Law Institute, Vrije Universiteit Amsterdam, The Netherlands (: pbk.)
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…
38.

図書
図書
38. Proceedings of the IEEE International Symposium on Requirements Engineering, January 4-6, 1993, San Diego, California
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…
39.

図書
図書
39. Proceedings of the Seventh Annual ACM Conference on Computational Learning Theory : COLT 94 : July 12th-15th, 1994, New Brunswick, New Jersey
sponsored by ACM SIGACT and ACM SIGART
出版情報: New York : The Association for Computing Machinery, c1994  vii, 368 p. ; 28 cm
所蔵情報: loading…
40.

図書
図書
40. CIKM 93 : proceedings of the Second International Conference on Information and Knowledge Management, November 1-5, 1993, Washington, DC, USA
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…
41.

図書
図書
41. Proceedings : The Eighth Knowledge-Based Software Engineering Conference, September 20-23, 1993, Chicago, Illinois (paper ; microfiche)
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…
42.

図書
図書
42. Proceedings of the Thirteenth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, May 24-26, 1994, Minneapolis, MN
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…
43.

図書
図書
43. Proceedings of the Twelfth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, May 25-28, 1993, Washington, DC (:)
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…
44.

図書
図書
44. Proceedings of the Sixth Annual ACM Conference on Computational Learning Theory, July 26th-28th, 1993, Santa Cruz, California
sponsored by ACM SIGACT and ACM SIGART
出版情報: New York : The Association for Computing Machinery, c1993  vi, 463 p. ; 28 cm
所蔵情報: loading…
45.

図書
図書
45. Formal ontology in information systems : collected papers from the second International Conference, October 17th-19th, 2001, the Cliff House, Ogunquit, Maine, USA
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…
46.

図書
図書
46. Proceedings of the twenty-second ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems : PODS 2003, San Diego, California, June 9-11, 2003
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…
47.

図書
図書
47. aamas 2003 : proceedings of the second International Joint Conference on Autonomous Agents and Mltiagent Systems, July 14-18, 2003, Melborne, Australia / editors, Jeffery S. Rosenschein ... [et al.] ; sponsored by ACM
SIGART ... [et al.]
出版情報: New York : Association for Computing Machinery, c2003  xvii, 1180 p. ; 28 cm
所蔵情報: loading…
48.

図書
図書
48. Proceedings : 18th IEEE International Conference on Automated Software Engineering, Montreal, Quebec, Canada, October 6 to 10, 2003
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
49.

図書
図書
49. The Seventh international conference on artificial intelligence and law : proceedings of the conference, June 14-18, 1999 The University of Oslo, Norway
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…
50.

図書
図書
50. Proceedings of the fourth international conference on autonomous agents, Barcelona, Catalonia, Spain, June 3-7, 2000
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…
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼