Truth vs Knowledge: The difference between what a component does and what we know it does

Proceedings of the 8th International Workshop on Software Specification and Design, IWSSD 1996

Volumn , Issue , 1996, Pages 181-185

  Shaw, Mary ^a  

^a Carnegie Mellon University   (United States)

Author keywords

credentials; extra functional properties; incremental specification; software analysis; software architecture; specification

Indexed keywords

COMPUTER ARCHITECTURE; SOFTWARE ARCHITECTURE;

ARCHITECTURE DESCRIPTION LANGUAGES; CREDENTIALS; EXTRA-FUNCTIONAL PROPERTIES; SOFTWARE ANALYSIS; SOFTWARE COMPONENT; STRUCTURED SPECIFICATION; SYSTEM BUILDING; SYSTEM-LEVEL SPECIFICATIONS;

SPECIFICATIONS;

EID: 84996765933     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/iwssd.1996.501165     Document Type: Conference Paper

References (15)

1. Mario R. Barbacci and Jeannette M. Wing. A language for distributed applications. Proc 1990 Int'l Conf on Computer Languages, pp. 59-68.
2. W. Bennett. The promise of reuse. Object Magazine, vol 4, no 8, January 1995, pp. 32-40.
3. Paul Clements, Len Bass, Rick Kazman, and Gregory Abowd. Predicting software Quality by architecture-level evaluation. In Proc Fifth International Conf on Software Quality, October 1995
4. DeLorme Mapping Company. WWW page describing MapExpert product. URL: http://www.delorme.com/catalog/mex.htm, 1995.
5. David Garlan, Robert Allen, and John Ockerbloom. Architectural Mismatch, or Why it's hard to build systems out existing parts. Proc 27th international Conf on Software Engineering KSE-17), April 1995.
6. David Garlan. Report of ICSE-17 Software 14rchitecture Workshop, to appear ACM SIGSOFT Software Engineering Notes, 1995.
7. Daniel Jackson. Structuring Z Specifications with Views. Carnegie Mellon University Technical Report CMU-CS-94-126.
8. John Mylopoulos, Lawrence Chung, and Hrian Nixon. "Representing and Using Nonfunctional Requirements: A Process-Qriented Approach. IEEE Transactions on Software Engineering, ~0118, no 6, June 1992.
9. Dewayne E. Perry. System Compositions and Shared Dependencies. Unpublished manuscript, January 1995.
10. Dewayne E. Perry and Alexander L. Wolf, Foundations for the study of software architecture. ACM SIGSOFT Software Engineering IVotes, ~0117, no 4, pp. 40-52, October 1992.
11. Mary Shaw. When Is 'Good' Enough?: Evaluating and Selecting Software Metrics. In Software Metrics: An Analysis and Evaluation, A. Perlis, F. Sayward, and M. Shaw (eds), MIT Press, 1981, pp. 251-262.
12. Mary Shaw. What Can We Specify? Questions in the domains of software specifications. In Proc Third International Workshop on Software Specification and Design, pp. 214-215, August 1985.
13. Mary Shaw and David Garlan. Software '4rchitecture: Perspectives on an Emerging Discipline. Prentice Hall, 1996.
14. Mary Shaw, Robert DeLine, Daniel V. Klein, Theodore L. Ross, David M. Young, Gregory Zelesnik. Abstractions for Software ,Architecture and Tools to Support Them. IEEE Tr on Software Engineering, May 1995.
15. A.M. Zaremski and J.M. Wing, "Specification Matching of Software Components." Proc. of SIGSOFT Foundations of Software IEngineering, October 1995.