Algebraic Specification Techniques in Object Oriented by Ruth Breu

By Ruth Breu

The major goal of this monograph is to supply a framework for the built-in layout of object-oriented courses with algebraic specification ideas. The layout strategy pursued is predicated essentially at the structuring of structures according to the suggestion of knowledge varieties. looking on the extent of abstraction, information varieties are defined in an object-oriented manner by way of algebraic requisites or through machine-executable object-oriented courses. The remedy contains major facets. First, object-oriented courses must be similar via a thought of correctness that versions the transition from requirements to application implementations. the writer provides a idea of correctness which is dependent upon the assumption of abstraction services. moment, to be able to receive an built-in layout setting, a uniform structuring inspiration for item orientated courses and algebraic requirements should be supplied. Inheritance, subtyping and clientship are 3 valuable notions of object-oriented structuring. Theauthor makes use of them to enhance the kernel of a typed item- orientated programming language. The monograph presents the formal origin for a unified framework of algebraic requisites and object-oriented courses. an enormous instruction is the advance of a layout technique aiding the established layout and reuse of software program during this environment.

Show description

Read or Download Algebraic Specification Techniques in Object Oriented Programming Environments PDF

Best languages & tools books

Fundamentals of computer science using Java

Makes use of an object-based method of the advent of laptop technology utilizing Java.

A Programming Language

Iverson okay. E. A Programming Language. (Wiley, 1962)(ISBN 0471430145)

Network Performance Analysis: Using the J Programming Language

The aim of community functionality research is to enquire how traffic-management mechanisms deployed within the community have an effect on the allocation of assets among its clients and the functionality they adventure. This subject should be studied via the development of versions of site visitors administration mechanisms and watching how they practice by way of using them to a couple circulate of community site visitors.

Software Engineering in Modula-2: An Object-Oriented Approach

This ebook introduces Modula-2 via an object-oriented programming technique which has been built during the last 5 years at the BSc and MSc machine technological know-how classes at Hatfield. bankruptcy 1 introduces the most positive aspects of Modula-2 via an instance application, while bankruptcy 2 introduces the options required for object-oriented application layout.

Additional info for Algebraic Specification Techniques in Object Oriented Programming Environments

Example text

NB. NB. NB. NB. integer negative integer real rational complex number infinity negative infinity exponential notation 5 * exp(2) Note that negative numbers are denoted by an underscore (_) preceding the value rather than by a hyphen (-). An underscore on its own denotes infinity ∞, and two underscores denotes negative infinity −∞. Variables are not limited to numerical values: c =: ’hello world’ Variables can be evaluated by entering the variable name at the command prompt: 20 2 Fundamentals of the J Programming Language c hello world Scalars are called atoms in J or 0-cells, and vectors are called lists or 1-cells.

Wrapper functions are discussed in the next subsection where we deal with explicit programming. 2 Explicit Programming The verb composition methods covered so far in this book are refered to as tacit programming. With tacit programming, there is no explicit reference to arguments. J does, however, allow explicit programming methods where arguments are explicitly referenced. The verb definition below implements an explicit addition function: add =: 4 : ’x. 4 Scripts 49 The literal argument 4 specifies that the verb definition is dyadic (3 specifies monadic).

6 0 2 6 12 20 30 Just to verify that we are indeed in the myloc locale. 6 NB. 6 0 5 10 15 20 25 In addition to the base locale, there is the z locale, which is appended to the search path of the current locale. When a verb is referenced without an explicit locale qualification, J searches for it in the current locale (either the base locale of the locale specified by the cocurrent directive). If it is not found, then the z locale is searched. Typically the z locale is used to hold standard utilities.

Download PDF sample

Rated 4.35 of 5 – based on 46 votes