Formal specification of COTS-based software: a case study

Authors:
Edward A. Addy;Murali Sitaraman
Affiliations:
NASA/WVU Software Research Lab., 100 University Drive, Fairmont, WV;Computer Science and Electrical Engineering, West Virginia University. Morgantown, WV
Venue:
SSR '99 Proceedings of the 1999 symposium on Software reusability
Year:
1999

Citing 13
Cited 3

A Specifier's Introduction to Formal Methods

Computer
Modular verification of Ada generics

Computer Languages
Part IV: RESOLVE components in Ada and C++

ACM SIGSOFT Software Engineering Notes
Component-based software using RESOLVE

ACM SIGSOFT Software Engineering Notes
1997 workshop on foundations of component-based systems

ACM SIGSOFT Software Engineering Notes
Subtypes for Specifications: Predicate Subtyping in PVS

IEEE Transactions on Software Engineering
Applying "Design by Contract"

Computer
The Challenges of Using COTS Software in Component-Based Development

Computer
Certifying Off-the-Shelf Software Components

Computer
Modular Specification and Verification of Object-Oriented Programs

IEEE Software
Recasting Algorithms to Encourage Reuse

IEEE Software
Testing Component-Based Software: A Cautionary Tale

IEEE Software
Formalizing and Automating Component Reuse

ICTAI '97 Proceedings of the 9th International Conference on Tools with Artificial Intelligence

Toward an Engineering Discipline of Software Reuse

IEEE Software
A survey of component based system quality assurance and assessment

Information and Software Technology
An empirical study on the specification and selection of components using fuzzy logic

CBSE'05 Proceedings of the 8th international conference on Component-Based Software Engineering

Quantified Score

Hi-index	0.00

Visualization

Abstract