An approach to specifying software frameworks

Authors:
Leesa Murray;David Carrington;Paul Strooper
Affiliations:
The University of Queensland, Qld, Australia;The University of Queensland, Qld, Australia;The University of Queensland, Qld, Australia
Venue:
ACSC '04 Proceedings of the 27th Australasian conference on Computer science - Volume 26
Year:
2004

Citing 9
Cited 1

ClassBench: a framework for automated class testing

Software—Practice & Experience
Object-oriented application frameworks

Communications of the ACM
Framework development for large systems

Communications of the ACM
Objects, components, and frameworks with UML: the catalysis approach

Objects, components, and frameworks with UML: the catalysis approach
Building application frameworks: object-oriented foundations of framework design

Building application frameworks: object-oriented foundations of framework design
The grand challenge of Trusted Components

Proceedings of the 25th International Conference on Software Engineering
Patterns, frameworks, and middleware: their synergistic relationships

Proceedings of the 25th International Conference on Software Engineering
OptoNet - A Case Study in Using Rigorous Analysis Techniques to Justify a Revised Product Assurance Strategy

ICECCS '02 Proceedings of the Eighth International Conference on Engineering of Complex Computer Systems
Software frameworks and embedded control systems

Software frameworks and embedded control systems

A web compliance engineering framework to support the development of accessible rich internet applications

W4A '08 Proceedings of the 2008 international cross-disciplinary conference on Web accessibility (W4A)

Quantified Score

Hi-index	0.00

Visualization

Abstract

A framework is a reusable design that requires software components to function. To instantiate a framework, a software engineer must provide the software components required by the framework. To do this effectively, the framework-component interfaces must be specified so the software engineer knows what assumptions the framework makes about the components, and so the components can be verified against these assumptions. This paper presents an approach to specifying software frameworks. The approach involves the specification of the framework's syntax, semantics, and the interfaces between the framework and its components. The approach is demonstrated with a simple case study.