Exploiting the Internet

• 
  Gail E. Kaiser, Stephen E. Dossick, Wenyu Jiang, Jack Jingshuang Yang: An Architecture for WWW-based Hypercode Environments. 3-13
• 
  James Perpich, Dewayne E. Perry, Adam A. Porter, Lawrence G. Votta, Michael W. Wade: Anywhere, Anytime Code Inspections: Using the Web to Remove Inspection Bottlenecks in Large-Scale Software Development. 14-21
• 
  Antonio Carzaniga, Gian Pietro Picco, Giovanni Vigna: Designing Distributed Applications with Mobile Code Paradigms. 22-32

Formal Specifications

• 
  Shin Nakajima, Kokichi Futatsugi: An Object-Oriented Modeling Method for Algebraic Specifications in CafeOBJ. 34-44
• 
  Enoch Y. Wang, Heather A. Richter, Betty H. C. Cheng: Formalizing and Integrating the Dynamic Model within OMT. 45-55
• 
  Luciano Baresi, Alessandro Orso, Mauro Pezzè: Introducing Formal Specification Methods in Industrial Practice. 56-66

Reliability

• 
  Phyllis G. Frankl, Richard G. Hamlet, Bev Littlewood, Lorenzo Strigini: Choosing a Testing Method to Deliver Reliability. 68-78
• 
  Andy Podgurski, Elaine J. Weyuker: Re-estimation of Software Reliability After Maintenance. 79-85
• 
  Kazuyuki Shima, Shingo Takada, Ken-ichi Matsumoto, Koji Torii: A Study on the Failure Intensity of Different Software Faults. 86-94

Inspections and Reviews

• 
  Carolyn B. Seaman, Victor R. Basili: An Empirical Study of Communication in Code Inspections. 96-106
• 
  Michael Stein, John Riedl, Sören J. Harner, Vahid Mashayekhi: A Case Study of Distributed, Asynchronous Software Inspection. 107-117
• 
  Philip M. Johnson, Danu Tjahjono: Assessing Software Review Meetings: A Controlled Experimental Study Using CSRS. 118-127
• 
  Adam A. Porter, Harvey P. Siy, Lawrence G. Votta: Understanding the Effects of Developer Activities on Inspection Interval. 128-138

User Inferface and Specifications

• 
  William N. Robinson, Vecheslav Volkov: A Meta-Model for Restructuring Stakeholder Requirements. 140-149
• 
  J.-P. Jacquot, D. Quesnot: Early Specification of User-Interfaces: Toward a Formal Approach. 150-160
• 
  William M. Wilson, Linda H. Rosenberg, Lawrence E. Hyatt: Automated Analysis of Requirement Specifications. 161-171
• 
  T. C. Nicholas Graham, Tore Urnes: Integrating Support for Temporal Media into an Architecture for Graphical User Interfaces. 172-182

Legacy Systems and Testing

• 
  Alexander S. Yeh, David R. Harris, Melissa P. Chase: Manipulating Recovered Software Architecture Views. 184-194
• 
  Robert DeLine, Gregory Zelesnik, Mary Shaw: Lessons on Converting Batch Systems to Support Interaction (Experience Report). 195-204
• 
  I. S. Dunietz, Willa K. Ehrlich, B. D. Szablak, Colin L. Mallows, Anthony Iannino: Applying Design of Experiments to Software Testing (Experience Report). 205-215
• 
  Gilles Bernot, Laurent Bouaziz, Pascale Le Gall: A Theory of Probabilistic Functional Testing. 216-226

Static Analysis

• 
  George S. Avrunin, James C. Corbett, Laura K. Dillon: Analyzing Partially-Implemented Real-Time Systems. 228-238
• 
  Mauro Pezzè, Michal Young: Constructing Multi-Formalism State-Space Analysis Tools: Using Rules to Specify Dynamic Semantics of Models. 239-249
• 
  Jon Damon Reese, Nancy G. Leveson: Software Deviation Analysis. 250-260

Metrics

• 
  Maurizio Pighin, Roberto Zamolo: A Predictive Metric Based on Discriminant Statistical Analysis. 262-270
• 
  Bernd Brügge, Allen H. Dutoit: Communication Metrics for Software Development. 271-281
• 
  Victor R. Basili, Steven E. Condon, Khaled El Emam, Robert B. Hendrick, Walcélio L. Melo: Characterizing and Modeling the Cost of Rework in a Library of Reusable Software Components. 282-291

Process

• 
  Shinji Kusumoto, Osamu Mizuno, Tohru Kikuno, Yuji Hirayama, Yasunari Takagi, Keishi Sakamoto: A New Software Project Simulator Based on Generalized Stochastic Petri-net. 293-302
• 
  Rodion M. Podorozhny, Leon J. Osterweil: The Criticality of Modeling Formalisms in Software Design Method Comparison: Experience Report. 303-313

Hardware/Software Issues

• 
  Viktor Friesen, Stefan Jähnichen, Matthias Weber: Specification of Software Controlling a Discrete-Continuous Environment. 315-325
• 
  Mary F. Fernandez, Norman Ramsey: Automatic Checking of Instruction Specifications. 326-336

Reverse Engineering and Program Understanding

• 
  Robert O'Callahan, Daniel Jackson: Lackwit: A Program Understanding Tool Based on Type Inference. 338-348
• 
  Christian Lindig, Gregor Snelting: Assessing Modular Structure of Legacy Code Based on Mathematical Concept Analysis. 349-359
• 
  Dean F. Jerding, John T. Stasko, Thomas Ball: Visualizing Interactions in Program Executions. 360-370

Process Improvement

• 
  Theodore Hammer, Linda H. Rosenberg, Lenore Huffman, Lawrence E. Hyatt: Measuring Requirements Testing. 372-379
• 
  Jo Ann Lane, David Zubrow: Intergrating Measurement with Improvement: An Action-Oriented Approach (Experience Report). 380-389
• 
  Minh Ngoc Nguyen, Alf Inge Wang, Reidar Conradi: Total Software Process Model Evolution in EPOS (Experience Report). 390-399
• 
  Flavio Bonfatti, Gianni Gadda, Paola Daniela Monari: An Improved Process for the Development of PLC Software (Experience Report). 400-410

Analysis of C and C++

• 
  Lionel C. Briand, Premkumar T. Devanbu, Walcélio L. Melo: An Investigation into Coupling Measures for C++. 412-421
• 
  Jyh-Shiarn Yur, Barbara G. Ryder, William Landi, Phil Stocks: Incremental Analysis of Side Effects for C Software System. 422-432
• 
  Paolo Tonella, Giuliano Antoniol, Roberto Fiutem, Ettore Merlo: Flow Insensitive C++ Pointers and Polymorphism Analysis and its Application to Slicing. 433-443

Economic and Legal Issues

• 
  June M. Verner, Narciso Cerpa: The Effect of Department Size on Developer Attitudes to Prototyping. 445-455
• 
  Cristina Cifuentes, Anne Fitzgerald: Copyright in Shareware Software Distributed on the Internet - The Trumpet Winsock Case. 456-464
• 
  Richard J. Botting: On the Economics of Mass-Marketed Software. 465-470

Object-Oriented Technology

• 
  David S. Wile: Abstract Syntax from Concrete Syntax. 472-480
• 
  Gregor Kiczales, John Lamping, Cristina Videira Lopes, Chris Maeda, Anurag Mendhekar, Gail C. Murphy: Open Implementation Design Guidelines. 481-490
• 
  Garry Froehlich, H. James Hoover, Ling Liu, Paul G. Sorenson: Hooking into Object-Oriented Application Frameworks. 491-501

Testing and Analysis

• 
  Kevin J. Sullivan, John Socha, Mark Marchukov: Using Formal Methods to Reason about Architectural Standards. 503-513
• 
  Rajeev Alur, Lalita Jategaonkar Jagadeesan, Joseph J. Kott, James Von Olnhausen: Model-Checking of Real-Time Systems: A Telecommunications Application (Experience Report). 514-524
• 
  Lalita Jategaonkar Jagadeesan, Adam A. Porter, Carlos Puchol, J. Christopher Ramming, Lawrence G. Votta: Specification-based Testing of Reactive Software: Tools and Experiments (Experience Report). 525-535

Plenary Speakers

• 
  Edward Yourdon: Beyond Software Engineering: Ten Imperatives for the Successful Software Developer at the End of the Decade (Abstract). 538
• 
  Guy L. Steele Jr.: Java and the Evolution of Web Software (Abstract). 538
• 
  Mark Weiser: Software Engineering That Matters to People (Abstract). 538
• 
  Leon J. Osterweil: Software Processes Are Software Too, Revisited: An Invited Talk on the Most Influential Paper of ICSE 9. 540-548
• 
  M. M. Lehman: Process Modelling - Where Next. 549-552

Software Engineering in Organizations: Lessons and Status Report

• 
  Werner Karbach, Jörg Noack, Hans-Bernd Kittlaus: Leveraging a Large Banking Organization to Object Technology. 554-555
• 
  Jeffrey Melanson, Robert L. Nord, Dilip Soni: Tailoring OMT for an Industry Software Project. 556-557
• 
  Wolfgang Eixelsberger, Lasse Warholm, René Klösch, Harald Gall: Software Architecture Recovery of Embedded Software. 558-559
• 
  Christoph Welsch, Alexander Schalk, Stefan Kramer: Integrating Forward and Reverse Object-Oriented Software Engineering. 560-561
• 
  Kent Sullivan: The Windows 95 User Interface: Iterative Design and Problem Tracking in Action. 562-563
• 
  Kevin Ryan, Joachim Karlsson: Prioritizing Software Requirements in an Industrial Setting. 564-565
• 
  Rick Hefner: Lessons Learned with the Systems Security Engineering Capability Maturity Model. 566-567
• 
  Franz Engelmann, Hans Stienen, Ernst Lebsanft: BOOTSTRAP: Four Years of Assessment Experience. 568-569
• 
  Richard A. Baker Jr.: Code Reviews Enhance Software Quality. 570-571
• 
  Robert Oshana, Frank P. Coyle: Implementing Cleanroom Software Engineering into a Mature CMM-Based Software Organization. 572-573
• 
  Debra Bond, Patty Rishi: Redesigning the Systems Development Process. 574-575

Panels and Invited Presentations

• 
  Richard W. Selby: Platforms for Software Execution: Databases vs. Operating Systems vs. Browsers (Panel). 578
• 
  Alexander Ram, Hamish Kellock, Peter Hjort: Architecting Families of Software-Intensive Products. 580
• 
  Anthony I. Wasserman: Java Development Environments (Panel). 582-583
• 
  Walter Royce: Pragmatic Software Metrics for Iterative Development (Presentation). 585
• 
  Prasun Dewan, Philip Johnson, Kanth Miriyala, Remo Pareschi: Panel on Collaborative Software Engineering. 586

State of the Art Reports

• 
  Dewayne E. Perry: An Overview of the State of the Art in Software Architecture. 590-591
• 
  Mark S. Ackerman: Everything you Need To Know About Collaboration and Collaboration Software. 592

Research Demonstrations

• 
  Gleb Naumovich, Lori A. Clarke, Leon J. Osterweil, Matthew B. Dwyer: Verification of Concurrent Software with FLAVERS. 594-595
• 
  Craig Damon: Nitpick: A Tool for Interactive Design Analysis. 596-597
• 
  Arthur S. Hitomi, Gregory Alan Bolcer, Richard N. Taylor: Endeavors: A Process System Infrastructure. 598-599
• 
  Jason E. Robbins, David M. Hilbert, David F. Redmiles: Argo: A Design Environment for Evolving Software Architectures. 600-601
• 
  Don Cohen, Martin S. Feather, Khaled Narayanaswamy, Stephen Fickas: Automatic Monitoring of Software Requirements. 602-603
• 
  Karl J. Lieberherr, Doug Orleans: Preventive Program Maintenance in Demeter/Java. 604-605
• 
  Margaret-Anne D. Storey, Kenny Wong, Hausi A. Müller: Rigi: A Visualization Environment for Reverse Engineering. 606-607
• 
  Pei Hsia, David Chenho Kung: An Object-Oriented Testing and Maintenance Environment. 608-609
• 
  Constance L. Heitmeyer, James Kirby, Bruce G. Labaw: The SCR Method for Formally Specifying, Verifying, and Validating Requirements: Tool Support. 610-611
• 
  Robert Darimont, Emmanuelle Delor, Philippe Massonet, Axel van Lamsweerde: GRAIL/KAOS: An Environment for Goal-Driven Requirements Engineering. 612-613
• 
  Jim Q. Ning: ADE - An Architecture Design Environment for Component-Based Software Engineering. 614-615
• 
  Kevin J. Sullivan, Jake Cockrell, Shengtong Zhang, David Coppit: Package-Oriented Programming of Engineering Tools. 616-617
• 
  Andy Schürr: Developing Graphical (Software Engineering) Tools with PROGRES. 618-619
• 
  Pier Giorgio Bosco, Giovanni Martini, Corrado Moiso: TINA ACE: An Environment for Specifying, Developing and Generating TINA Services. 620-621

Tutorial Summaries

• 
  Bill Curtis: Software Process Improvement: Methods and Lessons Learned (Tutorial). 624-625
• 
  Timothy D. Korson: A Realistic, Commercially Robust Process for the Development of Object-Oriented Software Systems (Tutorial). 626-627
• 
  John D. Musa: Software-Reliability-Engineered Testing Practice (Tutorial). 628-629
• 
  Jim Waldo: Java: A Language for Software Engineering (Tutorial). 630
• 
  Jack C. Wileden, Alan Kaplan: Software Interoperability: Principles and Practice (Tutorial). 631-632
• 
  Jeff Kramer, Jeff Magee: Distributed Software Architectures (Tutorial). 633-634
• 
  W. Morven Gentleman: Effective Use of COTS (Commercial-off-the-Shelf) Software Components in Long Lived Systems (Tutorial). 635-636
• 
  Stuart R. Faulk, Constance L. Heitmeyer: Rigorous Requirements for Real-Time Systems: Evolution and Application of the SCR Method (Tutorial). 637-638
• 
  Volker Gruhn, Wilhelm Schäfer: Software and Business Process Technology (Tutorial). 639-640
• 
  Wolfgang Emmerich: An Introduction to OMG/CORBA (Tutorial). 641-642
• 
  Victor R. Basili, Frank E. McGarry: The Experience Factory: How to Build and Run One (Tutorial). 643-644
• 
  Watts S. Humphrey, James W. Over: The Personal Software Process (PSP): A Full-Day Tutorial. 645-646
• 
  Bashar Nuseibeh, Suzanne Robertson: Making Requirements Measurable (Tutorial). 647-648
• 
  Mark A. Ardis, David M. Weiss: Defining Families: The Commonality Analysis (Tutorial). 649-650
• 
  Shari Lawrence Pfleeger: Evaluating Software Technology (Tutorial). 651-652
• 
  Martin Fowler: A Survey of Object Oriented Analysis and Design Methods (Tutorial). 653-654
• 
  Linda M. Seiter, Karl J. Lieberherr, Doug Orleans: Simplifying the Evolution of Java Programs (Tutorial). 655-656
• 
  Dewayne E. Perry, Adam A. Porter, Lawrence G. Votta: A Primer on Empirical Studies (Tutorial). 657-658
• 
  Hausi A. Müller: Reverse Engineering Strategies for Software Migration (Tutorial). 659-660
• 
  Judith G. Brodman, Donna L. Johnson: A Software Process Improvement Approach Tailored for Small Organizations and Small Projects (Tutorial). 661-662
• 
  Wolfgang Pree, Hermann Sikora: Design Patterns for Object-Oriented Software Development (Tutorial). 663-664
• 
  Stefan Fischer, Stefan Leue: Formal Methods for Broadband and Multimedia Systems (Tutorial). 665-666
• 
  Amrit L. Goel, Miyoung Shin: Software Engineering Data Analysis Techniques (Tutorial). 667-668
• 
  Vaclav Rajlich: Comprehension and Evolution of Legacy Software (Tutorial). 669-670
• 
  Marilyn W. Bush: European and American Software Process Maturity Models and Assessments (Tutorial). 671-672

Workshop Summaries

• 
  Graeme Smith: The Second ISEW Cleanroom Workshop. 674
• 
  Rachel Harrison, Martin J. Shepperd, John W. Daly: Workshop Summary: Process Modelling and Empirical Studies of Software Evolution. 675
• 
  David Eichmann: Software Engineering (on) the World Wide Web (Workshop). 676
• 
  Laurie Honour Werth, John Werth: Fourth International Workshop on Software Engineering Education (IWSEE 4). 677
• 
  Gul Agha, Stefano Russo: Workshop on Software Engineering for Parallel and Distributed Systems. 678
• 
  Reidar Conradi: 7th International Workshop on Software Configuration Management (SCM7), Boston, 18-19 May 1997. 679
• 
  Michal Young: ICSE 97 Doctoral Consortium (Workshop Summary). 680-681

Joint Session: 1997 Symposium on Software Reuse (SSR)

• 
  Shirley Browne, James W. Moore: Reuse Library Interoperability and the World Wide Web. 684-691
• 
  Nenad Medvidovic, Peyman Oreizy, Richard N. Taylor: Reuse of Off-the-Shelf Components in C2-Style Architectures. 692-700
• 
  Anssi Karhinen, Alexander Ran, Tapio Tallgren: Configuring Designs for Reuse. 701-710

last updated on Thu May 23 03:27:19 2013 by the dblp team
data released under the ODC-BY 1.0 license
see also our legal information page