default search action

• combined dblp search
• author search
• venue search
• publication search

Authors:

• no matches

• 

Venues:

• no matches

• 

Publications:

• no matches

• 

ask others

• Google
• Google Scholar
• Semantic Scholar
• Internet Archive Scholar
• CiteSeerX
• ORCID

Refine list

refinements active!

zoomed in on ?? of ?? records

dismiss all constraints

view refined list in

dblp search

export refined list as

XML

JSON

JSONP

BibTeX

showing all ?? records

[= ACM SIGSOFT Software Engineering Notes 22(6), November 1997]

• 
  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

• 
  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

• 
  Richard A. Kemmerer:
  Security Issues in Distributed Software. 52-59

• 
  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

• 
  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

• 
  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

• 
  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

• 
  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

• 
  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

• 
  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

• 
  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

• 
  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

• 
  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

• 
  Mehdi Jazayeri:
  Software Engineering - Old Problems, New Problems, and Unsolved Problems (Panel). 530

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.

Unpaywalled article links

Add open access links from to the list of external document links (if available).

load links from unpaywall.org

Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.

Archived links via Wayback Machine

For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).

load content from archive.org

Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.

Reference lists

Add a list of references from , , and to record detail pages.

load references from crossref.org and opencitations.net

Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.

Citation data

Add a list of citing articles from and to record detail pages.

load citations from opencitations.net

Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.

OpenAlex data

Load additional information about publications from .

load data from openalex.org

Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.

last updated on 2024-12-01 00:00 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: