Specification in Fresco
نویسنده
چکیده
Fresco [Wills91] is a programming environment which provides for the rigorous development of object-oriented software from specifications. Specifications are incorporated into the software in the form of abstract classes; and the specification elements of the language can also be used in concrete classes to document the implementations and their development in a style similar to that of [Morgan 90]. It is interesting to contrast Fresco with object-oriented styles of specification: firstly because it is based on VDM [Jones 86], rather than Z; and secondly because of its emphasis on specifying program modules, rather than modularizing specifications.
منابع مشابه
Refinement in Fresco ∗
Fresco is an interactive environment for building specified and proven re-usable program components in an object-oriented language. (Or rather, it is a projected one, since only small pieces of a prototype yet exist. The use of the present tense is grammatically simpler, but should not be understood to imply that any more than a design currently exists.) The benefits of re-usability promised by...
متن کاملObject Caching in a CORBA Compliant System
Distributed object systems provide the key to building large scale applications that can execute on a range of platforms. The Common Object Request Broker Architecture (CORBA) specification from OMG attempts to address interoperability and heterogeneity issues that arise in such systems. Our goal is to investigate performance issues for distributed object systems. We claim that object caching i...
متن کاملFRESCO+: an improved O2 A-band cloud retrieval algorithm for tropospheric trace gas retrievals
The FRESCO (Fast Retrieval Scheme for Clouds from the Oxygen A-band) algorithm has been used to retrieve cloud information from measurements of the O2 Aband around 760 nm by GOME, SCIAMACHY and GOME2. The cloud parameters retrieved by FRESCO are the effective cloud fraction and cloud pressure, which are used for cloud correction in the retrieval of trace gases like O3 and NO2. To improve the cl...
متن کاملProgram verification in Smalltalk
Fresco is a Smalltalk-based interactive environment supporting the specification and proven development of re-usable software components. These ‘capsules’ are deltas to the inheritance hierarchy, and form a more useful unit of designer-effort than class subhierarchies. Systems are built by composing capsules, which carry both specifications and code. The semantics of capsule composition is eluc...
متن کاملThe FRESCO Framework: An Overview
The dynamic composition of existing services into new services is at the core of service-oriented computing. The objective of FRESCO (Foundational Research on Service Composition) is to develop a framework that service providers can use in order to model, develop, and execute composite services. The FRESCO framework will include conceptual tools, such as models for service composition and aggre...
متن کامل