By Ruth Breu

The major objective of this monograph is to supply a framework for the built-in layout of object-oriented courses with algebraic specification options. The layout strategy pursued is based essentially at the structuring of structures in accordance with the suggestion of knowledge varieties. counting on the extent of abstraction, facts kinds are defined in an object-oriented manner via algebraic necessities or through machine-executable object-oriented courses. The therapy consists of major elements. First, object-oriented courses need to be comparable via a concept of correctness that types the transition from necessities to software implementations. the writer offers a suggestion of correctness which depends on the belief of abstraction features. moment, so as to receive an built-in layout surroundings, a uniform structuring inspiration for item orientated courses and algebraic necessities needs to be supplied. Inheritance, subtyping and clientship are 3 relevant notions of object-oriented structuring. Theauthor makes use of them to strengthen 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. a massive instruction is the improvement of a layout technique aiding the dependent layout and reuse of software program during this environment.

Show description

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

Best compilers books

Abstraktion - Einfuhrung in die Programmierung

"Die Macht der Abstraktion" ist eine Einführung in die Entwicklung von Programmen und die dazugehörigen formalen Grundlagen. Im Zentrum stehen Konstruktionsanleitungen, die die systematische Konstruktion von Programmen fördern, sowie Techniken zur Abstraktion, welche die Umsetzung der Konstruktionsanleitungen ermöglichen.

Formal Methods: Applications and Technology: 11th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2006, and 5th International ... Programming and Software Engineering)

This publication constitutes the completely refereed joint post-proceedings of the 2 foreign Workshops on Formal tools for business serious platforms, FMICS 2006, and on Parallel and disbursed equipment in Verification, PDMC 2006, held in Bonn, Germany in August 2006 throughout the seventeenth foreign convention on Concurrency conception, CONCUR 2006 (see additionally LNCS quantity 4137).

Trends in Functional Programming: 15th International Symposium, TFP 2014, Soesterberg, The Netherlands, May 26-28, 2014. Revised Selected Papers

This ebook constitutes the completely refereed revised chosen papers of the fifteenth foreign Symposium on traits in sensible Programming, TFP 2014, held in Soesterberg, The Netherlands, in might 2014. The eight revised complete papers incorporated during this quantity have been rigorously and chosen from 22 submissions.

Computer Safety, Reliability, and Security: 34th International Conference, SAFECOMP 2015 Delft, The Netherlands, September 23–25, 2015. Proceedings

This booklet constitutes the refereed complaints of the thirty fourth foreign convention on computing device protection, Reliability, and safety, SAFECOMP 2015, held in Delft, The Netherlands, in September 2014. The 32 revised complete papers provided including three invited talks have been rigorously reviewed and chosen from 104 submissions.

Extra resources for Algebraic Specification Techniques in Object Oriented Programming Environments

Sample text

Print(„Nummer: “+i+ „\n“); i++;} eX Übung 6) Schreiben Sie eine einzige if-Anweisung, die zwei Integervariablen auf ihre Größe hin überprüft und anschließend den Wert der kleineren in die größere kopiert. pp L Übung 7) Schreiben Sie die Funktion istPrim, die als Eingabe einen Integerwert n erhält und mit einem boolean zurückgibt, ob n eine Primzahl ist oder nicht. Eine Primzahl n ist eine Zahl, die nur durch 1 und sich selber ganzzahlig ohne Rest teilbar ist. Die ersten Primzahlen sind: 2, 3, 5, 7, 11, 13, ...

Println println println println println (); ( " ******************************************* " ) ; ( " *** Wert der Variable ist "+a ) ; ( " ******************************************* " ) ; (); . . . println println println println println (); ( " ******************************************* " ) ; ( " *** Wert der Variable ist "+a ) ; ( " ******************************************* " ) ; (); 19 a +=1000; 20 21 23 24 25 26 } 27 28 } out out out out out pp L System . System . System . System .

O u t . p r i n t l n ( " ... jetzt sind wir hier bei k" ) ; i f ( k ==1) break S p r u n g Z u J ; } } } System . o u t . p r i n t l n ( " hier sind wir ... " ) ; pp L Nun muss der Computer ein wenig mehr arbeiten: bei bei bei bei bei bei bei bei bei bei bei bei i j k k i j k k i j k k sU C : \ Java > j a v a Spruenge . . j e t z t sind wir h i e r . . j e t z t sind wir h i e r . . j e t z t sind wir h i e r . . j e t z t sind wir h i e r . . j e t z t sind wir h i e r . . j e t z t sind wir h i e r .

Download PDF sample

Rated 4.06 of 5 – based on 44 votes