Bruce W. Weide, Joseph E. Hollingsworth  Home/Search
Context Related
| ohiostate.edu/pub/techre...TR04.ps.gz Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: ohiostate.edu/~jiy...bibcertify (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Large software systems, like other large engineered systems, consist of components that are meant to be independent except at their interfaces. An important aspect of any large system is the need for local certifiability: to be able to establish properties of components out of the context of the larger system(s) in which they are embedded, and to be sure that any properties thus certified are certain to hold even when the components are composed with others to build larger ones. This is... (Update)
Context of citations to this paper: More
...gains in storage management are all encapsulated here. 3) This approach supports modular (i.e. component wise) reasoning [18, 21, 24] about system behavior, since all pointers are hidden under the hood and there is no aliasing in any of the software we wrote except...
Cited by: More
Experience Report: Using RESOLVE/C++ for Commercial.. - Hollingsworth.. (2000) (Correct)
Active bibliography (related documents): More All
1.1: Reverse Engineering of Legacy Code is Intractable - Weide, Heym, Hollingsworth (1994) (Correct)
0.6: Reusing Proofs for Recombining Reusable Program Plans - Liver, Allemang (1994) (Correct)
0.5: Teaching Design by Teaching Reusability - Biddle, al. (Correct)
Similar documents based on text: More All
0.5: Proceedings of the RESOLVE Workshop 2002, Columbus, OH.. - Edwards (ed.) (2002) (Correct)
0.4: IEEE Trans. on Software Eng. 20, - Ng Aug (Correct)
0.4: Common Knowledge and Accounting - Sunder (1999) (Correct)
BibTeX entry: (Update)
Weide, B., and Hollingsworth, J. On Local Certifiability of Software Components, OSU-CISRC-1/94-TR04, Dept. of Computer and Information Science, Ohio State Univ., Columbus, OH, January, 1994. http://citeseer.ist.psu.edu/weide94local.html More
@misc{ weide94local,
author = "B. Weide and J. Hollingsworth",
title = "On Local Certifiability of Software Components",
text = "Weide, B., and Hollingsworth, J. On Local Certifiability of Software Components,
OSU-CISRC-1/94-TR04, Dept. of Computer and Information Science, Ohio State
Univ., Columbus, OH, January, 1994.",
year = "1994",
url = "citeseer.ist.psu.edu/weide94local.html" }
Citations (may not include all citations):1274 Object-oriented Software Construction (context) - Meyer - 1988
195 The design and implementation of hierarchical software syste.. - Batory, O'Malley - 1992
160 Abstraction and Specification in Program Development (context) - Liskov, Guttag - 1986
99 design by contract (context) - Meyer - 1992
63 Reasoning about object-oriented programs that use subtypes (context) - Leavens, Weihl - 1990
55 Software Components with Ada (context) - Booch - 1987
51 Soundness and completeness of an axiom system for program ve.. (context) - Cook - 1978
47 Maintaining object-oriented software (context) - Wilde, Matthews et al. - 1993
34 Reusable software components (context) - Weide, Ogden et al. - 1991
26 Copying and swapping: influences on the design of reusable s.. (context) - Harms, Weide - 1991
14 Software aspects of strategic defense systems (context) - Parnas - 1985
14 The Ada Generic Library: Linear List Processing Packages (context) - Musser, Stepanov - 1989
10 Getting class correctness and system correctness equivalent:.. - Weber - 1992
9 Scalability of reuse technology to large systems requires lo.. (context) - Weide, Hollingsworth - 1992
7 Modular verification of Ada generics (context) - Ernst, Hookway et al. - 1991
7 Performance-parameterized reusable software components (context) - Sitaraman - 1992
7 Formal verification of Ada programs (context) - Guaspari, Marceau et al. - 1990
7 Scaling up: a research agenda for software engineering (context) - Science, Board - 1990
3 Common interface models for reusable software (context) - Edwards - 1993
3 Are dependable systems feasible (context) - Neumann - 1993
3 Procedure calls and local certifiability of component correc.. (context) - Weide, Heym et al. - 1993
2 The Role of Verification in Software Reusability (context) - Krone - 1988
2 model of reusable software components (context) - Edwards, The - 1990
1 Merging CS and CE disciplines is not a good idea (context) - McCarthy - 1993
1 unbounded' reusable Ada generics (context) - Hollingsworth, Weide - 1992
1 th Minnowbrook Workshop on Software Eng (context) - Hollingsworth, Weide et al. - 1991
1 Software discipline and the war (context) - Bernstein - 1992
1 Issues in the certification of reusable parts (context) - Knight - 1991
1 Workshop: Methods and Tools for Reuse (context) - Tracz - 1990
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC