![](https://dblp.dagstuhl.de/img/logo.ua.320x120.png)
![](https://dblp.dagstuhl.de/img/dropdown.dark.16x16.png)
![](https://dblp.dagstuhl.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
![search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
default search action
6th ESEC / 5th SIGSOFT FSE 1997: Zurich, Switzerland
[= ACM SIGSOFT Software Engineering Notes 22(6), November 1997]
Invited Papers
- David Lorge Parnas:
Software Engineering: An Unconsummated Marriage (Extended Abstract). 1-3 - John M. Rushby:
Subtypes for Specifications. 4-19 - Barry W. Boehm, Alexander Egyed, Julie Kwan, Raymond J. Madachy:
Developing Multimedia Applications with the WinWin Spiral Model. 20-39
Software Engineering Education (Invited Presentations)
- T. S. E. Maibaum:
What We Teach Software Engineers in the University: Do We Take Engineering Seriously? 40-50 - Jürgen Uhl:
What we Expect from Software Engineers in the Industry (Abstract). 51
State-of-the-Art Report (Invited Presentation)
- Richard A. Kemmerer:
Security Issues in Distributed Software. 52-59
Software Architecture
- Nenad Medvidovic, Richard N. Taylor:
A Framework for Classifying and Comparing Architecture Description Languages. 60-76 - Gleb Naumovich, George S. Avrunin, Lori A. Clarke, Leon J. Osterweil:
Applying Static Analysis to Software Architectures. 77-93 - Theo Dirk Meijler, Serge Demeyer, Robert Engel:
Making Design Patterns Explicit in FACE: A Frame Work Adaptive Composition Environment. 94-110
Processes
- Graham Allen, Leighton Davies, Göran Lindmark, Even-André Karlsson:
TTM15 - A Large Multi-Site Improvement Project. 111-124 - Gregor Joeris:
Change Management Needs Integrated Process and Configuration Management. 125-141 - Stanley M. Sutton Jr., Leon J. Osterweil:
The Design of a Next-Generation Process Language. 142-158
Configuration and Process Tools
- André van der Hoek, Richard S. Hall, Dennis Heimbigner, Alexander L. Wolf:
Software Release Management. 159-175 - Klaus Pohl, Klaus Weidenhaupt:
A Contextual Approach for Process-Integrated Tools. 176-192 - Jens H. Jahnke, Wilhelm Schäfer, Albert Zündorf:
Generic Fuzzy Reasoning Nets as a Basis for Reverse Engineering Relational Database Applications. 193-210
Formal Analysis
- Andrea Alborghetti, Angelo Gargantini
, Angelo Morzenti:
Providing Automated Support to Deductive Analysis of Time Critical Systems. 211-226 - Shing-Chi Cheung, Dimitra Giannakopoulou, Jeff Kramer:
Verification of Liveness Properties Using Compositional Reachability Analysis. 227-243 - Matthew B. Dwyer
, Vicki Carr, Laura Hines:
Model Checking Graphical User Interfaces Using Abstractions. 244-261
Empirical Studies
- Murray Wood, Marc Roper, Andrew Brooks, James Miller:
Comparing and Combining Software Defect Detection Techniques: A Replicated Empirical Study. 262-277 - Christof Ebert:
Experiences with Criticality Predictions in Software Development. 278-293 - Lesley Pek Wee Land, Chris Sauer, D. Ross Jeffery:
Validating the Defect Detection Performance Advantage of Group Designs for Software Reviews: Report of a Laboratory Experiment Using Program Code. 294-309
System Modeling
- Jules Desharnais, Marc Frappier, Ridha Khédri, Ali Mili:
Integration of Sequential Scenarios. 310-326 - Gregor Engels, Reiko Heckel, Gabriele Taentzer, Hartmut Ehrig:
A View-Oriented Approach to System Modelling Based on Graph Transformation. 327-343 - David S. Rosenblum, Alexander L. Wolf:
A Design Framework for Internet-Scale Event Observation and Notification. 344-360
Testing
- Rastislav Bodík, Rajiv Gupta
, Mary Lou Soffa:
Refining Data Flow Information Using Infeasible Paths. 361-377 - István Forgács, Antonia Bertolino:
Feasible Test Path Selection by Principal Slicing. 378-394 - Premkumar T. Devanbu, Stuart G. Stubblebine:
Cryptographic Verification of Test Coverage Claims. 395-413
Program Analysis
- Yih-Farn Chen, Emden R. Gansner, Eleftherios Koutsofios:
A C++ Data Model Supporting Reachability Analysis and Dead Code Detection. 414-431 - Thomas W. Reps, Thomas Ball, Manuvir Das, James R. Larus:
The Use of Program Profiling for Software Maintenance with Applications to the Year 2000 Problem. 432-449 - Mats Per Erik Heimdahl, Michael W. Whalen:
Reduction and Slicing of Hierarchical State Machines. 450-467
Decomposition and Distribution
- Martin Schütze, Jan Peter Riegel, Gerhard Zimmermann:
A Pattern-Based Application Generator for Building Simulation. 468-482 - Stéphane Ducasse, Tamar Richner:
Executable Connectors: Towards Reusable Design Elements. 483-499 - Gian Pietro Picco, Gruia-Catalin Roman, Peter J. McCann:
Expressing Code Mobility in Mobile UNITY. 500-518
Industrial Reports on Projects
- Even-André Karlsson, Lars Taxén:
Incremental Development for AXE 10. 519-520 - Dewayne E. Perry, Lawrence G. Votta:
The Tale of Two Projects - Abstract. 521-522 - J. Henk Obbink:
Analysis of Software Architectures in High and Low Volume Electronic Systems, Industrial Experience Report. 523-524 - Ali Idri, B. Griech, A. El Iraki:
Towards an Adaptation of the COCOMO Cost Model to the Software Measurement Theory. 525-526 - Petre Dini, Amina Belkhelladi, Walcélio L. Melo:
Formalizing Software Architectures: An Industrial Experience. 527-529
Panel Session
- Mehdi Jazayeri:
Software Engineering - Old Problems, New Problems, and Unsolved Problems (Panel). 530
![](https://dblp.dagstuhl.de/img/cog.dark.24x24.png)
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.