default search action
19th ICSE 1997: Boston, Massachusetts, USA
- W. Richards Adrion, Alfonso Fuggetta, Richard N. Taylor, Anthony I. Wasserman:
Pulling Together, Proceedings of the 19th International Conference on Software Engineering, Boston, Massachusetts, USA, May 17-23, 1997. ACM 1997, ISBN 0-89791-914-9
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
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 V. 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 - Jean-Pierre 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è
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
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
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 D. 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 C. 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 S. 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 - Václav 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
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
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-11-21 20:18 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: