default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID16th ICSE 1994: Sorrento, Italy
- Bruno Fadini, Leon J. Osterweil, Axel van Lamsweerde:
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 - Maren Krone, Gregor Snelting:
On the Inference of Configuration Structures from Source Code. 49-57 - Marla J. Baker, Stephen G. Eick:
Visualizing Software Systems. 59-67
Software Architectures
- Robert Allen, David Garlan:
Formalizing Architectural Connection. 71-80 - 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 T. 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
- Stephen Fickas, Peter G. Selfridge:
Software Engineering and Artificial Intelligence. 353-354 - 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 - David Garlan, Dewayne E. Perry:
Software Architecture: Practice, Potential, and Pitfalls. 363-364 - 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
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 2025-02-21 19:42 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:
