16. ICSE 1994: Sorrento, Italy
Bruno Fadini, Leon J. Osterweil, Axel van Lamsweerde (Eds.): Proceedings of the 16th International Conference on Software Engineering, Sorrento, Italy, May 16-21, 1994. IEEE Computer Society / ACM Press 1994 ISBN 0-8186-5855-X
Experiences with Formal Representations of Software
- Mark A. Ardis: Lessons from Using Basic LOTOS. 5-14
- John A. Keane, Walter Hussak: A Formal Approach to Determining Parallel Resource Bindings: Experience Report. 15-22
- Premkumar T. Devanbu, Mark A. Jones: The Use of Description Logics in KBSE Systems: Experience Report. 23-35
Understanding Complex Systems
- Anneliese von Mayrhauser, A. Marie Vans: Comprehension Processes During Large Scale Maintenance. 39-48
Software Architectures
- Rick Kazman, Leonard J. Bass, Mike Webb, Gregory D. Abowd: SAAM: A Method for Analyzing the Properties of Software Architectures. 81-90
- Ali Mili, Rym Mili, Roland Mittermeir: Storing and Retrieving Software Components: A Refinement Based System. 91-100
Measurement and Evaluation
- Adam A. Porter, Lawrence G. Votta: An Experiment to Assess Different Defect Detection Methods for Software Requirements Inspections. 103-112
- Philip M. Johnson: An Instrumented Approach to Improving Software Quality Through Formal Technical Review. 113-122
- Y. Takada, Ken-ichi Matsumoto, Koji Torii: A Programmer Performance Measure Based on Programmer State Transitions in Testing and Debugging Process. 123-132
Best Paper of ICSE-6
- Sol J. Greenspan, John Mylopoulos, Alexander Borgida: On Formal Requirements Modeling Languages: RML Revisited. 135-147
A. Nico Habermann
- David Garlan, J. Frits Habermann, David Notkin: Nico Habermann's Research: A Brief Retrospective. 149-153
Process Modelling
- Eric S. K. Yu, John Mylopoulos: Understanding "Why" in Software Process Modelling, Analysis, and Design. 159-168
- Keiichi Yasumoto, Teruo Higashino, Kenichi Taniguchi: Software Process Description Using LOTOS and Its Enaction. 169-178
- Israel Ben-Shaul, Gail E. Kaiser: A Paradigm for Decentralized Process Modeling and Its Realization in the Oz Environment. 179-188
Software Testing I
- Monica Hutchins, Herbert Foster, Tarak Goradia, Thomas J. Ostrand: Experiments of the Effectiveness of Dataflow- and Controlflow-Based Test Adequacy Criteria. 191-200
- Gregg Rothermel, Mary Jean Harrold: A Framework for Evaluating Regression Test Selection Techniques. 201-210
- Yih-Farn Chen, David S. Rosenblum, Kiem-Phong Vo: TestTube: A System for Selective Regression Testing. 211-220
State of the Art Report
- Marie-Claude Gaudel: Formal Specification Techniques (Extended Abstract). 223-227
Software Testing II
- G. Deshmukh, R. Deshpande, James F. Leathrum, K. A. Liburdy: The Role of Testing Methodologies in Open Systems Standards: A POSIX Experience Report. 233-240
- Premkumar T. Devanbu, David S. Rosenblum, Alexander L. Wolf: Automated Construction of Testing and Analysis Tools. 241-250
- Jeff Kramer: Distributed Software Engineering. 253-263
Panels
- Kevin D. Wentzel: Software Reuse - Facts and Myths. 267-268
- Victor R. Basili: Facts and Myths Affecting Software Reuse. 269
- Martin L. Griss: Software Reuse Experience at Hewlett-Packard. 270
- Will Tracz: Software Reuse Myths Revisited. 271-272
- Michael Wasmund: Reuse Facts and Myths. 273
Invited Talk
- David Lorge Parnas: Software Aging. 279-287
Real-Time and Distributed Systems
- H. Rebecca Callison: A Periodic Object Model for Real-Time Systems. 291-300
- Tullio Vardanega: Experience with the Development of Hard Real-Time Embedded Ada Software. 301-308
- Shing-Chi Cheung, Jeff Kramer: An Integrated Method for Effective Behaviour Analysis of Distributed Systems. 309-320
Process Analysis and Improvement
- Albert Johnson: Software Process Improvement Experience in the DP/MIS Function: Experience Report. 323-329
- Judith G. Brodman, Donna L. Johnson: What Small Business and Small Organizations Say About the CMM: Experience Report. 331-340
- Pankaj K. Garg, Peiwei Mi, Thuan Pham, Walt Scacchi, Gary Thunquest: The SMART Approach for Software Process Engineering. 341-350
Workshops
- Roger King: Workshop on the Intersection Between Databases and Software Engineering. 355
- Richard N. Taylor, Joëlle Coutaz: Workshop on Software Engineering and computer-Human Interaction: Joint Research Issues. 356-357
- Anthony Finkelstein: Software Engineering Education: A Place in the Sun? 358-359
- Barry W. Boehm: Software Architectures: Critical Success Factors and Cost Drivers. 365
- Jeff Kramer: Exoskeletal Software. 366
- Bill Curtis: A Process for Hitting Paydirt. 369
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-06-18T214307 by the dblp team