close
1.

図書

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

図書

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

図書

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

図書

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

図書

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

図書

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

図書

図書
co-sponsored by IEEE Computer Society TC-uARCH, Association for Computing Machinery SIGMICRO ; in cooperation with ACM SIGOLAN
出版情報: Los Alamitos, Calif. : IEEE Computer Society, c2003  xv, 347 p. ; 28 cm
所蔵情報: loading…
8.

図書

図書
VEE ; ACM Special Interest Group in Programming Languages ; ACM Special Interest Group in Operating Systems
出版情報: New York : Association for Computing Machinery, c2010  166 p. ill. 28 cm
所蔵情報: loading…
9.

図書

図書
SIGPLAN Conference on Programming Language Design and Implementation ; ACM Special Interest Group in Programming Languages
出版情報: New York, N.Y. : Association for Computing Machinery, c2008  35 p. ; 28 cm
所蔵情報: loading…
10.

図書

図書
Object-Oriented Programming Systems, Languages and Applications ; ACM Special Interest Group in Programming Languages ; ACM Sigsoft
出版情報: New York : Associaton for Computing Machinery, c2009  46 p. ; 28 cm
所蔵情報: loading…
11.

図書

図書
Workshop on Virtual Machines and Intermediate Langurage ; Object-Oriented Programming Systems, Languages and Applications ; ACM Special Interest Group in Programming Languages
出版情報: New York : Associaton for Computing Machinery, c2009  38 p. ; 28 cm
所蔵情報: loading…
目次情報:
Proceedings of the Third Workshop on Virtual Machines and Intermediate Langurage (VMIL 2009), held at the Twenty-fourth ACM SIGPLAN Conference on Object-Oriented Programming Systems, Languages and Applications, October 25-29, Orland, Florida, United States
Proceedings of the Third Workshop on Virtual Machines and Intermediate Langurage (VMIL 2009), held at the Twenty-fourth ACM SIGPLAN Conference on Object-Oriented Programming Systems, Languages and Applications, October 25-29, Orland, Florida, United States
12.

図書

図書
co-sponsored by ACM SIGMICRO, ACM SIGPLAN, and the IEEE Computer Society TC-uARCH
出版情報: New York : ACM Order Department, c2010  x, 288 p. ; 28 cm
所蔵情報: loading…
13.

図書

図書
sponsored by ACM SIGPLAN
出版情報: New York : Association for Computing Machinery, c2010  vi, 83 p. ; 28 cm
所蔵情報: loading…
14.

図書

図書
sponsored by ACM SIGPLAN
出版情報: New York : Association for Computing Machinery, c2010  vi, 63 p. ; 28 cm
所蔵情報: loading…
15.

図書

図書
Workshop on Programming Languages meets Program Verification ; ACM Special Interest Group in Programming Languages
出版情報: New York : Association for Computing Machinery, c2009  vi, 81 p. ; 28 cm
所蔵情報: loading…
16.

図書

図書
sponsored by ACM SIGPLAN
出版情報: New York : Association for Computing Machinery, c2009  vi, 94 p. ; 28 cm
所蔵情報: loading…
17.

図書

図書
sponsored by ACM SIGPLAN
出版情報: New York : Association for Computing Machinery, c2009  vi, 70 p. ; 28 cm
所蔵情報: loading…
18.

図書

図書
ACM SIGPLAN Workshop on Declarative Aspects of Multicore Programming ; ACM Special Interest Group in Programming Languages
出版情報: New York : Association for Computing Machinery, c2009  vii, 67 p. ; 28 cm
所蔵情報: loading…
19.

図書

図書
ACM SIGPLAN/SIGSOFT International Conference on Generative Programming and Component Engineering ; ACM Special Interest Group in Programming Languages ; Object-Oriented Programming Systems, Languages and Applications
出版情報: New York : Association for Computing Machinery, c2009  187 p. ; 28 cm
所蔵情報: loading…
20.

図書

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

図書

図書
sponsored by the Association for Computing Machinery, SIGACT, SIGPLAN
出版情報: New York, N.Y. : Association for Computing Machinery, c1998  viii, 408 p. ; 28 cm
所蔵情報: loading…
22.

図書

図書
sponsored by the Association for Computing Machinery, SIGACT, SIGPLAN
出版情報: New York, N.Y. : Association for Computing Machinery, c1998  viii, 324 p. ; 28 cm
所蔵情報: loading…
23.

図書

図書
sponsored by ACM SIGPLAN
出版情報: New York : Association for Computing Machinery, c2007  vi, 69 p. ; 28 cm
所蔵情報: loading…
24.

図書

図書
sponsored by ACM SIGPLAN
出版情報: New York, N.Y. : Association for Computing Machinery, c2007  vi, 95 p. ; 28 cm
所蔵情報: loading…
25.

図書

図書
sponsored by ACM SIGPLAN
出版情報: New York : ACM Press, c2006  193 p. ; 28 cm
所蔵情報: loading…
26.

図書

図書
in cooperation with ACM SIGSOFT
出版情報: [New York] : Association for Computing Machinery, c2007  457, [20] p. ; 28 cm
所蔵情報: loading…
27.

図書

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

図書

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

図書

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

図書

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

図書

図書
sponsored by the Association for Computing Machinery SIGPLAN
出版情報: New York, NY : ACM Press, c2006  171 p. ; 28 cm
所蔵情報: loading…
32.

図書

図書
sponsored by ACM SIGPLAN
出版情報: New York : Association for Computing Machinery, c2008  vi, 74 p. ; 28 cm
所蔵情報: loading…
33.

図書

図書
sponsored by ACM SIGPLAN
出版情報: New York : Association for Computing Machinery, c2008  vii, 97 p. ; 28 cm
所蔵情報: loading…
34.

図書

図書
sponsored by ACM SIGPLAN
出版情報: New YorkY. : Association for Computing Machinery, c2008  vi, 91 p. ; 28 cm
所蔵情報: loading…
35.

図書

図書
sponsored by ACM SIGPLAN
出版情報: New York, NY : ACM Press, c2008  viii, 204 p. ; 28 cm
所蔵情報: loading…
36.

図書

図書
co-sponsored by ACM SIGPLAN, ACM SIGMICRO, and the IEEE Computer Society TC-uARCH
出版情報: New York : ACM Order Department, c2008  ix, 216 p. ; 28 cm
所蔵情報: loading…
37.

図書

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

図書

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

図書

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

図書

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

図書

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

図書

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

図書

図書
sponsored by ACM Special Interest Group on Ada (SIGAda)
出版情報: New York : Association for Computing Machinery, c1999  xiv, 251 p. ; 28 cm
所蔵情報: loading…
44.

図書

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

図書

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

図書

図書
sponsored by the Association for Computing Machinery, SIGACT, SIGPLAN
出版情報: New York, N.Y. : Association for Computing Machinery, c2001  viii, 304 p. ; 28 cm
所蔵情報: loading…
47.

図書

図書
sponsored by the Association for Computing Machinery, SIGACT, SIGPLAN
出版情報: New York, N.Y. : Association for Computing Machinery, c2000  xi, 402 p. ; 28 cm
所蔵情報: loading…
48.

図書

図書
Object-Oriented Programming Systems, Languages and Applications ; ACM Special Interest Group in Programming Languages ; ACM Sigsoft
出版情報: New York : Associaton for Computing Machinery, c2008  256 p. ; 28 cm
所蔵情報: loading…
49.

図書

図書
sponspred by ACM SIGPLAN ; co-located with OOPSLA '08
出版情報: New York : Association for Computing Machinery, c2008  viii, 185 p. ; 28 cm
所蔵情報: loading…
50.

図書

図書
ACM SIGPLAN/SIGSOFT International Conference on Generative Programming and Component Engineering ; ACM Special Interest Group in Programming Languages ; Object-Oriented Programming Systems, Languages and Applications
出版情報: New York : Association for Computing Machinery, c2006  293 p. ; 28 cm
所蔵情報: loading…
51.

図書

図書
ACM SIGPLAN/SIGSOFT International Conference on Generative Programming and Component Engineering ; ACM Special Interest Group in Programming Languages ; Embedded Systems Week
出版情報: New York : Association for Computing Machinery, c2007  182 p. ; 28 cm
所蔵情報: loading…
52.

図書

図書
sponsored by the Association for Computing Machinery. SIGACT, SIGPLAN
出版情報: New York, N.Y. : Association for Computing Machinery, c1996  viii, 423 p. ; 28 cm
所蔵情報: loading…
53.

図書

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

図書

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

図書

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

図書

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

図書

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

図書

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

図書

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

図書

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

図書

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

図書

図書
sponsored by ACM SIGPLAN
出版情報: New York, N.Y. : Association for Computing Machinery, c2002  vi, 72 p. ; 28 cm
所蔵情報: loading…
63.

図書

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

図書

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

図書

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

図書

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

図書

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

図書

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

図書

図書
sponsored by ACM SIGPLAN ; co-located with PLDI 2002
出版情報: New York : Association for Computing Machinery, c2002  vi, 186 p. ; 28 cm
所蔵情報: loading…
70.

図書

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

図書

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

図書

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

図書

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

図書

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

図書

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

図書

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

図書

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

図書

図書
sponsored by the Association for Computing Machinery. SIGACT, SIGPLAN
出版情報: New York, N.Y. : Association for Computing Machinery, c1997  viii, 497 p. ; 28 cm
所蔵情報: loading…
79.

図書

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

図書

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

図書

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

図書

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

図書

図書
sponsored by The ACM Special Interest Group on Programming Languages (SIGPLAN), ACM Special Interest Group on Computer Architecture (SIGARCH), IFIP Working Group 2.8 on Functional Programming
出版情報: New York : ACM Press, c1995  viii, 333 p. ; 28 cm
所蔵情報: loading…
84.

図書

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

図書

図書
sponsored by the Association for Computing Machinery. SIGACT, SIGPLAN
出版情報: New York, N.Y. : Association for Computing Machinery, c1994  viii, 492 p. ; 28 cm
所蔵情報: loading…
86.

図書

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

雑誌

雑誌
ACM SIGPLAN International Conference on Functional Programming ; Association for Computing Machinery ; ACM Special Interest Group in Programming Languages ; IFIP Working Group 2.8 on Functional Programming ; Federated Computing Research Conference
出版情報: New York, N.Y. : Association for Computing Machinery, c1996-  v. ; 28 cm
巻次年月次: 1st (1996)-
所蔵情報: loading…
88.

雑誌

雑誌
sponsored by the Association for Computing Machinery, Special Interest Group on Software Engineering (SIGSOFT) ; in cooperation with the Special Interest Group on Programming Languages (SIGPLAN)
出版情報: New York, N.Y. : Association for Computing Machinery  v. ; 28 cm
所蔵情報: loading…
89.

雑誌

雑誌
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…
90.

雑誌

雑誌
ACM SIGPLAN
出版情報: New York, N.Y. : Association for Computing Machinery, c2005-  v. ; 28 cm
巻次年月次: 1st (June 11-12, 2005)-
所蔵情報: loading…
91.

雑誌

雑誌
PPDP ; ACM Special Interest Group in Programming Languages
出版情報: New York : ACM Press, c2000-  v. ; 28 cm
巻次年月次: 2nd (2000)-
所蔵情報: loading…
92.

雑誌

雑誌
SIGPLAN Symposium on Principles & Practice of Parallel Programming ; ACM Special Interest Group in Programming Languages
出版情報: New York, N.Y. : ACM Press  v. ; 28 cm
巻次年月次: -8th (2001) ; 2003 (2003)-
所蔵情報: loading…
93.

雑誌

雑誌
sponsored by ACM SIGPLAN
出版情報: New York, N.Y. : ACM Press, c2002-  v. ; 28 cm
巻次年月次: 2002 (2002)-
所蔵情報: loading…
94.

雑誌

雑誌
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…
95.

雑誌

雑誌
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…
96.

雑誌

雑誌
ACM SIGPLAN Workshop on Partial Evaluation and Semantics-Based Program Manipulation ; ACM Special Interest Group in Programming Languages
出版情報: New York, N.Y. : Association for Computing Machinery  v. ; 28 cm
所蔵情報: loading…
97.

雑誌

雑誌
ACM SIGPLAN Erlang Workshop ; ACM SIGPLAN International Conference on Functional Programming ; ACM Special Interest Group in Programming Languages ; Association for Computing Machinery
出版情報: New York, N.Y. : ACM Press  v. ; 28 cm
所蔵情報: loading…
98.

雑誌

雑誌
ACM SIGPLAN Haskell Workshop ; Association for Computing Machinery ; ACM Special Interest Group in Programming Languages ; ACM SIGPLAN International Conference on Functional Programming
出版情報: New York : ACM Press  v. ; 28 cm
所蔵情報: loading…
99.

図書

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

雑誌

雑誌
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. : Association for Computing Machinery, c1978-c1993  v. ; 28 cm
巻次年月次: 5th (Jan. 23/25, 1978)-20th (Jan. 10/13, 1993)
所蔵情報: loading…
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼