default search action
6th SIGSOFT FSE 1998: Lake Buena Vista, Florida, USA
- Leon J. Osterweil, William L. Scherlis:
Proceedings of the ACM SIGSOFT International Symposium on Foundations of Software Engineering, SIGSOFT 1998, Lake Buena Vista, Florida, USA, November 3-5, 1998. ACM 1998, ISBN 978-1-58113-108-6 - Mark Astley, Gul Agha:
Customizaton and Compositon of Distributed Objects: Middleware Abstractions for Policy Management. 1-9 - Jochen Seemann, Jürgen Wolff von Gudenberg:
Pattern-Based Design Recovery of Java Software. 10-16 - Perdita Stevens, Rob Pooley:
Systems Reengineering Patterns. 17-23 - Gleb Naumovich, George S. Avrunin:
A Conservative Data Flow Algorithm for Detecting All Pairs of Statement That May Happen in Parallel. 24-34 - Jonathan E. Cook, Alexander L. Wolf:
Event-Base Detection of Concurrency. 35-45 - Darren C. Atkinson, William G. Griswold
:
Effective Whole-Program Analysis in the Presence of Pointers. 46-55 - Ralph D. Jeffords, Constance L. Heitmeyer:
Automatic Generation of State Invariants from Requirements Specifications. 56-69 - Robert Allen, David Garlan:
Formal Modeling and Analysis of the HLA Component Integration Standard. 70-79 - Sylvia Stuurman, Jan van Katwijk:
On-Line Change Mechanisms. 80-86 - Michael S. Mahony:
Finding a History for Software Engineering. 87 - Shriram Krishnamurthi
Toward a Formal Theory of Extensible Software. 88-98 - Gregor Snelting, Frank Tip:
Reengineering Class Hierarchies Using Concept Analysis. 99-110 - Gou Masuda, Norihiro Sakamoto, Kazuo Ushijima:
Applying Design Patterns to Decision Tree Learning System. 111-120 - Daniel Jackson:
An Intermedicate Design Language and Its Analysis. 121-130 - Michael Karasick:
The Architecture of Montana: An Open and Extensible Programming Environment with an Incremental C++. 131-142 - Anne M. Disney, Philip M. Johnson:
Investigation Data Quality Problems in the PSP. 143-152 - Phyllis G. Frankl, Oleg Iakounenko:
Further Empirical Studies of Test Effectiveness. 153-162 - Jyrki Kontio, Gerhard Getto, Dieter Landes
Experiences in Improving Risk Management Processes Using the Concepts of the Riskit Method. 163-172 - Rajeev Alur, Mihalis Yannakakis:
Model Checking of Hierarchical State Machines. 175-188 - Matthew B. Dwyer
Filter-Based Model Checking of Partial Systems. 189-202 - Martin L. Griss
Software Engineering as a Profession: Industry and Academia Working Together. 203-208 - David Garlan, Somesh Jha, David Notkin:
Reasoning about Implicit Invocation. 209-221 - Philip W. L. Fong, Robert D. Cameron:
Proof Linking: An Architecture for Modular Verification of Dynamically-Linked Mobile Code. 222-230 - Neelam Gupta, Aditya P. Mathur, Mary Lou Soffa:
Automated Test Data Generation Using an Iterative Relaxation Method. 231-244
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-12-27 21:14 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: