Sciweavers

468 search results - page 21 / 94
» Specification of Behaviour in Component Frameworks
Sort
View
AMAST
2004
Springer
14 years 5 days ago
A Language for Configuring Multi-level Specifications
Abstract. This paper shows how systems can be built from their component parts with specified sharing. Its principle contribution is a modular language for configuring systems. A c...
Gillian Hill, Steven Vickers
IWAN
1999
Springer
14 years 21 days ago
Policy Specification for Programmable Networks
There is a need to be able to program network components to adapt to application requirements for quality of service, specialised application dependent routing, to increase effici...
Morris Sloman, Emil Lupu
TOOLS
1999
IEEE
14 years 21 days ago
A "Framework" for Object Oriented Frameworks Design
Object-oriented frameworks are an established tool for domain-specific reuse. Many framework design patterns and development processes have been documented, typically reverse engin...
David Parsons, Awais Rashid, Andreas Speck, Alexan...
IWFM
1998
113views Formal Methods» more  IWFM 1998»
13 years 9 months ago
A Use Case Interpretation of B AMN
In this paper we suggest methods to aid the development of specifications using the B method. We propose an objectoriented approach to specification, developing the structure thro...
Richard Shore
ACSC
2004
IEEE
14 years 5 days ago
An Approach to Specifying Software Frameworks
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 th...
Leesa Murray, David A. Carrington, Paul A. Stroope...