close
1.

図書
図書
1. 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…
2.

図書
図書
2. 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…
3.

図書
図書
3. 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…
4.

図書
図書
4. 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…
5.

図書
図書
5. 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
6.

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

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

図書
図書
8. 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…
9.

雑誌
雑誌
9. Proceedings of the ... ACM SIGPLAN/SIGBED Conference on Languages, Compilers, and Tools for Embedded Systems : LCTES
sponsored by the Association for Computing Machinery Special Interest Group on Programming Languages and Special Interest Group on Embedded Systems (ACM SIGPLAN & SIGBED)
出版情報: New York, N.Y. : Association for Computing Machinery, [2004]-  v. ; 28 cm
巻次年月次: 2004 (2004)-
所蔵情報: loading…
10.

雑誌
雑誌
10. Proceedings of the ... International Conference on Virtual Execution Environments : VEE ..
ACM SIGPLAN
出版情報: New York, N.Y. : Association for Computing Machinery, c2005-  v. ; 28 cm
巻次年月次: 1st (June 11-12, 2005)-
所蔵情報: loading…
11.

雑誌
雑誌
11. Proceedings of the ... International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming : PPDP
PPDP ; ACM Special Interest Group in Programming Languages
出版情報: New York : ACM Press, c2000-  v. ; 28 cm
巻次年月次: 2nd (2000)-
所蔵情報: loading…
12.

雑誌
雑誌
12. International Symposium on Memory Management : ISMM : [proceedings]
sponsored by ACM SIGPLAN
出版情報: New York, N.Y. : ACM Press, c2002-  v. ; 28 cm
巻次年月次: 2002 (2002)-
所蔵情報: loading…
13.

雑誌
雑誌
13. Proceedings of the TLDI : ACM SIGPLAN International Workshop on Types in Languages Design and Implementation : papers presented at the Workshop
sponsored by the Association for Computing Machinery, Special Interest Group on Programming Languages (SIGPLAN)
出版情報: New York, N.Y. : Association for Computing Machinery, c2003-  v. ; 28 cm
巻次年月次: 2003 (2003)-
所蔵情報: loading…
14.

雑誌
雑誌
14. International Conference on Aspect-Oriented Software Development : AOSD ...
International Conference on Aspect-Oriented Software Development ; Association for Computing Machinery ; ACM Special Interest Group in Programming Languages ; ACM Sigsoft
出版情報: New York, N.Y. : ACM Press, c2002-  v. ; 28 cm
巻次年月次: 1st (2002)-
所蔵情報: loading…
15.

図書
図書
15. 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…
16.

図書
図書
16. 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…
17.

図書
図書
17. 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…
18.

図書
図書
18. 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…
19.

図書
図書
19. 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…
20.

図書
図書
20. 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…
21.

図書
図書
21. 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…
22.

図書
図書
22. 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…
23.

図書
図書
23. 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…
24.

図書
図書
24. 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…
25.

図書
図書
25. 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…
26.

図書
図書
26. 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…
27.

図書
図書
27. 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…
28.

図書
図書
28. 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…
29.

図書
図書
29. 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…
30.

図書
図書
30. 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…
31.

図書
図書
31. 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…
32.

図書
図書
32. 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…
33.

図書
図書
33. 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…
34.

図書
図書
34. 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…
35.

図書
図書
35. 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…
36.

図書
図書
36. 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…
37.

図書
図書
37. 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…
38.

図書
図書
38. 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
39.

図書
図書
39. 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…
40.

図書
図書
40. 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…
41.

図書
図書
41. 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…
42.

図書
図書
42. 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…
43.

図書
図書
43. 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…
44.

図書
図書
44. 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…
45.

図書
図書
45. 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…
46.

図書
図書
46. 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…
47.

図書
図書
47. 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…
48.

図書
図書
48. 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…
49.

図書
図書
49. 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…
50.

図書
図書
50. 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…
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼