close
1.

図書
図書
1. Proceedings of the 1997 ACM SIGPLAN International Conference on Functional Programming (ICFP '97), Amsterdam The Netherlands, June 9-11, 1997
sponsored by the Association for Computing Machinery, Special Interest Group on Programming Languages (SIGPLAN)
出版情報: New York, N.Y. : ACM Press, c1997  ix, 323 p. ; 28 cm
所蔵情報: loading…
2.

図書
図書
2. Proceedings of the Sixth ACM SIGPLAN International Conference on Functional Programming (ICFP'01), Florence, Italy, September 3-5, 2001
sponsored by the Association for Computing Machinery Special Interest Group on Programming Languages (SIGPLAN) ; with support from European Association for Programming Languages and Systems & Cybertex
出版情報: New York, N.Y. : Association for Computing Machinery, c2001  ix, 277 p. ; 28 cm
所蔵情報: loading…
3.

図書
図書
3. Proceedings of the ACM SIGPLAN '94 Conference on Programming Language Design and Implementation (PLDI), Orlando, FL, June 20-24, 1994
sponsored by the Special Interest Group on Programming Languages, Association for Computing Machinery
出版情報: New York, N.Y. : ACM Press, c1994  viii, 360 p. ; 28 cm
所蔵情報: loading…
4.

図書
図書
4. Proceedings of the ACM SIGPLAN '98 Conference on Programming Language Design and Implementation (PLDI), Montreal, Canada, 17-19 June, 1998
sponsored by the ACM Special Interest Group on Programming Languages (ACM SIGPLAN)
出版情報: New York, N.Y. : ACM Press, c1998  viii, 357 p. ; 28 cm
所蔵情報: loading…
5.

図書
図書
5. Proceedings of the ACM SIGPLAN '00 Conference on Programming Language Design and Implementation (PLDI), Vancouver, British Columbia, Canada, June 18-21, 2000
sponsored by the Association for Computing Machinery, Special Interest Group on Programming Languages, (ACM SIGPLAN)
出版情報: New York, N.Y. : ACM Press, c2000  x, 358 p. ; 28 cm
所蔵情報: loading…
6.

図書
図書
6. Proceedings of the Sixth ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, Las Vegas, Nevada, 18-21 June, 1997
sponsored by Association for computing Machinery Special Interest Group on Programming Languages
出版情報: New York, N.Y. : Association for Computing Machinery, 1997  viii, 287 p. ; 28 cm
所蔵情報: loading…
7.

図書
図書
7. Proceedings of the Seventh ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, Atlanta, Georgia, 4-6 May, 1999
sponsored by the Association for Computing Machinery Special Interest Group on Programming Languages (SIGPLAN)
出版情報: New York, N.Y. : Association for Computing Machinery, c1999  viii, 192 p. ; 28 cm
所蔵情報: loading…
8.

図書
図書
8. Proceedings of the Eighth ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming : PPoPP'01 : Snowbird, Utah, USA, June 18-20, 2001
sponsored by the Association for Computing Machinery Special Interest Group on Programming Languages
出版情報: New York, N.Y. : Association for Computing Machinery, c2001  vii, 144 p. ; 28 cm
所蔵情報: loading…
9.

図書
図書
9. ASPLOS XII : Twelfth International Conference on Architectural Support for Programming Languages and Operating Systems, October 21-25, 2006, San Jose, California, USA ([:pbk])
sponsored by SIGARCH, SIGPLAN, SIGOPS ; with support from AMD ... [et.al]
出版情報: New York : Association for Computing Machinery, c2006  xi, 428 p. ; 28 cm
所蔵情報: loading…
10.

図書
図書
10. ASPLOS XI : Eleventh International Conference on Architectural Support for Programming Languages and Operating Systems, October 9-13, 2004, Boston, Massachusetts ([:pbk])
sponsored by SIGARCH, SIGPLAN, SIGOPS ; with support from AMD ... [et.al]
出版情報: New York : Association for Computing Machinery, c2004  x, 286 p. ; 28 cm
所蔵情報: loading…
目次情報:
Includes bibliographical references and author index
Includes bibliographical references and author index
11.

図書
図書
11. Proceedings of the 2000 ACM SIGPLAN Workshop on Partial Evaluation and Semantics-Based Program Manipulation (PEPM '00), Boston, Massachusetts, January 22-23, 2000 (: pbk)
sponsored by the Association for Computing Machinery Special Interest Group on Programming Languages (SIGPLAN)
出版情報: New York, N.Y. : ACM Press, c2000  iv, 116 p. ; 28 cm
所蔵情報: loading…
12.

図書
図書
12. Conference record of ACM Symposium on Principles of Programming Languages : papers presented at the symposium, Boston, Massachusetts, October 1-3, 1973 (: pbk)
sponsored by the Association for Computing Machinery Special Interest Group on Automata and Computability Theory [and] Special Interest Group on Programming Languages
出版情報: [New York] : The Association, c1973  iv, 242 p. ; 28 cm
所蔵情報: loading…
13.

図書
図書
13. Conference record of the Twelfth Annual ACM Symposium on Principles of Programming Languages : extended abstracts of papers presented at the Symposium, Monteleone Hotel, New Orleans, Louisiana, 14-16 January 1985 (pbk)
sponsored by the Association for Computing Machinery, Special Interest Group on Automata and Computability Theory (SIGACT) [and] Special Interest Group on Programming Languages (SIGPLAN)
出版情報: New York, N.Y. : ACM , Baltimore, MD : May be ordered from ACM Order Dept., c1984  ii, 340 p. ; 28 cm
所蔵情報: loading…
14.

図書
図書
14. Conference Record of the Eleventh Annual ACM Symposium on Principles of Programming Languages : papers presented at the symposium, Salt Lake City, Utah, January 15-18, 1984
sponsored by the Association for Coomputing Machinery, Special Interest Group on Automata and Computability Theory, Special Interest Group on Programming Languages
出版情報: New York : ACM, 1984  vi, 302 p. ; 28 cm
所蔵情報: loading…
15.

図書
図書
15. Conference record of POPL '00 : the 27th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages : papers presented at the symposium, Boston, Massachusetts, 19-21 January 2000
sponsored by the Association for Computing Machinery, SIGACT, SIGPLAN
出版情報: New York, N.Y. : Association for Computing Machinery, c2000  xi, 402 p. ; 28 cm
所蔵情報: loading…
16.

図書
図書
16. Proceedings of the ACM SIGPLAN '99 Conference on Programming Language Design and Implementation (PLDI), Atlanta, Georgia, 1-4 May, 1999
sponsored by the ACM Special Interest Group on Programming Languages, (ACM SIGPLAN)
出版情報: New York, N.Y. : ACM Press, c1999  x, 304 p. ; 28 cm
所蔵情報: loading…
17.

図書
図書
17. Proceedings of the Fourth ACM SIGPLAN International Conference on Functional Programming (ICFP'99), Paris, France, September 27-29, 1999
sponsored by the Association for Computing Machinery Special Interest Group on Programming Languages (SIGPLAN)
出版情報: New York, N.Y. : Association for Computing Machinery, c1999  viii, 283 p. ; 28 cm
所蔵情報: loading…
18.

図書
図書
18. Proceedings of the 2000 International Conference on Software Engineering, June 4-11, 2000, Limerick, Ireland (: ACM ; : IEEE)
sponsored by IEEE Computer Society Technical Council on Software Engineering, ACM Special Interest Group on Software Engineering, Irish Computer Society ; in cooperation with ACM Special Interest Group on Programming Languages
出版情報: New York, N.Y. : ACM Press, 2000  xviii, 843 p. ; 28 cm
所蔵情報: loading…
19.

図書
図書
19. Proceedings of the ACM SIGPLAN-SIGACT Workshop on Program Analysis for Software Tools and Engineering : PASTE '99, Toulouse, France, September 6, 1999
sponsored by the Association for Computing Machinery. Special Interest Group on Programming Languages (SIGPLAN) and Special Interest Group on Software Engineering (SIGSOFT)
出版情報: New York, N.Y. : Association for Computing Machinery, c1999  iv, 109 p. ; 28 cm
シリーズ名: ACM SIGSOFT software engineering notes ; vol. 24, no. 5 Sept. 1999
所蔵情報: loading…
20.

図書
図書
20. ISMM '98 International Symposium on Memory Management, Vancouver, British Columbia, Canada, 17-19 October, 1998 : conference proceedings (: pbk)
sponsored by the ACM Special Interest Group on Programming Languages (SIGPLAN)
出版情報: New York, N. Y. : Association for Computing Machinery, c1998  vii, 195 p. ; 28 cm
シリーズ名: SIGPLAN notices ; v. 34, no. 3, March 1999
所蔵情報: loading…
21.

図書
図書
21. Proceedings, ACM SIGAda Annual international conference (SIGAda '98), (formerly TriAda), November 8-12, 1998, Omni Shoreham Hotel, Washington DC, USA
sponsored by ACM Special Interest Group on Ada (SIGAda), in cooperation SIGAPP [et. al.]
出版情報: New York : Association for Computing Machinery, c1998  xii, 293 p. ; 28 cm
所蔵情報: loading…
22.

図書
図書
22. Proceedings, ACM SIGAda Annual international conference (SIGAda '99), October 17-21, 1999, Crowne Plaza, Redondo Beach & Marina Hotel, Redondo Beach, CA, USA
sponsored by ACM Special Interest Group on Ada (SIGAda)
出版情報: New York : Association for Computing Machinery, c1999  xiv, 251 p. ; 28 cm
所蔵情報: loading…
23.

図書
図書
23. Proceedings of the ACM SIGPLAN 1999 Workshop on Languages, Compilers, and Tools for Embedded Systems (LCTES '99), Atlanta, GA, May 5, 1999 (: pbk)
[sponsored by the Association for Computing Machinery Special Interest Group on Programming Languages (SIGPLAN)]
出版情報: New York : Association for Computing Machinery, c1999  vi, 120 p. ; 28 cm
所蔵情報: loading…
24.

図書
図書
24. Proceedings of the IOPADS : Sixth Workshop on I/O in parallel and distributed systems : Part of FCRC '99: The ACM federated computing research conference, May 5, 1999, Atlanta, Georgia
co-sponsored by ACM SIGACT [et. al.], in cooperation with ACM SIGPLAN
出版情報: New Yoek. N.Y. : The Association for Computing Machinery, c1999  v, 98 p. ; 28 cm
所蔵情報: loading…
25.

図書
図書
25. Conference record of POPL '99 : the 26th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages : papers presented at the symposium, San Antonio, Texas, 20-22 January 1999 (ACM)
sponsored by the Association for Computing Machinery, SIGACT, SIGPLAN
出版情報: New York, N.Y. : Association for Computing Machinery, c1998  viii, 324 p. ; 28 cm
所蔵情報: loading…
26.

図書
図書
26. Proceedings, First International Enterprise Distributed Object Computing Workshop : October 24-26, 1997, Gold Coast, Australia
co-sponsored by IEEE Communications Society ; in cooperation with ACM SIGPLAN
出版情報: Los Alamitos, CA : IEEE Computer Society, c1997  xiv, 367 p. ; 28 cm
所蔵情報: loading…
27.

図書
図書
27. Conference record of POPL '98 : the 25th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages : papers presented at the symposium, San Diego, California, 19-21 January 1998 (ACM)
sponsored by the Association for Computing Machinery, SIGACT, SIGPLAN
出版情報: New York, N.Y. : Association for Computing Machinery, c1998  viii, 408 p. ; 28 cm
所蔵情報: loading…
28.

図書
図書
28. Proceedings of the ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation : PEPM'97, Amsterdam, The Netherlands, June 12-13, 1997
sponsored by the Association for Computing Machinery Special Interest Group on Programming Languages (SIGPLAN)
出版情報: New York, N.Y. : Association for Computing Machinery, c1997  vi, 217 p. ; 28 cm
所蔵情報: loading…
29.

図書
図書
29. Proceedings : 1998 International Conference on Computer Languages, May 14-16, 1998, Chicago, Illinois (: casebound)
sponsored by IEEE Computer Society Technical Committee on Computer Languages ; in cooperation with ACM SIGPLAN
出版情報: Los Alamitos, Calif. : IEEE Computer Society Press, c1998  x, 282 p. ; 28 cm
所蔵情報: loading…
30.

図書
図書
30. Proceedings [of] the ACM SIGPLAN '97 Conference on Programming Language Design and Implementation (PLDI), Las Vegas, Nevada, 15-18 June, 1997
sponsored by the Association for Computing Machinery, Special Interest Group on Programming Languages (SIGPLAN)
出版情報: New York, N.Y. : ACM Press, c1997  viii, 365 p. ; 28 cm
所蔵情報: loading…
31.

図書
図書
31. Conference record of POPL '97 : the 24th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages : papers presented at the symposium, Paris, France, 15-17 January 1997 (ACM)
sponsored by the Association for Computing Machinery. SIGACT, SIGPLAN
出版情報: New York, N.Y. : Association for Computing Machinery, c1997  viii, 497 p. ; 28 cm
所蔵情報: loading…
32.

図書
図書
32. Conference record of POPL '95 : 22nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages : papers presented at the symposium, San Francisco, California january 22-25, 1995
sponsored by the Association for Computing Machinery. SIGACT, SIGPLAN
出版情報: New York, N.Y. : Association for Computing Machinery, c1995  vii, 408 p. ; 28 cm
所蔵情報: loading…
33.

図書
図書
33. Proceedings of the ACM SIGPLAN '96 Conference on Programming Language Design and Implementation (PLDI), Philadelphia, PA, May 21-24, 1996
sponsored by the Special Interest Group on Programming Languages, Association for Computing Machinery
出版情報: New York, N.Y. : ACM Press, c1996  viii, 300 p. ; 28 cm
シリーズ名: SIGPLAN notices ; v. 31, no. 5
所蔵情報: loading…
34.

図書
図書
34. Proceedings of the 1996 ACM SIGPLAN International Conference on Functional Programming (ICFP '96), Philadelphia, Pennsylvania, May 24-26, 1996
sponsored by the Association for Computing Machinery, Special Interest Group on Programming Languages (SIGPLAN), in association with IFIP Working Group 2.8 on Functional Programming
出版情報: New York, N.Y. : ACM Press, c1996  vi, 273 p. ; 28 cm
所蔵情報: loading…
35.

図書
図書
35. Conference record of POPL '96 : the 23rd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages : papers presented at the symposium, St. Petersburg Beach, Florida 21-24 January 1996
sponsored by the Association for Computing Machinery. SIGACT, SIGPLAN
出版情報: New York, N.Y. : Association for Computing Machinery, c1996  viii, 423 p. ; 28 cm
所蔵情報: loading…
36.

図書
図書
36. Proceedings of the Fifth ACM SIGPLAN Symposium on Principles & Practice of Parallel Programming, PPOPP, Santa Barbara, California, July 19-21, 1995
sponsored by the Special Interest Group on Programming Languages, Association for Computing Machinery
出版情報: New York, N.Y. : Association for Computing Machinery, 1995  viii, 226 p. ; 28 cm
所蔵情報: loading…
37.

図書
図書
37. Proceedings of the ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation : PEPM'95, La Jolla, California, June 21-23, 1995
sponsored by the Association for Computing Machinery Special Interest Group on Programming Languages (SIGPLAN)
出版情報: New York, N.Y. : Association for Computing Machinery, c1995  vi, 263 p. ; 28 cm
所蔵情報: loading…
38.

図書
図書
38. Proceedings of the ACM SIGPLAN '95 Conference on Programming Language Design and Implementation (PLDI), La Jolla, CA, June 18-21, 1995
sponsored by the Special Interest Group on Programming Languages, Association for Computing Machinery
出版情報: New York, N.Y. : ACM Press, c1995  viii, 327 p. ; 28 cm
所蔵情報: loading…
39.

図書
図書
39. Advanced programming environments : proceedings of an international workshop, Trondheim, Norway, June 16-18, 1986 (: gw ; : us)
edited by Reidar Conradi, Tor M. Didriksen, and Dag H. Wanvik
出版情報: Berlin ; New York ; Tokyo : Springer-Verlag, c1986  vii, 604 p. ; 25 cm
シリーズ名: Lecture notes in computer science ; 244
所蔵情報: loading…
40.

図書
図書
40. Conference record of the Thirteenth Annual ACM Symposium on Principles of Programming Languages : papers presented at the Symposium, St. Petersburg Beach, Florida, 13-15 January 1986 (: pbk)
sponsored by the Association for Computing Machinery, Special Interest Group on Automata and Computability Theory (SIGACT) [and] Special Interest Group on Programming Languages (SIGPLAN)
出版情報: New York, N.Y. : ACM , Baltimore, MD : May be ordered from ACM Order Dept., c1986  v, 326 p. ; 28 cm
所蔵情報: loading…
41.

図書
図書
41. Conference record of the Tenth Annual ACM Symposium on Principles of Programming Languages : papers presented at the symposium, Austin, Texas, January 24-26, 1983
sponsored by the Association for Computing Machinery, Special Interest Group on Automata and Computability Theory, Special Interest Group on Programming Languages
出版情報: New York : ACM, c1983  vii, 312 p. ; 28 cm
所蔵情報: loading…
42.

図書
図書
42. Functional programming languages and computer architecture : 5th ACM Conference, Cambridge, MA, USA, August 26-30, 1991 : proceedings (: gw ; : us)
J. Hughes, (ed.)
出版情報: Berlin ; New York : Springer-Verlag, c1991  viii, 666 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 523
所蔵情報: loading…
43.

図書
図書
43. Conference record of the second ACM Symposium on Principles of Programming Languages : papers presented at the symposium, Palo Alto, California, January 20-22, 1975
sponsored by the Association for Computing Machinery Special Interest Group on Automata and Computability Theory [and] Special Interest Group on Programming Languages
出版情報: New York : ACM, c1975  iv, 242 p. ; 28 cm
所蔵情報: loading…
44.

図書
図書
44. Conference record of the third ACM Symposium on Principles of Programming Languages : papers presented at the symposium, Atlanta, Georgia January 19-21, 1976
sponsored by the Association for Computing Machinery, Special Interest Group on Automata and Computability Theory, Special Interest Group on Programming Languages
出版情報: New York : ACM, c1976  iv, 218 p. ; 28 cm
所蔵情報: loading…
45.

図書
図書
45. Conference record of the Fifth Annual ACM Symposium on Principles of Programming Languages : papers presented at the Symposium, Tucson, Arizona, January 23-25, 1978
sponsored by the Association for Computing Machinery, Special Interest Group on Automata and Computability Theory, Special Interest Group on Programming Languages
出版情報: New York : ACM, c1978  iv, 264 p. ; 28 cm
所蔵情報: loading…
46.

図書
図書
46. Conference record of the eighth annual ACM Symposium on Principles of Programming Languages : papers presented at the symposium, Williamsburg, Virginia, January 26-28, 1981 (pbk.)
sponsored by the Association for Computing Machinery, Special Interest Group on Automata and Computability Theory [and] Special Interest Group on Programming Languages
出版情報: Baltimore : ACM, c1981  230 p. ; 28 cm
所蔵情報: loading…
47.

図書
図書
47. Conference record of the Ninth Annual ACM Symposium on Principles of Programming Languages : papers presented at the Symposium, Albuquerque, New Mexico, January 25-27, 1982 (: pbk)
sponsored by the Association for Computing Machinery, Special Interest Group on Automata and Computability Theory [and] Special Interest Group on Programming Languages
出版情報: New York, N.Y. : ACM , Baltimore, MD : May be ordered from ACM Order Dept., c1982  vi, 378 p. ; 28 cm
所蔵情報: loading…
48.

図書
図書
48. Conference record of the Nineteenth Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages : papers presented at the symposium, Albuquerque, New Mexico, January 19-22, 1992
sponsored by the Association for Computing Machinery, Special Interest Group on Automata and Computability Theory (SIGACT) ; Special Interest Group on Programming Languages (SIGPLAN)
出版情報: New York, N.Y. : ACM, c1992  viii, 366 p. ; 28 cm
所蔵情報: loading…
49.

図書
図書
49. Proceedings of the 1992 International Conference on Computer Languages : April 20-23, 1992, Oakland, California (: paper ; : micro. ; : case)
sponsored by IEEE Computer Society, IEEE Computer Society Technical Committee on Computer Languages in cooperation with ACM SIGNPLAN and IFIP Technical Committee 2
出版情報: Los Alamitos, Calif. : IEEE Computer Society Press, c1992  341 p. ; 28 cm
所蔵情報: loading…
50.

図書
図書
50. Conference record of the Eighteenth Annual ACM Symposium on Principles of Programming Languages : papers presented at the symposium, Orlando, Florida, January 21-23, 1991
sponsored by the Association for Computing Machinery, Special Interest Group on Automata and Computability Theory (SIGACT) ; Special Interest Group on Programming Languages (SIGPLAN)
出版情報: New York, N.Y. : ACM, c1990  vii, 366 p. ; 28 cm
所蔵情報: loading…
51.

図書
図書
51. Conference record of the Seventeenth Annual ACM Symposium on Principles of Programming Languages : papers presented at the symposium, San Francisco, California, January 17-19, 1990
sponsored by the Association for Computing Machinery, Special Interest Group on Automata and Computability Theory (SIGACT) [and] Special Interest Group on Programming Languages (SIGPLAN)
出版情報: New York, N.Y. : ACM , Baltimore, MD : May be ordered from ACM Order Dept., c1990  vi, 401 p. ; 28 cm
所蔵情報: loading…
52.

図書
図書
52. FPCA '89 : the fourth International Conference on Functional Programming Languages and Computer Architecture, Imperial College, London, September 11-13, 1989 (: Addison-Wesley ; : ACM)
sponsored by the Association for Computing Machinery's Special Interest Group on Programming Languages (SIGPLAN), Special Interest Group on Computer Architecture (SIGARCH) and the International Federation for Information Processing
出版情報: Reading, MA : Addison-Wesley , New York : Association for Computing Machinery, c1989  vi, 395 p. ; 28 cm
所蔵情報: loading…
53.

図書
図書
53. Conference record of the Fourth ACM Symposium on Principles of Programming Languages : papers presented at the symposium, Los Angeles, California, January 17-19, 1977
sponsored by the Association for Computing Machinery, Special Interest Group on Automata and Computability Theory, Special Interest Group on Programming Languages
出版情報: New York : The Association, c1977  iv, 280 p. ; 28 cm
所蔵情報: loading…
54.

図書
図書
54. Conference record of the sixth annual ACM Symposium on Principles of Programming Languages : papers presented at the symposium, San Antonio, Texas, January 29-31, 1979
sponsored by the Association for Computing Machinery, Special Interest Group on Automata and Computability Theory, Special Interest Group on Programming Languages
出版情報: New York : ACM, c1979  iv, 290 p. ; 28 cm
所蔵情報: loading…
55.

図書
図書
55. Conference record of the Sixteenth Annual ACM Symposium on Principles of Programming Languages : papers presented at the symposium, Austin, Texas, January 11-13, 1989 (: pbk.)
sponsored by the Association for Computing Machinery, Special Interest Group on Automata and Computability Theory (SIGACT), Special Interest Group on Programming Languages (SIGPLAN)
出版情報: New York, N.Y. : Association for Computing Machinery , Baltimore, MD : May be ordered from ACM Order Dept., c1989  vi, 352 p. ; 28 cm
所蔵情報: loading…
56.

図書
図書
56. Conference record of the Seventh Annual ACM Symposium on Principles of Programming Languages : papers presented at the symposium, Las Vegas, Nevada, January 28-30, 1980 (pbk.)
sponsored by the Association for Computing Machinery, Special Interest Group on Automata and Computability Theory, Special Interest Group on Programming Languages
出版情報: New York, N.Y. : ACM , Baltimore, MD : May be ordered from ACM Order Dept., c1980  vii, 261 p. ; 28 cm
所蔵情報: loading…
57.

図書
図書
57. 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…
58.

図書
図書
58. Conference record of the Fifteenth Annual ACM Symposium on Principles of Programming Languages : papers presented at the Symposium, San Diego, California, January 13-15, 1988 (: pbk.)
sponsored by the Association for Computing Machinery, Special Interest Group on Automata and Computability Theory (SIGACT) [and] Special Interest Group on Programming Languages (SIGPLAN)
出版情報: New York, N.Y. : ACM , Baltimore, MD : May be ordered from ACM Order Dept., c1988  iv, 329 p. ; 28 cm
所蔵情報: loading…
59.

図書
図書
59. FPCA '93 : Conference on Functional Programming Languages and Computer Architecture, Copenhagen, Denmark, 9-11 June, 1993
sponsored by ACM SIGPLAN/SIGGRAPH ; in cooperation with the MIT Laboratory for Computer Science, DIKU, and IFIP Working Group 2.8
出版情報: New York : Association for Computing Machinery, c1993  xi, 350 p. ; 28 cm
所蔵情報: loading…
60.

図書
図書
60. Conference record of POPL '94 : 21st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages : papers presented at the symposium, Portland, Oregon, January 17-21, 1994
sponsored by the Association for Computing Machinery. SIGACT, SIGPLAN
出版情報: New York, N.Y. : Association for Computing Machinery, c1994  viii, 492 p. ; 28 cm
所蔵情報: loading…
61.

図書
図書
61. Proceedings of the 1994 International Conference on Computer Languages : May 16-19, 1994, Toulouse, France (: soft. ; : case. ; : micro.)
sponsored by IEEE Computer Society Technical Committee on Computer Languages in cooperation with ACM SIGNPLAN, IRIT
出版情報: Los Alamitos, Calif. : IEEE Computer Society Press, c1994  xi, 305 p. ; 28 cm
所蔵情報: loading…
62.

図書
図書
62. Conference record of the twentieth Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages : papers presented at the symposium, Charleston, South Carolina, January 10-13, 1993 (: pbk)
sponsored by the Association for Computing Machinery, Special Interest Group on Automata and Computability Theory (SIGACT) ; Special Interest Group on Programming Languages (SIGPLAN)
出版情報: New York, N.Y. : ACM, c1993  viii, 510 p. ; 28 cm
所蔵情報: loading…
63.

図書
図書
63. Proceedings of the ACM SIGPLAN '01 Conference on Programming Language Design and Implementation (PLDI), Snowbird, Utah, June 20-22, 2001
sponsored by the Association for Computing Machinery, Special Interest Group on Programming Languages (ACM SIGPLAN)
出版情報: New York, N.Y. : Association for Computing Machinery, c2001  ix, 333 p. ; 28 cm
所蔵情報: loading…
64.

図書
図書
64. Proceedings of the 2002 ACM SIGPLAN Workshop on Partial Evaluation and Semantics-Based Program Manipulation (PEPM '02), Portland, Oregon, USA, January 14-15, 2002 (: pbk)
sponsored by the Association for Computing Machinery Special Interest Group on Programming Languages (SIGPLAN)
出版情報: New York, N.Y. : ACM Press, c2002  iv, 144 p. ; 28 cm
所蔵情報: loading…
65.

図書
図書
65. Proceedings of the fourth International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming (PPDP '02), Pittsburgh, Pennsylvania, USA, October 6-8, 2002
sponsored by the Association for Computing Machinery Special Interest Group on Programming Languages (SIGPLAN)
出版情報: New York, N.Y. : Association for Computing Machinery, c2002  viii, 216 p. ; 28 cm
所蔵情報: loading…
66.

図書
図書
66. Proceedings of the 2002 ACM SIGPLAN Haskell Workshop (Haskell '02), Pittsburgh, Pennsylvania, USA, October 3, 2002
sponsored by the Association for Computing Machinery Special Interest Group on Programming Languages (SIGPLAN)
出版情報: New York, N.Y. : Association for Computing Machinery, c2002  iv, 114 p. ; 28 cm
所蔵情報: loading…
67.

図書
図書
67. ACM SIGPLAN Erlang Workshop '02 : a satellite event of PLI 2002, October 7, 2002, Pittsburgh, Pennsylvania, USA
sponsored by ACM SIGPLAN
出版情報: New York, N.Y. : Association for Computing Machinery, c2002  vi, 72 p. ; 28 cm
所蔵情報: loading…
68.

図書
図書
68. Proceedings of the 2002 ACM SIGPLAN Workshop on Rule-based Programming (RULE '02), Pittsburgh, Pennsylvania, USA, October 5, 2002
sponsored by the Association for Computing Machinery. Special Interest Group on Programming Languages (SIGPLAN)
出版情報: New York, N.Y. : Association for Computing Machinery, c2002  iv, 106 p. ; 28 cm
所蔵情報: loading…
69.

図書
図書
69. Conference record, ACM SIGPLAN Asia-PEPM 2002 : the Asian Symposium on Partial Evaluation and Semantics-based Program Manipulation : papers presented at the symposium, Aizu, Japan, September 12-14, 2002
sponsored by ACM Special Interest Group on Programming Languages (SIGPLAN) ; supported by the University of Aizu
出版情報: New York, N.Y. : Association for Computing Machinery, c2002  vi, 150 p. ; 28 cm
所蔵情報: loading…
70.

図書
図書
70. LCTES '02 - SCOPES '02 : joint Conference on Languages, Compilers, and Tools for Embedded Systems & Software and Compilers for Embedded Systems, Crowne Plaza Berlin City Centre, Berlin, Germany, 19-21 June 2002
sponsored by ACM SIGPLAN ; in cooperation with EDAA ; co-located with PLDI 2002 ; Peter Marwedel & Srinivas Devadas, editors
出版情報: New York : Association for Computing Machinery, c2002  ix, 234 p. ; 28 cm
所蔵情報: loading…
71.

図書
図書
71. Proceedings of the ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming (PPoPP '03), San Diego, California, USA, June 11-13, 2003
sponsored by the Association for Computing Machinery Special Interest Group on Programming Languages (ACM SIGPLAN)
出版情報: New York, N.Y. : Association for Computing Machinery, c2003  vi, 242 p. ; 28 cm
所蔵情報: loading…
72.

図書
図書
72. Proceedings of the 2003 ACM SIGPLAN Workshop on Partial Evaluation and Semantics-Based Program Manipulation (PEPM '03), San Diego, California, USA, June 7th, 2003
sponsored by the Association for Computing Machinery Special Interest Group on Programming Languages (ACM SIGPLAN)
出版情報: New York, N.Y. : Association for Computing Machinery, c2003  vi, 94 p. ; 28 cm
所蔵情報: loading…
73.

図書
図書
73. Proceedings of the 2003 ACM SIGPLAN Conference on Languages, Compilers, and Tools for Embedded Systems (LCTES '03), San Diego, California, USA, June 11-13, 2003
sponsored by the Association for Computing Machinery. Special Interest Group on Programming Languages (ACM SIGPLAN)
出版情報: New York : Association for Computing Machinery, c2003  viii, 296 p. ; 28 cm
所蔵情報: loading…
74.

図書
図書
74. ISMM 2002 : International Symposium on Memory Management, Crown Plaza Berlin City Centre, Berlin, Germany, 20-21 June 2002
sponsored by ACM SIGPLAN ; co-located with PLDI 2002
出版情報: New York : Association for Computing Machinery, c2002  vi, 186 p. ; 28 cm
所蔵情報: loading…
75.

図書
図書
75. Proceedings of the seventh ACM SIGPLAN International Conference on Functional Programming (ICFP '02), Pittsburgh, Pennsylvania, USA, October 4-6, 2002
sponsored by the Association for Computing Machinery Special Interest Group on Programming Languages (SIGPLAN) ; with support from European Association for Programming Languages and Systems & Cybertex
出版情報: New York, N.Y. : Association for Computing Machinery, c2002  ix, 284 p. ; 28 cm
所蔵情報: loading…
76.

図書
図書
76. Proceedings of the 3rd International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming (PPDP '01), Florence, Italy, September 5-7, 2001
sponsored by the Association for Computing Machinery Special Interest Group on Programming Languages (SIGPLAN)
出版情報: New York, N.Y. : Association for Computing Machinery, c2001  vi, 226 p. ; 28 cm
所蔵情報: loading…
77.

図書
図書
77. ASPLOS-IX proceedings : ninth International Conference on Architectural Support for Programming Languages and Operating Systems, Cambridge, Massachusetts, November 12-15, 2000
International Conference on Architectural Support for Programming Languages and Operating Systems ; Association for Computing Machinery ; SIGARCH ; ACM Special Interest Group in Operating Systems ; ACM Special Interest Group in Programming Languages
出版情報: New York, N.Y. : Association for Computing Machinery, c2000  ix, 271 p. ; 28 cm
所蔵情報: loading…
78.

図書
図書
78. Proceedings of the fifth ACM SIGPLAN International Conference on Functional Programming (ICFP'00), Montréal, Canada, September 18-21, 2000
sponsored by the Association for Computing Machinery Special Interest Group on Programming Languages (SIGPLAN)
出版情報: New York, N.Y. : Association for Computing Machinery, c2000  ix, 294 p. ; 28 cm
所蔵情報: loading…
79.

図書
図書
79. Proceedings of the 2002 ACM SIGPLAN-SIGSOFT Workshop on Program Analysis for Software Tools and Engineering : PASTE '02, November 18-19, 2002, Charleston, South Carolina, USA
sponsored by the Association for Computing Machinery Special Interest Group on Programming Languages and Special Interest Group on Software Engineering
出版情報: New York, N.Y. : Association for Computing Machinery, c2002  vi, 86 p. ; 28 cm
所蔵情報: loading…
80.

図書
図書
80. SIGSOFT 2002/FSE 10 : proceedings of the tenth ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE-10), November 18-22, 2002, Charleston, South Carolina, USA
edited by William G. Griswold ; sponsored by Special Interest Group on Software Engineering ; in cooperation with SIGPLAN
出版情報: New York, N.Y. : Association for Computing Machinery, c2002  vi, 178 p. ; 28 cm
所蔵情報: loading…
81.

図書
図書
81. Conference record of POPL 2003 : the 30th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages : papers presented at the symposium, New Orleans, Louisiana, USA, January 15-17, 2003
sponsored by the Association for Computing Machinery, Special Interest Group on Algorithms and Computation Theory (SIGACT), Special Interest Group on Programming Languages (SIGPLAN)
出版情報: New York, N.Y. : Association for Computing Machinery, c2003  vii, 299 p. ; 28 cm
所蔵情報: loading…
82.

図書
図書
82. OOPSLA 2002 : 17th ACM Conference on Object-oriented Programming, Systems, Languages, and Applications, conference proceedings, November 4-8, 2002, Washington State Convention and Trade Center, Seattle, Washington, USA
sponsored by ACM SIGPLAN ; in cooperation with ACM SIGSOFT
出版情報: New York, N.Y. : the Associaton for Computing Machinery, c2002  x, 386 p. ; 28 cm
所蔵情報: loading…
83.

図書
図書
83. Proceedings of the TLDI '03 : 2003 ACM SIGPLAN International Workshop on Types in Languages Design and Implementation : papers presented at the workshop, New Orleans, Louisiana, USA, January 18th, 2003
sponsored by the Association for Computing Machinery, Special Interest Group on Programming Languages (SIGPLAN)
出版情報: New York, N.Y. : Association for Computing Machinery, c2003  vi, 138 p. ; 28 cm
所蔵情報: loading…
84.

図書
図書
84. Proceedings of the ACM SIGPLAN 2002 Conference on Programming Language Design and Implementation (PLDI'02), Berlin, Germany, June 17-19, 2002
sponsored by the Association for Computing Machinery, Special Interest Group on Programming Languages (ACM SIGPLAN)
出版情報: New York, N.Y. : Association for Computing Machinery, c2002  x, 328 p. ; 28 cm
所蔵情報: loading…
85.

図書
図書
85. Proceedings of the joint 9th European Software Engineering Conference (ESEC) & 11th SIGSOFT Symposium on the Foundations of Software Engineering (FSE-11), Helsinki, Finland, September 1-5, 2003
edited by Paola Inverardi ; sponsored by ACM SIGSOFT and CEPIS ; in cooperation with Tietotekniikan liito & SIGPLAN ; with support from NOKIA, City of Helsinki, and Academy of Finland
出版情報: New York : the Association for Computing Machinery, c2003  x, 383 p. ; 28 cm
所蔵情報: loading…
86.

図書
図書
86. Proceedings of the 23rd International Conference on Software Engineering, May 12-19, 2001, Toronto, Ontario, Canada
International Conference on Software Engineering ; IEEE Computer Society. Technical Council on Software Engineering ; ACM Sigsoft ; ACM Special Interest Group in Programming Languages
出版情報: Los Alamitos, Cailf. : IEEE Computer Society, c2001  xxix, 844 p. ; 28 cm
所蔵情報: loading…
目次情報: 続きを見る
Message from the Chairs
Conference Organization
Sponsors and Supporters
Technical Papers
Design and Specification of Distributed Systems
Composition Patterns: An Approach to Designing Reusable Aspects / S. Clarke ; R. J. Walker
MAS--An Interactive Synthesizer to Support Behavioral Modeling in UML / E. Makinen ; T. Systa
Analysis and Testing of Web Applications / F. Ricca ; P. Tonella
Static Analysis
The Right Algorithm at the Right Time: Comparing Data Flow
Analysis Algorithms for Finite State Verification / J. M. Cobleigh ; L. A. Clarke ; L. J. Osterweil
Static Checking of Interrupt-Driven Software / D. Brylow ; N. Damgaard ; J. Palsberg
Lightweight Analysis of Operational Specifications Using Inference Graphs / L. K. Dillon ; R. E. K. Stirewalt
Process Improvement for Multi-Site Environments
Commitment Development in Software Process Improvement: Critical Misconceptions / P. Abrahamsson
An Empirical Study of Global Software Development: Distance and Speed / J. D. Herbsleb ; A. Mockus ; T. A. Finholt ; R. E. Grinter
Software Product Lines: Organizational Alternatives / J. Bosch
Design Recovery and Program Understanding
Supporting Program Comprehension Using Semantic and Structural Information / J. I. Maletic ; A. Marcus
On the Syllogistic Structure of Object-Oriented Programming / D. Rayside ; K. Kontogiannis
A Scenario-Driven Approach to Traceability / A. Egyed
Effective Uses of Inspections
Systematic Object-Oriented Inspection--An Empirical Study / A. Dunsmore ; M. Roper ; M. Wood
Evaluating the Accuracy of Defect Estimation Models Based on Inspection Data from Two Inspection Cycles / S. Biffl ; W. Grossmann
Investigating the Cost-Effectiveness of Reinspections in Software Development / B. Freimut ; O. Laitenberger
Building Formal Analysis Tools
A Component-Based Approach to Building Formal Analysis Tools
Tool-Supported Program Abstraction for Finite-State Verification / M. B. Dwyer ; J. Hatcliff ; R. Joehanes ; S. Laubach ; C. S. Pasareanu ; Robby ; H. Zheng ; W. Visser
A Workbench for Synthesising Behaviour Models from Scenarios / S. Uchitel ; J. Kramer
Dynamic Analysis and Testing
The Specification and Testing of Quantified Progress Properties in Distributed Systems / P. Krishnamurthy ; P. A. G. Sivilotti
An Explorative Journey from Architectural Tests Definition downto Code Tests Execution / A. Bertolino ; P. Inverardi ; H. Muccini
Encoding Program Executions / S. P. Reiss ; M. Renieris
Construction of Component-Based Systems
Dynamic and Selective Combination of Extensions in Component-Based Applications / E. Truyen ; B. Vanhaute ; W. Joosen ; P. Verbaeten ; B. Norregaard Jorgensen
Generating Wrappers for Command Line Programs: The Cal-Aggie Wrap-O-Matic Project / E. Wohlstadter ; S. Jackson ; P. Devanbu
Designing Components versus Objects: A Transformational Approach / D. H. Lorenz ; J. Vlissides
Reengineering and Software Evolution
Exploiting the Map Metaphor in a Tool for Software Evolution / W. G. Griswold ; J. J. Yuan ; Y. Kato
Separating Features in Source Code: An Exploratory Study / G. C. Murphy ; A. Lai ; M. P. Robillard
Comparing Frameworks and Layered Refinement / R. Cardone ; C. Lin
Analysis of Architectures
Quantifying the Costs and Benefits of Architectural Decisions / R. Kazman ; J. Asundi ; M. Klein
Survivability Analysis of Networked Systems / S. Jha ; J. M. Wing
Adaptive Feedback Scheduling of Incremental and Design-to-Time Tasks / P. H. Feiler ; J. J. Walker
Improving the Testing Process
Incorporating Varying Test Costs and Fault Severities into Test Case Prioritization / S. Elbaum ; A. Malishevsky ; G. Rothermel
Finding Failures by Cluster Analysis of Execution Profiles / W. Dickinson ; D. Leon ; A. Podgurski
Understanding IV and V in a Safety Critical and Complex Evolutionary Environment: The NASA Space Shuttle Program / M. V. Zelkowitz ; I. Rus
Reliability and Mobile Agents
Theory of Software Reliability Based on Components / D. Hamlet ; D. Mason ; D. Woit
Engineering Mobile-Agent Applications via Context-Dependent Coordination / G. Cabri ; L. Leonardi ; F. Zambonelli
Consistent Group Membership in Ad Hoc Networks / G.-C. Roman ; Q. Huang ; A. Hazemi
Analysis of Requirements
Fast Formal Analysis of Requirements via "Topoi Diagrams" / T. Menzies ; J. Powell ; M. E. Houle
Conceptual Modeling through Linguistic Analysis Using LIDA / S. P. Overmyer ; B. Lavoie ; O. Rambow
A Framework for Multi-Valued Reasoning over Inconsistent Viewpoints / S. Easterbrook ; M. Chechik
Functional Paleontology: System Evolution as the User Sees It / A. I. Anton ; C. Potts
Formal Frameworks
A General Framework for Formalizing UML with Formal Languages / W. E. McUmber ; B. H. C. Cheng
Efficient Filtering in Publish-Subscribe Systems Using Binary Decision Diagrams / A. Campailla ; S. Chaki ; E. Clarke ; H. Veith
A Scalable Formal Method for Design and Automatic Checking of User Interfaces / J. Berstel ; S. Crespi Reghizzi ; G. Roussel ; P. San Pietro
Scientific Rigour, an Answer to a Pragmatic Question: A Linguistic Framework for Software Engineering / A. M. Haeberer ; T. S. E. Maibaum
Architectures for Emerging Applications
An Architecture for Heterogeneous Groupware Applications / I. Marsic
A Web-Oriented Architectural Aspect for the Emerging Computational Tapestry / K. Sullivan ; A. Saxena
XAS: A System for Accessing Componentized, Virtual XML Documents / M.-L. Lo ; S.-K. Chen ; S. Padmanabhan ; J.-Y. Chung
Case Study Papers
Infrastructure Support
Using the Web for Document Versioning: An Implementation Report for Delta V / J. J. Hunt ; J. Reuter
Evaluating the Reverse Engineering Capabilities of Web Tools for Understanding Site Content and Structure: A Case Study / S. Tilley ; S. Huang
A Case Study of the Evolution of Jun: An Object-Oriented Open-Source 3D Multimedia Library / A. Aoki ; K. Hayashi ; K. Kishida ; K. Nakakoji ; Y. Nishinaka ; B. Reeves ; A. Takashima ; Y. Yamamoto
Applications of New Paradigms in Software Development
Case Study: Extreme Programming in a University Environment / M. M. Muller ; W. F. Tichy
Improving Validation Activities in a Global Software Development / C. Ebert ; C. H. Parro ; R. Suttels ; H. Kolarczyk
Applying WinWin to Quality Requirements: A Case Study / H. In ; B. Boehm ; T. Rodgers ; M. Deutsch
Software Evolution
Tigra--An Architectural Style for Enterprise Application Integration / W. Emmerich ; E. Ellmer ; H. Fieglein
Reengineering Analysis of Object-Oriented Systems via Duplication Analysis / F. Fioravanti ; G. Migliarese ; P. Nesi
Education Papers
Practical Software Engineering Education
Educating Software Engineering Students to Manage Risk / D. Port
A Formal Approach to Component-Based Software Engineering: Education and Evaluation / M. Sitaraman ; T. J. Long ; B. W. Weide ; E. J. Harner ; L. Wang
Corrective Maintenance Maturity Model (CM[superscript 3]): Maintainer's Education and Training / M. Kajko-Mattsson ; S. Forssander ; U. Olsson
Degree Programs for Software Engineering Education
An Efficient Set of Software Degree Programs for One Domain / T. Shepard
The Software Factory: Combining Undergraduate Computer Science and Software Engineering Education / J. D. Tvedt ; R. Tesoriero ; K. A. Gary
Academic Software Engineering: What Is and What Could Be? Results of the First Annual Survey for International SE Programs / K. L. Modesitt ; D. Bagert ; L. Werth
Plenary Sessions
Software Engineering and the Internet / D. Sabbah
The Coming-of-Age of Software Architecture Research / M. Shaw
"Tolerating Inconsistency" Revisited / R. Balzer
Software Engineering Challenges: A CIO's Perspective / B. Voigt
Reuse That Pays / L. M. Northrop
Challenges and Achievements in Software Engineering / G. Engels ; W. Schafer
Process-Centered Software Engineering Environments: Academic and Industrial Perspectives / V. Gruhn
Specification and Modeling: An Academic Perspective / M. Broy
Specification and Modeling: An Industrial Perspective / B. Selic
Invited Industry Presentations / F. Coallier ; D. Perry
Global Software Development: The Bell Labs Collaboratory / D. Atkins ; M. Handel ; J. Herbsleb ; G. Wills
Does More Necessarily Mean Better? The Software Performance and Reliability Bottleneck / M. Cheng
Software Engineering in a Startup / A. Ricciardi
Technology Drivers and Research Challenges of Future e-Business / S. Feldman
Challenge of Keitai Software: Software Engineering for Next Generation Mobile Phone Systems / Y. Hanai ; M. Aoyama
Web Services and Software Engineering: Challenges and Opportunities / S. Weerawarana
Enterprise Methodology =/= Software Development Methdology / J. Q. Ning
Mining Selected Components: The Options Analysis for Reengineering (OAR) / D. Smith ; L. O'Brien ; J. Bergey
Achieving Usability through Software Architecture / L. Bass ; B. E. John
Frontiers of Software Practice / H. Muller
Enabling Technologies for the Future of Voice-Based Web Access / S. Woods
Jini Network Technology: Devices, Desires, and Designs
Inter-Language Object Sharing with the Common Language Runtime: Infrastructure for MS .NET / J. Hamilton
Collaborative Software Engineering / A. Brown
AntiPatterns in Software Architecture / T. Mobray
Dependability of Embedded Systems / J. Knight
Simple Object Access Protocol (SOAP) and Web Services / A. Ryman
Auditing Legacy Systems for Security and Survivability / T. Longstaff
Panels
Software Engineering Body of Knowledge (Swebok)
Impact Project Panel: Determining the Impact of Software Engineering Research Upon Practice
Software Engineering Research Agendas Panel (SERA): What Can't We Do, But Need to Learn How to Do?
Panel: Perspectives on Software Engineering
Tutorials
UML for Software Engineers / R. France ; C. Kobryn
The Intertwining between Risk and Project Management / K. Fruhauf
Methods of Component-Based Software Engineering: Essential Concepts and Classroom Experience / K. Wallnau
From Use Cases to Code--Rigorous Software Development with UML / A. Zundorf
OPEN: A Flexible OO/CBD Process for Software-Intensive Systems Development, a UML Exposition / H. Younessi ; B. Henderson-Sellers
Describing Software Architecture with UML / P. Kruchten ; W. Kozazynski
Software Product Lines and Software Architecture Design
How to Do Inspections When There is No Time / D. Kelly
EasyWinWin: A Groupware-Supported Methodology for Requirements Negotiation / P. Grunbacher ; R. O. Briggs
Tutorial on Fundamental Concepts for Practical Software Architecture / A. Ran
An Introduction to Java 2 Micro Edition (J2ME); Java in Small Things / J. White
Improving Software Inspections by Using Reading Techniques / F. Shull ; I. Russ ; V. Basili
Mining Components for a Software Architecture and a Product Line: The Options Analysis for Reengineering (OAR) Method
Hyper/J: Multi-Dimensional Separation of Concerns for Java / P. Tarr ; H. Ossher
Enterprise JavaBean Architecture and Design Issues
State, Event, Time and Diagram in System Modeling / J. S. Dong
From UML to Java, Building a 3-Tier Architecture: Case Study / T. Korson
Designing Concurrent, Distributed, and Real-Time Applications with UML / H. Gomaa
Using Transformation Systems for Software Maintenance and Reengineering / I. D. Baxter
Effective Software Architecture Design: From Global Analysis to UML Descriptions / R. L. Nord ; D. J. Paulish ; D. Soni ; C. Hofmeister
Bridging the Requirements/Design Gap in Dynamic Systems with Use Case Maps (UCMs) / D. Amyot ; G. Mussbacher
Introduction to the Attribute Driven Design Method / F. Bachmann
Workshops
2nd International Workshop on Living with Inconsistency
4th ICSE Workshop on "Software Engineering over the Internet" / F. Maurer
Second ICSE Workshop on Software Product Lines: Economics, Architectures, and Applications / P. Knauber ; G. Succi
The Second International Workshop on Automated Program Analysis, Testing and Verification / N. Tracey ; J. Penix ; W. C. Visser
Workshop on Software Engineering and Mobility / G. P. Picco
ICSE Workshop on Software Visualization / W. De Pauw ; J. T. Stasko
Generative Techniques for Product Lines / G. Butler ; D. Batory ; K. Czarnecki ; U. Eisenecker
SEMINAL: Software Engineering using Metaheuristic INnovative ALgorithms / M. Harman ; B. Jones
From Software Requirements to Architectures / J. Castro
3rd International Workshop on Net-Centric Computing (NCC 2001): Theme: Migrating to the Web / J. Jahnke ; E. Stroulia ; K. Wong
Workshop to Consider Global Aspects of Software Engineering Professionalism / J. B. Thompson ; H. M. Edwards
Third International Workshop on Economics-Driven Software Engineering Research / D. Notkin ; W. Harrison
4th ICSE Workshop on Component-Based Software Engineering: Component Certification and System Prediction / I. Crnkovic ; H. Schmidt ; J. Stafford
SCM-10: Tenth International Workshop on Software Configuration Management: New Practices, New Challenges, and New Boundaries / A. van der Hoek
XML Technologies and Software Engineering / C. Mascolo ; A. Finkelstein
Workshop on Advanced Separation of Concerns in Software Engineering / W. Kozaczynski ; G. Larsen
1st Workshop on Open Source Software Engineering / J. Feller ; B. Fitzgerald
Doctoral Symposium
Visualization and Interpretation of Analysis Results within the Context of Formalized UML Diagrams / L. A. Campbell
Modeling and Controlling the Software Test Process / J. W. Cangussu
Using Software Component Generators to Construct a Meta-Weaver Framework / J. Gray
Supporting the Deployment of Object-Oriented Frameworks / D. Hou
Model Checking Distributed Objects Design / N. Kaveh
Web Engineering Device Independent Web Services / E. Kirda
Evolving Legacy Systems using Feature Engineering and CBSE / A. Mehta
Design and Evaluation of the Mobile Agent Architecture for Distributed Consistency Management / D. Smolko
Reuse of Verification Efforts and Incomplete Specifications in a Formalized, Iterative and Incremental Software Process / R. P. Diaz Redondo ; J. J. Pazos Arias
Traceability for System Families / D. Streitferdt
David L. Parnas Symposium / D. Hoffman ; D. Weiss
New Software Engineering Faculty Symposium / L. Osterweil ; G. Silberman
Formal Research Demonstrations
Software Architecture
Model Processing Tools in UML / J. Koskinen ; J. Peltonen ; P. Selonen ; K. Koskimies
Architecture-Oriented Programming Using FRED / M. Hakala ; J. Hautamaki ; J. Paakki ; A. Viljamaa ; J. Viljamaa
Reuse and Integration
CodeWeb: Data Mining Library Reuse Patterns / A. Michail
Holmes: An Intelligent System to Support Software Product Line Development / J. Yip ; W. Pedrycz
Babel: Representing Business Rules in XML for Application Integration / H. Zhang
Verification and Maintenance
Jmocha: A Model Checking Tool that Exploits Design Structure / R. Alur ; L. de Alfaro ; R. Grosu ; T. A. Henzinger ; M. Kang ; C. M. Kirsch ; R. Majumdar ; F. Mang ; B. Y. Wang
Maintenance Support Tools for Java programs: CCFinder and JAAT / T. Kamiya ; F. Ohata ; K. Kondou ; S. Kusumoto ; K. Inoue
Using OCL-Queries for Debugging C++ / C. Hobatr ; B. A. Malloy
Author Index
Message from the Chairs
Conference Organization
Sponsors and Supporters
87.

図書
図書
87. Proceedings of the ACM SIGPLAN-SIGACT Workshop on Program Analysis for Software Tools and Engineering, PASTE '98, Montreal, Canada, June 16, 1998
sponsored by the Association for Computing Machinery Special Interest Group on Programming Languages (SIGPLAN) ; in cooperation with Special Interest Group on Software Engineering (SIGSOFT)
出版情報: New York, N.Y. : Association for Computing Machinery, c1998  iv, 90 p. ; 28 cm
所蔵情報: loading…
88.

図書
図書
88. Conference record of POPL 2002 : the 29th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages : papers presented at the symposium, Portland, Oregon, 16-18 January 2002
sponsored by the Association for Computing Machinery, Special Interest Group on Algorithms and Computation Theory (SIGACT), Special Interest Group on Programming Languages (SIGPLAN)
出版情報: New York, N.Y. : Association for Computing Machinery, c2002  viii, 343 p. ; 28 cm
所蔵情報: loading…
89.

図書
図書
89. Proceedings of the ACM 1999 Java Grande Conference, San Francisco, California, June 12-14, 1999
sponsored by the Special Interest Group on Programming Languages, the Association for Computing Machinery
出版情報: New York, N.Y. : Association for Computing Machinery, c1999  vi, 182 p. ; 28 cm
所蔵情報: loading…
90.

図書
図書
90. Proceedings of the ACM 2000 Java Grande Conference, San Francisco, California, June 3-4, 2000
sponsored by the Special Interest Group on Programming Languages, the Association for Computing Machinery
出版情報: New York, N.Y. : Association for Computing Machinery, c2000  vi, 179 p. ; 28 cm
所蔵情報: loading…
91.

図書
図書
91. Proceedings of the 2nd International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming (PPDP '00), Montréal, Canada, September 20-23, 2000
sponsored by the Association for Computing Machinery Special Interest Group on Programming Languages (SIGPLAN)
出版情報: New York, N.Y. : The Association for Computing Machinery, c2000  ix, 301 p. ; 28 cm
所蔵情報: loading…
92.

図書
図書
92. Conference record of POPL 2001 : the 28th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages : papers presented at the symposium, The Royal Society, London, 17-19 January 2001
sponsored by the Association for Computing Machinery, SIGACT, SIGPLAN
出版情報: New York, N.Y. : Association for Computing Machinery, c2001  viii, 304 p. ; 28 cm
所蔵情報: loading…
93.

図書
図書
93. ML'07 : proceedings of the 2007 Workshop on ML, Freiburg, Germany, October 5, 2007
sponsored by ACM SIGPLAN
出版情報: New York, N.Y. : Association for Computing Machinery, c2007  vi, 95 p. ; 28 cm
所蔵情報: loading…
94.

図書
図書
94. PLPV'07 : proceedings of the 2007 Workshop on Programming Languages meets Program Verification, Freiburg, Germany, October 5, 2007 : co-located with, ICFP'07
sponsored by ACM SIGPLAN
出版情報: New York : Association for Computing Machinery, c2007  vi, 69 p. ; 28 cm
所蔵情報: loading…
95.

図書
図書
95. Proceedings, SOFTVIS 2008 : 4th ACM Symposium on Software Visualization, Herrsching am Ammersee, Germany, September 16-17, 2008
program chairs, Christopher Hundhausen, Alexandru Telea ; gerenal chair, Rainer Koschke ; proceedings production editor, Stephen N. Spencer ; sponsored by ACM SIGGRAPH ... [et al.]
出版情報: New York : Association for Computing Machinery, c2008  224 p. ; 28 cm
所蔵情報: loading…
96.

図書
図書
96. Proceedings of the 3rd 2005 ACM SIGPLAN Workshop on Memory Systems Performance (MSP'05), Chicago, IL, USA, June 12, 2005
sponsored by the Association for Computing Machinery Special Interest on Programming Languages (ACM SIGPLAN)
出版情報: New York, N.Y. : Association for Computing Machinery, c2005  77 p. ; 28 cm
所蔵情報: loading…
97.

図書
図書
97. 6th ACM SIGPLAN-SIGSOFT Workshop on Program Analysis for Software Tools and Engineering : PASTE 2005, September 5-6, 2005, Lisbon, Portugal
ACM SIGPLAN--SIGSOFT Workshop on Program Analysis for Software Tools and Engineering ; European Software Engineering Conference ; ACM SIGSOFT Symposium on the Foundations of Software Engineering ; ACM Special Interest Group in Programming Languages ; Association for Computing Machinery
出版情報: New York, N.Y. : Association for Computing Machinery, c2005  114 p. ; 28 cm
所蔵情報: loading…
98.

図書
図書
98. Proceedings of the 2006 ACM SIGPLAN Workshop on Memory Systems Performance and Correctness : MSPC 2006, October 22, 2006, San Jose, CA, USA
sponsored by the Association for Computing Machinery Special Interest Group on Programming Languages (ACM SIGPLAN)
出版情報: New York : Association for Computing Machinery, c2006  111 p. ; 28 cm
所蔵情報: loading…
99.

図書
図書
99. ML'06 : proceedings of the ACM SIGPLAN 2006 Workshop on ML : September 16, 2006, Portland, Oregon, USA
sponsored by the Association for Computing Machinery, Special Interest Group on Programming Languages (SIGPLAN)
出版情報: New York, N.Y. : ACM Press, c2006  95 p. ; 28 cm
所蔵情報: loading…
100.

図書
図書
100. PEPM 2006 : proceedings of theWorkshop on Partial Evaluation and Program Manipulation, Charleston, South Carolina, January 9-10, 2006
sponsored by the Association for Computing Machinery SIGPLAN
出版情報: New York, NY : ACM Press, c2006  171 p. ; 28 cm
所蔵情報: loading…
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼