close
1.

図書
図書
1. ACM International Symposium on Software Testing and Analysis, ISSTA 2007 : July 9-12, 2007, London, United Kingdom
International Symposium on Software Testing and Analysis ; ACM Sigsoft
出版情報: New York, N.Y. : Association for Computing Machinery, c2007  249 p. ; 28 cm
所蔵情報: loading…
2.

図書
図書
2. Software Maintenance Workshop, Naval Postgraduate School, Monterey,California, December 6-8, 1983 : Record (pbk. ; microfiche ; casebd.)
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…
3.

図書
図書
3. Proceedings : Conference on Software Maintenance-1987, Austin, Texas, September 21-24, 1987 (pbk. ; microfiche ; case)
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…
4.

図書
図書
4. Proceedings of the 1999 International Conference on Software Engineering, May 16-22, 1999, Los Angeles, California, USA (: ACM ; : IEEE : case.)
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…
5.

図書
図書
5. Proceedings, Second International Workshop on Software Engineering for Parallel and Distributed Systems : May 17-18, 1997, Boston, MA, USA
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…
6.

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

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

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

図書
図書
9. Proceedings of the 1997 International Conference on Software Engineering, May 17-23, 1997, Boston, Massachusetts, USA (: ACM ; : IEEE:Library bound ; : IEEE:Microfiche)
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…
10.

図書
図書
10. Proceedings of the Third IEEE International Symposium on Requirements Engineering, January 6-10, 1997, Annapolis, Maryland, USA
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…
11.

図書
図書
11. Third International Conference on the Software Process : applying the software process : proceedings, October 10-11, 1994, Reston, Virginia
sponsored by the International Software Process Association in cooperation with the IEEE Computer Society Technical Council on Software Engineering, ACM SIGSOFT-Special Interest Group on Software Engineering
出版情報: Los Alamitos, CA : IEEE Computer Society Press, c1994  x, 187 p. ; 28 cm
所蔵情報: loading…
12.

図書
図書
12. Proceedings of the Second IEEE International Symposium on Requirements Engineering, March 27-29, 1995, York, England
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…
13.

図書
図書
13. Proceedings : ninth International Software Process Workshop, October 5-7, 1994, Airlie, Virginia
sponsored by International Software Processing Association (ISPA) ; in cooperation with IEEE Technical Council on Software Engineering, ACM Special Interest Group on Software Engineering (ACM SIGSOFT)
出版情報: Los Alamitos, California : IEEE Computer Society Press, c1995  x, 148 p.
所蔵情報: loading…
14.

図書
図書
14. Proceedings of the 18th International Conference on Software Engineering, March 25-29, 1996, Berlin, Germany (: pbk ; : IEEE Order Plan ; : Microfiche)
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…
15.

図書
図書
15. Proceedings : Second Working Conference on Reverse Engineering, July 14-16, 1995, Toronto, Ontario, Canada
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…
16.

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

雑誌
雑誌
17. Proceedings of the ACM SIGSOFT ... International Symposium on the Foundations of Software Engineering
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…
18.

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

雑誌
雑誌
19. Proceedings of the ACM SIGPLAN/SIGSOFT Workshop on Program Analysis for Software Tools and Engineering : PASTE
ACM SIGPLAN/SIGSOFT Workshop on Program Analysis for Software Tools and Engineering ; Association for Computing Machinery ; ACM Special Interest Group in Programming Languages ; ACM Sigsoft
出版情報: New York : ACM Press, c1998-  v. ; 28 cm
巻次年月次: [1st] (1998)-
所蔵情報: loading…
20.

雑誌
雑誌
20. ACM Workshop on Interdisciplinary Software Engineering Research : WISER
ACM Workshop on Interdisciplinary Software Engineering Research ; ACM Sigsoft ; ACM SIGSOFT Symposium on the Foundations of Software Engineering
出版情報: New York, N.Y. : Association for Computing Machinery, c2004-  v. ; 28 cm
巻次年月次: [1st] (2004)-
所蔵情報: loading…
21.

図書
図書
21. 13th International Conference on Software Engineering, Austin, Texas, May 13-17, 1991 (: paper ; : micro. ; : case)
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…
22.

図書
図書
22. Proceedings of the Sixth International Workshop on Software Specification and Design, October 25-26, 1991, Como, Italy (: paper ; : micro. ; : case)
[sponsored by IEEE Computer Society, ACM Sigsoft]
出版情報: Los Alamitos, Calif. : IEEE Computer Society Press, c1991  ix, 260 p. ; 28 cm
所蔵情報: loading…
23.

図書
図書
23. Proceedings : 4th International Conference on Software Engineering : September 17-19, 1979, Munich, Germany, Technical University of Munich
sponsored by SIGSOFT ACM ... [et. al.]
出版情報: New York : IEEE, c1979  456p ; 28 cm
所蔵情報: loading…
24.

図書
図書
24. Proceedings : 7th International Conference on Software Engineering, March 26-29, 1984, Orlando, Florida (pbk. ; hard)
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…
25.

図書
図書
25. Proceedings : 10th International Conference on Software Engineering, April 11-15, 1988, Singapore (: pbk.)
organized by ACM SIGSOFT ... [et al.]
出版情報: Washington D.C. : Computer Society Press, c1988  xiv, 459 p. ; 28 cm
所蔵情報: loading…
26.

図書
図書
26. Proceedings : 11th International Conference on Software Engineering, May 15-18, 1989, Pittsburgh, Pennsylvania (: ; : pbk.)
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…
27.

図書
図書
27. Proceedings of the IEEE International Symposium on Requirements Engineering, January 4-6, 1993, San Diego, California
sponsored by IEEE Computer Society ; in cooperation with ACM SIGSOFT & SIGART
出版情報: Los Alamitos, California : IEEE Computer Society Press, 1993  xii, 286 p ; 28 cm
所蔵情報: loading…
28.

図書
図書
28. Second International Conference on the Software Process : continuous software process improvement, February 25-26, 1993, Berlin, Germany (microfiche)
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…
29.

図書
図書
29. Proceedings : 6th International Conference on Software Engineering : September 13-16, 1982, Tokyo, Japan
sponsored by SIGSOFT ACM ... [et. al.]
出版情報: Long Bearch, CA. : IEEE Computer Society, c1982  xvii, 430 p.
所蔵情報: loading…
30.

図書
図書
30. Proceedings : 3rd International Conference on Software Engineering : May 10-12, 1978, Atlanta, Georgia, USA, Hyatt Regency
sponsored by IEEE Computer Society, National Bureau of Standards, ACM SIGSOFT
出版情報: New York : IEEE, c1978  341p ; 28 cm
所蔵情報: loading…
31.

図書
図書
31. Proceedings : 5th International Conference on Software Engineering, March 9-12, 1981, San Diego, California
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…
32.

図書
図書
32. Proceedings : 8th International Conference on Software Engineering, August 28-30, 1985, Imperial College, London, UK (:paper ; :casebound)
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
33.

図書
図書
33. Proceedings : The Eighth Knowledge-Based Software Engineering Conference, September 20-23, 1993, Chicago, Illinois (paper ; microfiche)
sponsored by Rome Laboratory, USAF ; in cooperation with AAAI, ACM SIGART and SIGSOFT, IEEE Computer Society
出版情報: Los Alamitos, Calif. : IEEE Computer Society Press, c1993  viii, 202 p. ; 28 cm
所蔵情報: loading…
34.

図書
図書
34. Proceedings : Working Conference on Reverse Engineering, May 21-23, 1993, Baltimore, Maryland (paper ; microfiche)
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…
35.

図書
図書
35. ICSE-16 : 16th International Conference on Software Engineering, May 16-21, 1994, Sorrento, Italy (: paper ; : micro ; : case)
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…
36.

図書
図書
36. Proceedings of the Seventh International Workshop on Software Specification and Design, December 6-7, 1993, Redondo Beach, California (: paper ; : micro.)
sponsored by IEEE Computer Society ; in cooperation with ACM SIGSOFT
出版情報: Los Alamitos, Calif. : IEEE Computer Society Press, c1993  xii, 224 p. ; 28 cm
所蔵情報: loading…
37.

図書
図書
37. Proceedings : 15th International Conference on Software Engineering, May 17-21, 1993, Baltimore, Maryland (: paper ; : micro ; : case)
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…
38.

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

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

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

図書
図書
41. Proceedings : IEEE joint International Conference on Requirements Engineering, 9-13 September 2002, Essen, Germany (: case ; : microfiche)
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
42.

図書
図書
42. Proceedings, SEKE 2002 : fourteenth International Conference on Software Engineering and Knowledge Engineering
in cooperation with ACM SIGSOFT
出版情報: New York, N.Y. : Association for Computing Machinery, c2002  xiv, 845 p. ; 28 cm
所蔵情報: loading…
43.

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

図書
図書
44. Proceedings : 11th IEEE International Requirements Engineering Conference, 8-12 September 2003, Monterey Bay, California, USA
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
45.

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

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

図書
図書
47. Proceedings of the Ninth International Symposium on Hardware/Software Codesign : CODES 2001, April 25-27, 2001, Copenhagen, Denmark
sponsored by : ACM SIGDA ... [et al.]
出版情報: New York : ACM, c2001  xi, 271 p. ; 28 cm
所蔵情報: loading…
48.

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

図書
図書
49. Proceedings of the international joint conference on work activities coordination and collaboration , WACC '99 , February 22-25, 1999, San Francisco, California
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…
50.

図書
図書
50. SSR '99 : Proceedings of the Fifth symposium on software reusability : Bridging the gap between research and practice, May 21-23, 1999, Los Angels, CA, USA
sponsored by the Association for Computing Machinery (ACM SIGSOFT)
出版情報: New York, N.Y. : ACM Press, c1999  ix, 180 p. ; 28 cm
所蔵情報: loading…
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼