close
1.

図書

図書
sponsored by Association for Computing Machinery, ACM Sigsoft, IEEE Computer Society Technical Council on Software Engineering
出版情報: New York : ACM Press, c2002  xxiii, 744 p. ; 28 cm
所蔵情報: loading…
2.

図書

図書
sponsored by : ACM SIGDA ... [et al.]
出版情報: New York : ACM, c2001  xi, 271 p. ; 28 cm
所蔵情報: loading…
3.

図書

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

図書

図書
sponsored by ACM SIGMETRICS, SIGSOFT ; in cooperation with IFIP Working Group 6.3 and 7.3 Computer Measurement Group (CMG) ; with financial assistance from Nortel Networks, Hewlett-Packard Laboratories
出版情報: New York, N.Y. : Association for Computing Machinery, c2000  x, 226 p. ; ill. ; 28 cm
所蔵情報: loading…
5.

図書

図書
sponsored by IEEE Computer Society, Technical Council on Software Engineering ; in cooperation with ACM SIGSOFT, IFIP Working Group 2.9 (Software Requirements Engineering), INCOSE Requirements Working Group
出版情報: Los Alamitos, California : IEEE Computer Society Press, c2000  xiii, 321 p ; 28 cm
所蔵情報: loading…
目次情報: 続きを見る
Foreword
Call for Papers
Committees
Keynote Addresses
Requirements for Evolving Systems: A Telecommunications Perspective / Dr. Pamela Zave
The Hidden Meta-Requirements of Security and Privacy / Prof. Gene Spafford
Practice-Based Design / Prof. Lucy Suchman
Requirements Engineering and Program Synthesis: Mutually Exclusive or Synergistic? / Dr. Michael Lowry
Full Papers
Representing and Communicating Requirements / Session P1:
Events and Constraints: A Graphical Editor for Capturing Logic Requirements of Programs / M. Smith ; G. Holzmann ; K. Etessami
Virtual Environment Modeling for Requirements Validation of High Consequence Systems / V. Winter ; D. Desovski ; B. Cukic
Metaphors of Intent / C. Potts
Requirements for Product Lines / Session P2:
Consistency Management of Product Line Requirements / J. Savolainen ; J. Kuusela
Product-Line Requirements Specification (PRS): An Approach and Case Study / S. Faulk
Extending the Product Family Approach to Support n-Dimensional and Hierarchical Product Lines / J. Thompson ; M. Heimdahl
Organisational Issues I / Session P3:
Matching ERP System Functionality to Customer Requirements / C. Rolland ; N. Prakash
Software Acquisition: A Business Strategy Analysis / B. Farbey ; A. Finkelstein
An Industrial Survey of Requirements Interdependencies in Software Product Release Planning / P. Carlshamre ; K. Sandahl ; M. Lindvall ; B. Regnell ; J. Dag
RE Methods and Processes / Session P4:
Evolving Beyond Requirements Creep: A Risk-Based Evolutionary Prototyping Model / R. Carter ; A. Anton ; A. Dagnino ; L. Williams
Will It Work? / J. Hammond ; R. Rawlings ; A. Hall
Requirements Engineering for Complex Collaborative Systems / A. Sutcliffe
Scenarios and Requirements Negotiation / Session P5:
Domain Independent Regularities in Scenarios / M. Ridao ; J. Doorn ; J. Leite
An Empirical Study of Facilitation of Computer-Mediated Distributed Requirements Negotiations / D. Damian ; A. Eberlein ; B. Woodward ; M. Shaw ; B. Gaines
Organisational Issues II / Session P6:
The Role of Policy and Stakeholder Privacy Values in Requirements Engineering / J. Earp ; T. Alspaugh
Integrating Organizational Requirements and Object Oriented Modeling / J. Castro ; F. Alencar ; G. Filho ; J. Mylopoulos
Requirements Modeling for Organization Networks: A (Dis-) Trust-Based Approach / G. Gans ; M. Jarke ; S. Kethers ; G. Lakemeyer ; L. Ellrich ; C. Funken ; M. Meister
Formal Methods and Tools / Session P7:
XML-Based Method and Tool for Handling Variant Requirements in Domain Models / S. Jarzabek ; H. Zhang
Model Checking Early Requirements Specifications in Tropos / A. Fuxman ; M. Pistore ; P. Traverso
An Algorithm for Strengthening State Invariants Generated from Requirements Specifications / R. Jeffords ; C. Heitmeyer
Requirements and Design / Session P8:
Residual Requirements and Architectural Residues / D. Wile
Reconciling Software Requirements and Architectures: The CBSP Approach / P. Grunbacher ; A. Egyed ; N. Medvidovic
Requirements-Based Dynamic Metrics In Object-Oriented Systems / J. Cleland-Huang ; C. Chang ; H. Kim ; A. Balakrishnan
Requirements for Critical Systems / Session P9:
Evolution of Safety-Critical Requirements Post-Launch / R. Lutz ; I. Mikulski
Deriving Safety Requirements Using Scenarios / K. Allenby ; T. Kelly
Re-Engineering Fault Tolerance Requirements: A Case Study in Specifying Fault Tolerant Flight Control Systems / D. Del Gobbo ; A. Mili
Minitutorials
Systematic Documentation of Requirements / Dave Parnas
Goal-Oriented Requirements Engineering: A Guided Tour / Axel van Lamsweerde
State-of-the-Practice Talks
Capturing Use Cases with DOORS / Ian Alexander
Early Experience with Requirements Traceability in an Industrial Environment / Merlin Dorfman ; Roy Chardon ; Cisco Systems
Where Are We on the "Fend off the Alligators--Drain the Swamp" Continuum? / Don Gause ; Savile Row
A Unified Approach to Systems and Software Requirements / Anthony Hall
What Happens With Good Requirements Practices / Ivy Hooks
Formalism and Informality in RE / Michael Jackson
Adoption of Requirements Engineering: Conditions for Success / Hermann Kaindl
Changes in the Requirements Engineering Processes for COTS-Based Systems / Ron Kohl
Is Backtracking so Bad? The Role of Learning in Software Development / Ben Kovitz
Rethinking Requirements / Brian Lawrence
Business Implications on the Requirements Process / Brian Miller
Requirements Management at NASA / Linda Rosenburg
Systems Engineering at the Enterprise Level / Richard Stevens
Discovering Unanticipated Software Output Modes / Jeff Voas
Panel Sessions
Designing for the User
Systems or Software: What Should the 'S' in SRE Stand for?
Extreme RE: What If There Is No Time for Requirements Engineering?
Research Tool Demos
Ask Pete, Software Planning and Estimation through Project Characterization / T. Kurtz
An Integrated VandV Environment for Critical Systems Development / I. Traore
Risk Reduction Using DDP (Defect Detection and Prevention): Software Support and Software Applications / M. Feather
Specification Modeling and Validation Applied to Network Security Gateways / R. Hall
Posters
The Single Model Principle / R. Paige ; J. Ostroff
Integrating Informal and Formal Approaches to Requirements Modeling and Analysis / B. Cheng ; L. Campbell
Acquiring Software Requirements As Conceptual Graphs / H. Delugach ; B. Lampkin
What Happens before Requirements Engineering? / B. Wessels ; J. Dobson
Scenario Patterns Based on Case Grammar Approach / K. Watahiki ; M. Saeki
Empowering Requirements for a Product Family / E. Perez-Minana ; P. Krause ; P. America
Requirements Archaeology: From Unstructured Information to High Quality Specifications / F. Kiedaisch ; M. Pohl ; J. Weisbrod ; S. Bauer ; S. Ortmann
Geographic Problem Frames / M. Nelson ; D. Cowan ; P. Alencar
Requirements Elicitation Using Visual and Textual Information / J. Moore ; F. Shipman III
Process-Oriented Metrics for Software Architecture Adaptability / L. Chung ; N. Subramanian
A Requirements Negotiation Model Based on Multi-Criteria Analysis / H. In ; D. Olson ; T. Rodgers
Issues of Visualized Conflict Resolution / S. Roy
Evolving System Architecture to Meet Changing Business Goals: An Agent and Goal-Oriented Approach / D. Gross ; E. Yu
Scenario-Based Systems Architecting / G. Galal
Author Index
Foreword
Call for Papers
Committees
6.

図書

図書
sponsored by IEEE Computer Society Technical Council on Software Engineering (TCSE), Information Processing Society of Japan (IPSJ) ; supported by ACM Special Interest Group on Software Engineering (SIGSOFT)...[et al]
出版情報: Los Alamitos, California : IEEE Computer Society, c2004  xv, 367 p. ; 28 cm
所蔵情報: loading…
7.

図書

図書
International Symposium on Software Testing and Analysis ; ACM Sigsoft
出版情報: New York, N.Y. : Association for Computing Machinery, c2010  282 p. ; 28 cm
所蔵情報: loading…
8.

図書

図書
International Workshop on Software Architectures and Mobility ; ACM Sigsoft
出版情報: New York : Association for Computing Machinery, c2008  59 p. ; 28 cm
所蔵情報: loading…
9.

図書

図書
International Workshop on Ultra-Large-Scale Software-Intensive Systems ; ACM Sigsoft
出版情報: New York : Association for Computing Machinery, c2008  72 p. ; 28 cm
所蔵情報: loading…
10.

図書

図書
International Workshop on Automation of Software Test ; ACM Sigsoft
出版情報: New York : Association for Computing Machinery, c2008  92 p. ; 28 cm
所蔵情報: loading…
11.

図書

図書
ACM International Workshop on Sharing and Reusing Architectural Knowledge ; ACM Sigsoft
出版情報: New York : Association for Computing Machinery, c2008  86 p. ; 28 cm
所蔵情報: loading…
12.

図書

図書
International Workshop on Predictor Models in Software Engineering ; ACM Sigsoft
出版情報: New York : Association for Computing Machinery, c2008  100 p. ; 28 cm
所蔵情報: loading…
13.

図書

図書
Workshop on End-User Software Engineering ; ACM Sigsoft
出版情報: New York : Association for Computing Machinery, c2008  94 p. ; 28 cm
所蔵情報: loading…
14.

図書

図書
SDG2008 ; ACM Sigsoft
出版情報: New York : Association for Computing Machinery, c2008  28 p. ; 28 cm
所蔵情報: loading…
15.

図書

図書
ACM International Workshop on Comparison and Versioning of Software Models ; ACM Sigsoft
出版情報: New York : Association for Computing Machinery, c2008  46 p. ; 28 cm
所蔵情報: loading…
16.

図書

図書
ACM International Workshop on Scrutinizing Agile Practices or Shoot-Out at the Agile Corral ; ACM Sigsoft
出版情報: New York : Association for Computing Machinery, c2008  41 p. ; 28 cm
所蔵情報: loading…
17.

図書

図書
SEESE 2008 ; ACM Sigsoft
出版情報: New York : Association for Computing Machinery, c2008
所蔵情報: loading…
18.

図書

図書
ACM International Workshop on Cooperative and Human Aspects of Software Engineering ; ACM Sigsoft
出版情報: New York : Association for Computing Machinery, c2008  112 p. ; 28 cm
所蔵情報: loading…
19.

図書

図書
Working Conference on Mining Software Repositories ; ACM Sigsoft
出版情報: New York : Association for Computing Machinery, c2008  152 p. ; 28 cm
所蔵情報: loading…
20.

図書

図書
Workshop on Models in Software Engineering ; International Conference on Software Engineering ; ACM Sigsoft
出版情報: New York, N.Y. : Association for Computing Machinery, c2008  81 p. ; 28 cm
所蔵情報: loading…
21.

図書

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

図書

図書
International Workshop on Graph and Model Transformations ; ACM Sigsoft ; Association for Computing Machinery
出版情報: New York, N.Y. : Association for Computing Machinery, c2008  52 p. ; 28 cm
所蔵情報: loading…
23.

図書

図書
ACM International Workshop on Multicore Software Engineering ; International Workshop on Multicore Software Engineering ; ACM Sigsoft
出版情報: New York : Association for Computing Machinery, c2008  68 cm ; 28 cm
所蔵情報: loading…
24.

図書

図書
editors, Nenad Medvidovic, Tetsuo Tamai
出版情報: New York, N.Y. : Association for Computing Machinery, c2009  51 p. ; 28 cm
所蔵情報: loading…
25.

図書

図書
Workshop on Parallel and Distributed Systems : Testing and Debugging ; International Symposium on Software Testing and Analysis ; ACM Sigsoft
出版情報: New York : Association for Computing Machinery, c2006  78 p. ; 28 cm
所蔵情報: loading…
26.

図書

図書
Neelam Gupta, Yves Ledru, Johannes Mayer
出版情報: New York : Association for Computing Machinery, c2006  79 p. ; 28 cm
所蔵情報: loading…
27.

図書

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

図書

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

図書

図書
editors, Eric Wohlstadter and Charles Zhang
出版情報: New York, N.Y. : Association for Computing Machinery, c2006  70 p. ; 28 cm
所蔵情報: loading…
30.

図書

図書
Workshop on Parallel and Distributed Systems : Testing and Debugging ; International Symposium on Software Testing and Analysis ; ACM Sigsoft
出版情報: New York : Association for Computing Machinery, c2007  64 p. ; 28 cm
所蔵情報: loading…
31.

図書

図書
International Symposium on Software Testing and Analysis ; ACM Sigsoft
出版情報: New York, N.Y. : Association for Computing Machinery, c2007  249 p. ; 28 cm
所蔵情報: loading…
32.

図書

図書
co-sponsored by IEEE Computer Society, National Bureau of Standards, ACM SIGSOFT
出版情報: Silver Spring, MD : IEEE Computer Society Press, c1983  xi, 395 p. ; 28 cm
所蔵情報: loading…
33.

図書

図書
International Symposium on Software Testing and Analysis ; ACM Sigsoft
出版情報: New York, N.Y. : ACM Press, c2006  [10], 265, [10] p. ; 28 cm
所蔵情報: loading…
34.

図書

図書
International Workshop on Dynamic Analysis ; ACM Sigsoft
出版情報: New York : Association for Computing Machinery, c2006  87 p. ; 28 cm
所蔵情報: loading…
35.

図書

図書
EA ; ACM Sigsoft
出版情報: New York : Association for Computing Machinery, c2006  66 p. ; 28 cm
所蔵情報: loading…
36.

図書

図書
International Workshop on Automation of Software Test ; ACM Sigsoft
出版情報: New York : Association for Computing Machinery, c2006  124 p. ; 28 cm
所蔵情報: loading…
37.

図書

図書
event sponsors, Thought Works (Title Sponsor) ... [et al.] ; media sponsors, Cutter Consortium, Software Development Magazine ; in cooperation with, ACM SigSoft, AITO, IEEE
出版情報: Los Alamitos, Calif. : IEEE Computer Society, c2003  viii, 165 p. ; 28 cm
所蔵情報: loading…
目次情報: 続きを見る
Message from the Conference Chair
Program Committee
Experience Reports Committee
Research Papers
YP and Urban Simulation: Applying an Agile Programming Methodology in a Politically Tempestuous Domain / B. Freeman-Benson ; A. Borning
XP Culture: Why the Twelve Practices Both Are and Are Not the Most Significant Thing / H. Robinson ; H. Sharp
Parfait: Towards a Framework-Based Agile Reengineering Process / M. Cagnin ; J. Maldonado ; F. Germano ; R. Penteado
Observations on Balancing Discipline and Agility / B. Boehm ; R. Turner
Finding a Place for Discount Usability Engineering in Agile Development: Throwing Down the Gauntlet / D. Kane
Test Driven Development and the Scientific Method / R. Mugridge
Experience Reports
Change Your Organization (For Peons) / J. Little
Evolving Agile in the Enterprise: Implementing XP on a Grand Scale / M. Spayd
Improving the Interface between Business and Product Development Using Agile Practices and the Cycles of Control Framework / J. Vanhanen ; J. Itkonen ; P. Sulonen
It's More Than Just Toys and Food: Leading Agile Development in an Enterprise-Class Start-Up / J. Blotner
Retrofitting an Acceptance Test Framework for Clarity / E. Tempero
"Ready-to-Roll" Boxcar Development--A Flexible, Quality-Weighted Process / R. Hill
Iteration Advocate/Iteration Transition Meeting: Small Sampling of New Agile Techniques Used at a Major Telecommunications Firm / B. Boelsterli
Making Agile Software Development Work in a Government Contracting Environment: Measuring Velocity with Earned Value / G. Alleman ; M. Henderson ; R. Seggelke
Certifying for CMM Level 2 and ISO9001 with XPScrum / C. Vriens
Agile Development in the Old Economy / G. Derbier
Introducing Agile Development into Bioinformatics: An Experience Report
Agile Development and Remote Teams: Learning to Love the Phone / C. Sepulveda
Unfixing the Fixed Scope Project: Using Agile Methodologies to Create Flexibility in Project Scope / J. Patton
An Agile Request for Proposal Process (RFP) Process / J. Andrea
Daily Iterations: Approaching Code Freeze and Half the Team Is Not Agile / C. Cooley
Author Index
Message from the Conference Chair
Program Committee
Experience Reports Committee
38.

図書

図書
sponsored by ACM SIGMETRICS, in cooperation with ACM SIGSOFT, IFIP W.G. 6.3 and 7.3, with assistance from Hewlett-Pachard Laboratories, Northern Telecom (NORTEL), Scientific and Engineering Software (SES)
出版情報: New York, N.Y. : Association for Computing Machinery, c1998  vii, 230 p. ; 28 cm
所蔵情報: loading…
39.

図書

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

図書

図書
sponsored by the Association for Computing Machinery (ACM SIGSOFT)
出版情報: New York, N.Y. : ACM Press, c1999  ix, 180 p. ; 28 cm
所蔵情報: loading…
41.

図書

図書
sponsored by IEEE Computer Society TC on Software Engineering ; in coorperation with ACM SIGSOFT, IFIP Working Group 2.9, RENOIR
出版情報: Los Alamitos, California : IEEE Computer Society Press, c1999  xviii, 195 p ; 28 cm
所蔵情報: loading…
目次情報: 続きを見る
Foreword
Call for Papers
Recommendations for the Papers
Committees
Contextual Design: From Customer Data to Implementation / Karen Holtzblatt
Minitutorial
Requirements, Use Cases, the UML and The Rational Unified Process / Ian Spence
Social Requirements Engineering
Social Analysis in the Requirements Engineering Process: from Ethnography to Method / S. Viller ; I. Sommerville
Requirements Engineering, Expectations Management, and the Two Cultures / B. Boehm ; M. Abi-Antoun ; D. Port ; J. Kwan ; A. Lynch
Human Errors and System Requirements / A. Sutcliffe ; J. Galliers ; S. Minocha
Advancing Business Concepts in a JAD Workshop Setting / Tony Crawford
Panel
How Multi-Disciplinary Is RE (really)? / Steve Easterbrook ; Bashar Nuseibeh
Use Cases
Guiding Use Case Authoring: Results of an Empirical Study / C. Ben Achour ; C. Rolland ; N.A.M. Maiden ; C. Souveyet
Use Case Maps for the Capture and Validation of Distributed Systems Requirements / D. Amyot ; L. Logrippo ; R.J.A. Buhr ; T. Gray
Keynote Address 2
Capturing Emergence / Bill Hillier
Scenarios I
Scen IC: A Strategy for Inquiry-Driven Requirements Determination / C. Potts
Bridging the Gap Between Past and Future in RE: A Scenario-Based Approach / P. Haumer ; P. Heymans ; M. Jarke ; K. Pohl
Experience With Goal-Scenario Coupling in Requirements Engineering / K. Grosz ; R. Kla
Viewpoints
Aspect-Oriented Requirements Engineering for Component-Based Software Systems / J. Grundy
View Point-Oriented Software Development by Distributed Graph Transformation: Towards a Basis for Living with Inconsistencies / M. Goedicke ; T. Meyer ; G. Taentzer
An Empirical Investigation of Multiple Viewpoint Reasoning in Requirements Engineering / T. Menzies ; S. Easterbrook ; B. Nuseibeh ; S. Waugh
Cooperative Requirements Engineering with Scenarios / Matthias Jarke
Formal Modeling
Formal Modeling of Space Shuttle Software Change Requests Using SCR / V. Wiels
Events in Linear-Time Properties / D.O. Paun ; M. Chechik
Guidance for Parallel Requirements Acquisition and COTS Software Selection / C. Ncube
Scenarios II
An Integrated Scenario Management Strategy / T.A. Alspaugh ; A.I. Anton ; T. Barnes ; B.W. Mott
Generating User Interface Prototypes from Scenarios / M. Elkoutbi ; I. Khriss ; R.K. Keller
Keynote Address 3
RE for ERP: Requirements Management for the Development of Packaged Software / Sjaak Brinkkemper ; Baan Company RandD
Nonfunctional Requirements
Integrating Non-Functional Requirements into Data Modeling / L.M. Cysneiros ; J.C.S.P. Leite
Introducing Measurable Quality Requirements: A Case Study / S. Jacobs
Prioritisation of System Changes Using Cost-Benefit and Risk Assessments / D. Greer ; D.W. Bustard ; T. Sunazuka
From "Requirements Engineering" to "Design for Usefulness" / Colin Potts
Increasing the Role of RE in the Development of Dependable Systems / Connie Heitmeyer ; Philip Morris
XML for Software Engineers / Anthony Finkelstein ; Andrea Zisman
Author Index
Foreword
Call for Papers
Recommendations for the Papers
42.

図書

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

図書

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

図書

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

図書

図書
sponsored by IEEE Computer Society Technical Council on Software Engineering, The Association for Computing Machinery (ACM SIGSOFT) ; in cooperation with ACM SIGAda and ACM SIGPLAN
出版情報: New York, N.Y. : ACM Press, c1999  xv, 741 p. ; 28 cm
所蔵情報: loading…
46.

図書

図書
sponsored by ACM SIGSOFT and IEEE Computer Society ; in cooperation with International Federation for Information Processing
出版情報: Los Alamitos, Calif. : IEEE Computer Society, 1997  x, 311 p. ; 28 cm
所蔵情報: loading…
47.

図書

図書
ACM Bangalore Annual Conference ; ACM Sigsoft ; SIGWEB ; Association for Computing Machinery
出版情報: New York : Association for Computing Machinery, c2009  136 p. ; 28 cm
所蔵情報: loading…
48.

図書

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

図書

図書
edited by Ben Liblit
出版情報: New York : Association for Computing Machinery, c2008  77 p. ; 28 cm
所蔵情報: loading…
50.

図書

図書
Workshop on Parallel and Distributed Systems : Testing and Debugging ; International Symposium on Software Testing and Analysis ; ACM Sigsoft
出版情報: New York : Association for Computing Machinery, c2008  75 p. ; 28 cm
所蔵情報: loading…
51.

図書

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

図書

図書
DEBS ; USENIX Association ; IEEE Computer Society ; ACM Special Interest Group for the Management of Data ; ACM Sigsoft
出版情報: New York : Association for Computing Machinery, c2008  325 p. ; 28 cm
シリーズ名: ACM international conference proceedings series ; 332
所蔵情報: loading…
53.

図書

図書
International Symposium on Software Testing and Analysis ; ACM Sigsoft
出版情報: New York, N.Y. : Association for Computing Machinery, c2008  287 p. ; 28 cm
所蔵情報: loading…
54.

図書

図書
International Symposium on Software Testing and Analysis ; ACM Sigsoft
出版情報: New York, N.Y. : Association for Computing Machinery, c2009  295 p. ; 28 cm
所蔵情報: loading…
55.

図書

図書
International Workshop on Open-Component Ecosystems ; ACM Sigsoft ; Association for Computing Machinery
出版情報: New York : Association for Computing Machinery, c2009  50 p. ; 28 cm
所蔵情報: loading…
56.

図書

図書
International Workshop on Principles of Sotware Evolution ; Annual ERCIM Workshop on Software Evolution ; European Software Engineering Conference ; ACM SIGSOFT Symposium on the Foundations of Software Engineering ; ACM Sigsoft ; Association for Computing Machinery
出版情報: New York : Association for Computing Machinery, c2009  157 p. ; 28 cm
所蔵情報: loading…
57.

図書

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

図書

図書
sponsored by IEEE Computer Society...[et al.] ; in cooperation with ACM Sigsoft, IFIP Working Group 2.9, International Council on Systems Engineering (INCOSE)
出版情報: Los Alamitos, California : IEEE Computer Society, c2003  xv, 378 p. ; 28 cm
所蔵情報: loading…
目次情報: 続きを見る
Foreword
Call for Papers
Organizing Committee
Program Committee
Additional Reviewers
Keynote Addresses
Requirements for the Internet / Vinton G. Cerf
The Journey toward Secure Systems: Achieving Assurance / Steve Lipner
Modern Systems Engineering: A Driving Force for Industrial Competitivity! / Heinz Stoewer
Technical Papers
Requirements Evolution / Session P1:
In Situ Requirements Analysis: A Deeper Examination of the Relationship between Requirements Determination and Project Selection / M. Bergman ; G. Mark
Requirements Stability Assessment Using Scenarios / D. Bush ; A. Finkelstein
Resolving Requirements Discovery in Testing and Operations / R. Lutz ; I. Mikulski
Requirements for Business Systems / Session P2:
Lessons Learnt from Five Years of Experience in ERP Requirements Engineering / M. Daneva
Requirements Engineering for a Pervasive Health Care System / J. Jorgensen ; C. Bossen
Monitoring Web Service Requirements / W. Robinson
DWARF: An Approach for Requirements Definition and Management of Data Warehouse Systems / F. Paim ; J. de Castro
Combining Formal and Informal Techniques / Session P3:
Acquiring and Incorporating State-Dependent Timing Requirements / C.-S. Shih ; J. Liu
Refinement-Based Requirements Modeling Using Triggered Message Sequence Charts / B. Sengupta ; R. Cleaveland
Specifying and Analyzing Early Requirements: Some Experimental Results / A. Fuxman ; L. Liu ; M. Pistore ; M. Roveri ; J. Mylopoulos
Goal-Driven Requirements / Session P4:
Requirements Analysis for Customizable Software: A Goals-Skills-Preferences Framework / B. Hui ; S. Liaskos
Adding Hypermedia Requirements to Goal-Driven Analysis / D. Bolchini ; P. Paolini ; G. Randazzo
Improving Requirements Tracing via Information Retrieval / J. Hayes ; A. Dekhtyar ; J. Osborne
Requirements Elicitation / Session P5:
Security and Privacy Requirements Analysis within a Social Setting / E. Yu
Formal Structure for Specifying the Content and Quality of the Electronic Health Record / H. Covvey ; D. Zitner ; D. Berry ; D. Cowan ; M. Shepherd
Elicitation Technique Selection: How Do Experts Do It? / A. Hickey ; A. Davis
Making Formal Techniques Usable / Session P6:
A Reference Model for Requirements Engineering / J. Hall ; L. Rapanotti
Understanding and Comparing Model-Based Specification Notations / J. Niu ; J. Atlee ; N. Day
Deriving Tabular Event-Based Specifications from Goal-Oriented Requirements Models / R. De Landtsheer ; E. Letier ; A. van Lamsweerde
Requirements Elicitation (2) / Session P7:
Determining Socio-technical Systems Requirements: Experiences with Generating and Walking through Scenarios / A. Mavin ; N. Maiden
Requirements Elicitation for the Design of Venue Operations for the Athens 2004 Olympic Games / P. Loucopoulos ; K. Zografos ; N. Prekas
Teaching Requirements Engineering through Role Playing: Lessons Learnt / D. Zowghi ; S. Paryani
Requirements Prioritizing and Negotiation / Session P8:
A Benchmarking Method for Information Systems / L. Hagge ; J. Kreutzkamp
An Analytical Model for Requirements Selection Quality Evaluation in Product Software Development / B. Regnell ; L. Karlsson ; M. Host
Evolutionary Requirements Analysis / A. Sutcliffe ; W.-C. Chang ; R. Neville
Industry Talks
Requirements Analysis / Industry Session 1:
Customer Requirements and User Requirements: Why the Discrepancies? / M. Deraitus ; A. Miller
Evaluating the Quality of a UML Business Model / B. Berenbach
Using Convergent Design Processes to Surface Hidden Ambiguity and Conflict in Requirements / R. Barnes
Requirements Gathering / Industry Session 2:
Embracing Requirements Variety for e-Governments Based on Multiple Product-Lines Frameworks / M. Aoyama ; K. Watanabe ; Y. Nishio ; Y. Moriwaki
From Requirements to Release Criteria: Specifying, Monitoring, and Demonstrating Product Quality / E. Simmons
The Automated Extraction of Requirements from UML Models
Metrics & Measurement / Industry Session 3:
Measuring Requirements Traceability from Multiple Angles at Multiple Lifecycle Entry Points / D. Becker
One Approach to the Metric Baselining Imperative for Requirements Processes / R. Chardon ; M. Dorfman
RE in Flatness Measurement and Control Systems Development at ABB / N. Yilmazturk
State of Practice / Industry Session 4:
Daily Challenges in Requirements Engineering / F. Salvatore ; T. Alameda
Practical Lessons from 40 System Integrating Projects / T. Nakamura ; S. Matsuda
Requirements Based Testing at HP OpenView / G. Heller ; P. Vollmer
Testing & Traceability / Industry Session 5:
Testing with Partial Traced Requirements: A Necessary Step towards Higher Quality System Level Verification / S. Catrava
Requirements, Configuration Management and Traceability for Safety Critical Software / G. Romanski
Requirement Tracking: A Streamlined Approach / J. Archer
Mini-Tutorials
Ontology as a Requirements Engineering Product / K. Breitman ; J. Leite
Scenario-Based Requirements Engineering
QFD for Customer-Focused Requirements Engineering / G. Herzwurm ; S. Schockert ; W. Pietsch
Panel Sessions
Marketing Meets Requirements Engineering / M. Rossi ; T. Tuunanen
Requirements Engineering in Practice: Making the Business Case for Requirements Engineering / N. Mead ; N. Kameli
Poster Presentations and Research Tool Demos
Posters and Demos Session 1
Demos
Nimbus: A Tool for Specification Centered Development / M. Heimdahl ; M. Whalen ; J. Thompson
FAUST: Formal Analysis Using Specification Tools / A. Rifaut ; P. Massonet ; J.-F. Molderez ; C. Ponsard ; P. Stadnik ; H. Tran Van
SMaRT-Scenario Management and Requirements Tool / W. Stufflebeam ; A. Anton ; T. Alspaugh
Relating Practitioner Needs to Research Activities / M. Feather ; T. Menzies ; J. Connelly
Poster Presentations
Contrasting Use Case, Goal, and Scenario Analysis of the Euronet System
Trade-Off Analysis between Security Policies for Java Mobile Codes and Requirements for Java Application / H. Kaiya ; K. Sasaki ; Y. Maebashi ; K. Kaijiri
Bringing Usability to the Early Stages of Software Development / L. Cysneiros ; A. Kushniruk
Posters and Demos Session 2
Goal-Oriented Idea Generation Method for Requirements Elicitation / K. Oshiro ; K. Watahiki ; M. Saeki
Software Requirements for Architectured Systems / E. Navarro ; I. Ramos ; J. Perez
Market Driven Requirements Elicitation via Critical Success Chains
Integrating RE Methods to Support Use Case Based Requirements Specification / S. Jones ; M. Flynn
Introducing Abuse Frames for Analysing Security Requirements / L. Lin ; B. Nuseibeh ; D. Ince ; M. Jackson ; J. Moffett
An Approach to Visualise and Reconcile Use Case Descriptions from Multiple Viewpoints / D. Richards ; A.-B. Fure ; O. Aguilera
Media-Assisted Product and Process Requirements Traceability in Supply Chains / M. Jarke ; O. Fritzen ; M. Miatidis ; M. Schluter
Author Index
Foreword
Call for Papers
Organizing Committee
59.

図書

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

図書

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

図書

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

図書

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

図書

図書
corporate sponsors by IEEE Computer Society Technical Council on Software Engineering (TCSE)..[et al.] ; cooperating societies, ACM Sigsoft...[et al.] ; supporters, ERCIM...[et al.]
出版情報: Los Alamitos, California : IEEE Computer Society, c2000  xvi, 358 p. ; 28 cm
所蔵情報: loading…
目次情報: 続きを見る
Message from the Chairs
Call for Papers
Organizing Committee
Program Committee
Additional Reviewers
Steering Committee
Keynote Addresses
Scenarios and Design Cognition / John M. Carroll
Requirements, Architectures and Risks / Wojtek Kozaczynski
Risk Management in Challenging Business Software Projects / Frank Schonthaler
Goals in RE / Paper Session 1:
AGORA: Attributed Goal-Oriented Requirements Analysis Method / H. Kaiya ; H. Horai ; M. Saeki
Analyzing Website Privacy Requirements Using a Privacy Goal Taxonomy / A. Anton ; J. Earp ; A. Reese
Deriving Use Cases from Organizational Modeling / V. Santander ; J. Castro
RE Process / Experience Session 1:
Introducing Requirements Engineering: How to Make a Cultural Change Happen in Practice / M. Kauppinen ; S. Kujala ; T. Aaltio ; L. Lehtola
Improving the Requirements Engineering Process for an Electronic Clearinghouse / M. Fecko ; C. Lott
Initial Industrial Experience of Misuse Cases in Trade-Off Analysis / I. Alexander
Validation / Paper Session 2:
On the Use of Visualization in Formal Requirements Specification / N. Dulac ; T. Viguier ; N. Leveson ; M.-A. Storey
Visual Requirements Validation: Cases Study in a Corba-Supported Environment / P. Fenkam ; H. Gall ; M. Jazayeri
Embedded Systems / Industrial Talks 1:
Managing (Requirements) Evolutions of High Assurance Systems / M. Lemoine ; J. Foisseau
Model Based Requirements Engineering for Embedded Software / M. von der Beeck ; P. Braun ; M. Rappl ; C. Schroder
Component Reuse / Paper Session 3:
Legal Requirements Reuse: A Critical Success Factor for Requirements Quality and Personal Data Protection / A. Toval ; A. Olmos ; M. Piattini
A Quality-Model-Based Approach for Describing and Evaluating Software Packages / X. Franch ; J. Carvallo
Multi-faceted Requirements Modeling / C. Kong ; P. Alexander
Product Management / Industrial Talks 2:
Requirements Management in a Product Line Scenario / C. Ebert
Product Management Assessment--A New Approach to Optimize the Early Phases / T. Fritzhanns ; F. Kudorfer
RE and Design / Paper Session 4:
Requirements Patterns for Embedded Systems / S. Konrad ; B. Cheng
Relating Software Requirements and Architectures Using Problem Frames / J. Hall ; M. Jackson ; R. Laney ; B. Nuseibeh ; L. Rapanotti
Are Their Design Specifications Consistent with Our Requirements? / A. Kozlenkov ; A. Zisman
Use Cases / Paper Session 5:
Application of Linguistic Techniques for Use Case Analysis / A. Fantechi ; S. Gnesi ; G. Lami ; A. Maccari
Supporting Requirements Verification Using XSLT / A. Duran ; A. Ruiz-Cortes ; R. Corchuelo ; M. Toro
Reuse of Scenario Specifications Using an Automated Relational Learner: A Lightweight Approach / H. Woo ; W. Robinson
Validating Functional System Requirements with Scenarios / A. Sutcliffe ; A. Gregoriades
Requirements Management / Industrial Talks 3:
REDEST--14 Best Practice SME Experiments with Innovative Requirements Gathering Techniques / S. Hardiman
Tool-Based Risk Management Made Practical / H. Doernemann
The Reference Point Method: Requirements-Based ICT Convergence Solution Development / W. Gross ; T. Meyer ; F. Zimmer ; C. Herrmann
Requirements Engineering: How Do You Know How Good You Are? / A. Vickers ; A. Mavin ; H. May
RE-Visions
Early Aspects: A Model for Aspect-Oriented Requirements Engineering / A. Rashid ; P. Sawyer ; A. Moreira ; J. Araujo
Security Requirements Engineering: When Anti-requirements Hit the Fan / R. Crook ; D. Ince ; L. Lin
Requirements Interdependencies and Stakeholders Preferences / J. Giesen ; A. Volker
NL and UML / Industrial Talks 4:
Ambiguity and What to Do about It / B. Kovitz
A Process Model for Distributed Development of Networked Mechatronic Components in Motor Vehicles / K. Knorr ; A. Lapp ; P. Flores ; J. Schirmer ; D. Kraft ; J. Petersen ; M. Bourhaleb ; T. Bertram
Analysis beyond UML / C. Stutz ; J. Siedersleben ; D. Kretschmer ; W. Krug
RE for Product Lines / Paper Session 6:
The Product Line Mapping Approach to Defining and Structuring Product Portfolios / K. Schmid
Integrating ECUs in Vehicles--Requirements Engineering in Series Development / M. Hardt ; R. Mackenthun ; J. Bielefeld
Efficient and Systematic Software Evolution through Domain Analysis / I. John ; D. Muthig ; P. Sody ; E. Tolzmann
Requirements Selection / Experience Session 2:
Exploring the Relationship between Project Selection and Requirements Analysis: An Empirical Study of the New Millennium Program / M. Bergman ; G. Mark
Using Maturity Assessments to Understand the ERP Requirements Engineering Process / M. Daneva
Converging on the Optimal Attainment of Requirements / M. Feather ; T. Menzies
Change Management / Paper Session 7:
Systematic Requirements Recycling through Abstraction and Traceability / A. von Knethen ; B. Paech ; F. Kiedaisch ; F. Houdek
An Analysis-Revision Cycle to Evolve Requirements Specifications by Using the SCTL-MUS Methodology / J. Garcia-Duque ; J. Pazos-Arias ; B. Barragans-Martinez
Automating Speculative Queries through Event-Based Requirements Traceability / J. Cleland-Huang ; C. Chang ; G. Sethi ; K. Javvaji ; H. Hu ; J. Xia
Goals and Use Cases / Industrial Talks 5:
Requirements Engineering with Grail/Kaos: Tell the Requirements, All the Requirements, and Nothing Else but the Requirements / R. Darimont ; E. Delor ; J.-L. Roussel ; A. Rifaut
Requirements Engineering--Applying Theory to Reality / S. Dusire ; M. Flynn ; N. Dardenne
Extreme Programming Modified: Embrace Requirements Engineering Practices / J. Nawrocki ; M. Jasinski ; B. Walter ; A. WojciechowskiPaper Session 8:
Effectiveness of Elicitation Techniques in Distributed Requirements Engineering / W. Lloyd ; M. Rosson ; J. Arthur
The Impact of Stakeholders' Geographical Distribution on Managing Requirements in a Multi-Site Organization / D. Damian ; D. Zowghi
Application Challenges / Experience Session 3:
Requirements Engineering in Automotive Development--Experiences and Challenges / M. Weber ; J. Weisbrod
Managing Product Requirements for Medical IT Products / S. Higgins ; M. de Laat ; P. Gieles ; E. Geurts
Requirements Engineering in the Health Care Domain / L. Cysneiros
Author Index
Message from the Chairs
Call for Papers
Organizing Committee
64.

図書

図書
in cooperation with ACM SIGSOFT
出版情報: New York, N.Y. : Association for Computing Machinery, c2002  xiv, 845 p. ; 28 cm
所蔵情報: loading…
65.

図書

図書
sponsors, Computer Society of the IEEE TC on Software Engineering ... [et al.] in cooperation with ACM/SIGSOFT ...
出版情報: Washington, D.C. : Computer Society Press of the IEEE, c1987  xi, 203 p. ; 28 cm
所蔵情報: loading…
66.

図書

図書
edited by Robert S. Arnold ; sponsored byIEEE Computer Society Technical Committee on Software Engineering ... [et al.] in cooperation with ACM Special Interest Group on Software Engineering (SIGSOFT)
出版情報: Silver Spring, MD : IEEE Computer Society Press, c1984  xv, 302 p. ; 28 cm
所蔵情報: loading…
67.

図書

図書
sponsored by IEEE Computer Society, Technical Council on Software Engineering ; in coorperation with ACM SIGSOFT, IFIP Working Group 2.9
出版情報: Los Alamitos, California : IEEE Computer Society Press, c1997  xv, 267 p ; 28 cm
所蔵情報: loading…
68.

図書

図書
sponsored by IEEE Computer Society Technical Council on Software Engineering, The Association for Computing (ACM SIGSOFT)
出版情報: New York, N.Y. : ACM Press, c1997  xviii, 713 p. ; 28 cm
所蔵情報: loading…
69.

図書

図書
edited by Linda Wills, Philip Newcomb, Elliot Chikofsky ; sponsored by IEEE Computer Society Technical Council on Software Engineering, TCSE Committee on Reverse Engineering, ACM SIGSOFT
出版情報: Los Alamitos, CA ; Tokyo : IEEE Computer Society Press, c1995  x, 335 p. ; 28 cm
所蔵情報: loading…
70.

図書

図書
sponsored by IEEE Computer Society Technical Council on Software Engineering, The Association for Computing Machinery (SIGSOFT), Gesellschaft für Informatik
出版情報: Los Alamitos, Calif. ; Tokyo : IEEE Computer Society Press, c1996  xviii, 590 p. ; 28 cm
所蔵情報: loading…
71.

図書

図書
sponsored by IEEE Computer Society, IEEE Computer Society Technical Council on Software Engineering ; in coorperation with ACM SIGSOFT, IEE, IFIP Working Group 2.9
出版情報: Los Alamitos, California : IEEE Computer Society Press, 1995  x, 217 p ; 28 cm
所蔵情報: loading…
72.

図書

図書
sponsored by IEEE Computer Society ; in cooperation with ACM SIGSOFT
出版情報: Los Alamitos, Calif. : IEEE Computer Society Press, c1993  xii, 224 p. ; 28 cm
所蔵情報: loading…
73.

図書

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

図書

図書
edited by Richard C. Waters, Elliot J. Chikofsky ; sponsored by IEEE Computer Society. Technical Committee on Software Engineering (TCSE). Subcommittee on Reverse Engineering, ACM Special Interest Group on Software Engineering (SIGSOFT)
出版情報: Los Alamitos, CA : IEEE Computer Society Press, c1993  ix, 233 p. ; 28 cm
所蔵情報: loading…
75.

図書

図書
sponsored by IEEE Computer Society Technical Committee on Software Engineering, ACM Special Interest Group on Softwar Engineering(SIGSOFT), Associazione Italiana per l'Informatica ed il Calcolo Automatico(AICA)
出版情報: Los Alamitos, Calif. : IEEE Computer Society Press, c1994  xiii, 369 p. ; 28 cm
所蔵情報: loading…
76.

図書

図書
sponsored by IEEE Computer Society Technical Committee on Software Engineering, the Association for Computing Machinery/SIGSOFT
出版情報: Los Alamitos Calif. : IEEE Computer Society Press, c1993  xiv, 524 p. ; 28 cm
所蔵情報: loading…
77.

図書

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

図書

図書
sponsored by Rocky Mountain Institute of Software Engineering in cooperation with IEEE Computer Society Technical Committee on Software Engineering, ACM Special Interest Group on Software Engineering
出版情報: Los Alamitos, Calif. : IEEE Computer Society Press, c1993  vi, 170 p. ; 28 cm
所蔵情報: loading…
79.

図書

図書
sponsored by SIGSOFT ACM ... [et. al.]
出版情報: Long Bearch, CA. : IEEE Computer Society, c1982  xvii, 430 p.
所蔵情報: loading…
80.

図書

図書
sponsored by IEEE Computer Society, National Bureau of Standards, ACM SIGSOFT
出版情報: New York : IEEE, c1978  341p ; 28 cm
所蔵情報: loading…
81.

図書

図書
sponsored by ACM SIGSOFT, National Bureau of Standards, IEEE Computer Society
出版情報: Los Alamitos, CA : IEEE Computer Society Press, c1981  xv, 472 p. ; 28 cm
所蔵情報: loading…
82.

図書

図書
sponsored by the Association for Computing Machinery SIGSOFT ... [et al.]
出版情報: Washington D.C. : IEEE Computer Society Press, c1985  xvi, 402 p. ; 28 cm
所蔵情報: loading…
目次情報: 続きを見る
Preface
Committee Members
Reviewers
Graphics with Shape Property Inheritance / T. Kunii
Adaptive Hierarchical B-spline Surface Approximation of Large-Scale Scattered Data / W. Zhang ; Z. Tang ; J. Li
Tight Bounding Volumes for Subdivision Surfaces / L. Kobbelt
Fair Curve and Surface Design System using Tangent Control / N. Sakiyama ; K. Miura ; T. Takahashi ; T. Kaneko ; T. Kubo
General Matrix Representations for B-Splines and Applications / K. Qin
Toward Urban Model Acquisition from Geo-Located Images / S. Teller
Modeling of Clouds from Satellite Images using Metaballs / Y. Dobashi ; T. Nishita ; H. Yamashita ; T. Okita
Nonlinear View Interpolation / H. Bao ; L. Chen ; J. Ying ; Q. Peng
Efficient Image-based Rendering of Volume Data / J. Choi ; Y. Shin
An Analytical Ray Casting of Volume Data / M. Jung ; H. Park ; D. Paik
Bounded Clustering--Finding Good Bounds on Clustered Light Transport / M. Stamminger ; P. Slusallek ; H. Seidel
An Efficient Shadow Algorithm for Area Light Sources using BSP Trees / K. Wong ; W. Tsang
Shape Space from Deformation / H. Cheng ; H. Edelsbrunner ; P. Fu
General Constrained Deformations based on Generalized Metaballs / X. Jin ; Y. Li
RECODE: An Image-based Collision Detection Algorithm / G. Baciu ; W. Wong ; H. Sun
A Nondeterministic Reconstruction Approach for Isotropic Reflectances and Transmittances / G. Baranoski ; J. Rokne
Image Talk: A Real Time Synthetic Talking Head using One Single Image with Chinese Text-To-Speech Capability / W. Perng ; Y. Wu ; M. Ouhyoung
Design and Implementation of the Maya Renderer / K. Sung ; J. Craighead ; C. Wang ; S. Bakshi ; A. Pearce ; A. Woo
Gesticulation Behaviors for Virtual Humans / L. Zhao ; N. Badler
An Efficient Control over Human Running Animation with Extension of Planar Hopper Model / Y. Kang ; S. Park ; H. Cho ; E. Lee
Dust and Water Splashing Models for Hopping Figures / G. Ashraf ; W. Cheong
Interactive Mesh Dragging with Adaptive Remeshing Technique / H. Suzuki ; Y. Sakurai ; T. Kanai ; F. Kimura
A Camera Control Interface based on the Visualization of Subspaces of the 6D Motion Space of the Camera / D. Kim
An Infrared Image Synthesis Model / W. Yu ; H. Tu
Representing Spheres and Ellipsoids using Periodic NURBS Surfaces with Fewer Control Vertices / W. Wang
A C[superscript 2] Interpolant for Spherical Scattered Data / L. Chang ; H. Said
A New Approach for Goal-Oriented Defomation of Voxel Models / R. Jegathese ; E. Prakash
Disparity Mapping Technique and Fast Rendering Technique for View Morphing / T. Moritsu ; M. Kato
Automatic Feature Extraction and Face Synthesis in Facial Image Coding / F. Wu ; T. Yang
Color Plates
Index of Authors
Preface
Committee Members
Reviewers
83.

図書

図書
organized by ACM SIGSOFT ... [et al.]
出版情報: Washington D.C. : Computer Society Press, c1988  xiv, 459 p. ; 28 cm
所蔵情報: loading…
84.

図書

図書
sponsored by Association for Computing Machinery Sigsoft, IEEE Computer Society [and] National Bureau of Standards
出版情報: [Silver Spring, MD?] : IEEE Computer Society Press, c1984  xiv, 545 p. ; 28 cm
所蔵情報: loading…
85.

図書

図書
organized by ACM Special Interest Group on Software Engineering ... [et al.]
出版情報: Washington D.C. : IEEE Computer Society Press, c1989  xix, 406 p. ; 28 cm
所蔵情報: loading…
86.

図書

図書
[sponsored by IEEE Computer Society, ACM Sigsoft]
出版情報: Los Alamitos, Calif. : IEEE Computer Society Press, c1991  ix, 260 p. ; 28 cm
所蔵情報: loading…
87.

図書

図書
sponsored by ACM Special Interest Group on Software Engineering, IEEE Computer Society Technical Committee on Software Engineering
出版情報: Los Alamitos, Calif. : IEEE Computer Society Press, c1991  xiii, 359 p. ; 28 cm
所蔵情報: loading…
88.

図書

図書
sponsored by SIGSOFT ACM ... [et. al.]
出版情報: New York : IEEE, c1979  456p ; 28 cm
所蔵情報: loading…
89.

図書

図書
program co-chairs, Margaret Burnett, Stephan Diehl ; symposium chair, Eileen Kraemer ; proceedings production editor, Stephen N. Spencer ; sponsored by ACM SIGCHI ... [et al.]
出版情報: New York : Association for Computing Machinery, c2006  203 p. ; 28 cm
所蔵情報: loading…
90.

図書

図書
DEBS ; USENIX Association ; IEEE Computer Society ; ACM Special Interest Group for the Management of Data ; ACM Sigsoft
出版情報: New York : Association for Computing Machinery, c2007  [14], 263 p. ; 28 cm
シリーズ名: ACM international conference proceedings series ; 233
所蔵情報: loading…
91.

図書

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

図書

図書
UbiComp ; Association for Computing Machinery ; ACM SIGMOBILE ; SIGCHI (Group : U.S.) ; ACM Sigsoft ; SIGWEB
出版情報: New York : Association for Computing Machinery, c2008  389 p. ; 28 cm
所蔵情報: loading…
93.

図書

図書
sponsored by ACM SigSoft and IEEE CS
出版情報: New York : Association for Computing Machinery, c2008  xii, 363p. ; 28cm
所蔵情報: loading…
94.

図書

図書
edited by Dimitrios Georgakopoulos, Wolfgang Printz, Alexander L. Wolf ; sponsored by ACM Special Interest Groups, SIGCHI, [et al.] ; in cooperation with International Software Process Association (ISPA) ; in association with IEEE Technical Committee on Data Engineering (TCDE)
出版情報: New York, N.Y. : Association for Computing Machinery, c1999  viii, 247 p. ; 28 cm
シリーズ名: ACM SIGSOFT software engineering notes ; vol. 24, no. 2 Mar. 1999
所蔵情報: loading…
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼