Algebraic Specification Techniques in Object Oriented Programming Environments


Book Description

The main aim of this monograph is to provide a framework for the integrated design of object-oriented programs with algebraic specification techniques. The design method pursued relies fundamentally on the structuring of systems based on the notion of data types. Depending on the level of abstraction, data types are described in an object-oriented way by algebraic specifications or by machine-executable object-oriented programs. The treatment involves two main aspects. First, object-oriented programs have to be related by a notion of correctness that models the transition from specifications to program implementations. The author presents a notion of correctness which relies on the idea of abstraction functions. Second, in order to obtain an integrated design environment, a uniform structuring concept for object oriented programs and algebraic specifications has to be provided. Inheritance, subtyping and clientship are three central notions of object-oriented structuring. Theauthor uses them to develop the kernel of a typed object- oriented programming language. The monograph provides the formal foundation for a unified framework of algebraic specifications and object-oriented programs. A major guideline is the development of a design method supporting the structured design and reuse of software in this environment.







Algebraic Methodology and Software Technology (AMAST’93)


Book Description

The goal of the AMAST conferences is to foster algebraic methodology as a foundation for software technology, and to show that this can lead to practical mathematical alternatives to the ad-hoc approaches commonly used in software engineering and development. The first two AMAST conferences, held in May 1989 and May 1991 at the University of Iowa, were well received and encouraged the regular organization of further AMAST conferences on a biennial schedule. The third Conference on Algebraic Methodology and Software Technology was held in the campus of the University of Twente, The Netherlands, during the first week of Summer 1993. Nearly a hundred people from all continents attended the conference. The largest interest received by the AMAST conference among the professionals extended to include the administration organizations as well. AMAST'93 was opened by the Rector of the University of Twente, followed by the Local Chairman. Their opening addresses open this proceedings, too. The proceedings contains 8 invited papers and 32 selected communica tions. The selection was very strict, for 121 submissions were received.




Algebraic Methodology and Software Technology


Book Description

Content Description #Includes bibliographical references and index.




ECOOP '94 - Object-Oriented Programming


Book Description

This volume contains the proceedings of the 8th European Conference on Object-Oriented Programming (ECCOP '94), held in Bologna, Italy in July 1994. ECOOP is the premier European event on object-oriented programming and technology. The 25 full refereed papers presented in the volume were selected from 161 submissions; they are grouped in sessions on class design, concurrency, patterns, declarative programming, implementation, specification, dispatching, and experience. Together with the keynote speech "Beyond Objects" by Luc Steels (Brussels) and the invited paper "Putting Objects to Work" by Norbert A. Streitz (GMD-IPSI, Darmstadt) they offer an exciting perspective on object-oriented programming research and applications.




A Design Pattern Oriented Programming Environment


Book Description

Inhaltsangabe:Einleitung: Diese Diplomarbeit ist zusammen mit der Diplomarbeit Entwicklung einer patternorientierten Programmiersprache und eines dazugehörigen Compilers von S. Bünnig (Best.Nr. 29011914) die Grundlage für die Studienarbeit Patternorientierte Programmierung am Anwendungsbeispiel von N. Seemann und S. Bünnig (Best.Nr. 29011913). Ein Entwurfsmuster beschreibt ein in unserer Umwelt beständig wiederkehrendes Problem und erläutert den Kern der Lösung für dieses Problem, so dass diese Lösung beliebig oft anwendbar ist, ohne dass man sie jemals ein zweites Mal gleich ausführen muss. Das Ziel dieser Arbeit besteht nun darin, diesen abstrakten Grundgedanken auf dem Gebiet der Softwareentwicklung formal in einem Programmiermodell zu fassen, das Entwurfsmuster und damit verbundene Konzepte direkt unterstützt und als Erweiterung des objektorientierten Programmiermodells verstanden werden kann. Im Anschluss daran wird ein Sprachentwurf für eine sogenannte patternorientierte Programmiersprache vorgestellt, die es ermöglichen soll, Entwurfsmuster zu implementieren und wiederzuverwenden. Abstract: The development of large scale software systems in a systematic way is still a challenging task in software engineering. The use of structural, modular and object oriented programming techniques and environments have proven to be powerful and reliable for the creation of correct, reusable and maintainable software. Specifically, the object oriented programming model has improved the quality of software by providing structures for better support of abstraction, encapsulation and reusability. In recent years, these properties have become more important since hardware and software systems have grown bigger and more complex. Also, customers have made higher requirements an the quality of software. Object oriented programming languages like Eiffel, Smalltalk or C++ provide basic facilities for network programming, database access, etc. in form of class libraries which exploit these concepts. This helps developers concentrate an the solving of the actual problems, without having to spend time an reinventing already implemented solutions to common problems. The object-oriented paradigm primarily involve objects. These usually represent abstractions of real world entities. Objects are typically defined by classes in programming languages. Classes representing different entities may be related to each other in several different ways. These normally [...]




Attributed Algebraic Specifications


Book Description




Algebraic Engineering - Proceedings Of The First International Conference On Semigroups And Algebraic Eng And Workshop On For


Book Description

There is algebraic structure in time, computation and biological systems. Algebraic engineering exploits this structure to achieve better understanding and design. In this book, pure and applied results in semigroups, language theory and algebra are applied to areas ranging from circuit design to software engineering to biological evolution.




Algebraic Methodology and Software Technology


Book Description

This volume constitutes the proceedings of the 4th International Conference on Algebraic Methodology and Software Technology, held in Montreal, Canada in July 1995. It includes full papers or extended abstracts of the invited talks, refereed selected contributions, and research prototype tools. The invited speakers are David Gries, Jeanette Wing, Dan Craigen, Ted Ralston, Ewa Orlowska, Krzysztof Apt, Joseph Goguen, and Rohit Parikh. The 29 refereed papers presented were selected from some 100 submissions; they are organized in sections on algebraic and logical foundations, concurrent and reactive systems, software technology, logic programming and databases.




Object-oriented Technology for Database and Software Systems


Book Description

Object orientation has become a ?must know? subject for managers, researchers, and software practitioners interested in the design, evolution, reuse and management of efficient software components.The book contains technical papers reflecting both theoretical and practical contributions from researchers in the field of object-oriented (OO) databases and software engineering systems. The book identifies actual and potential areas of integration of OO and database technologies, current and future research directions in software methodologies, and reflections about the OO paradigm.In providing current research and relevant information about this promising and rapidly growing field of object-oriented databases and software engineering systems, this book is invaluable to research scientists, practitioners, and graduate students working in the areas of databases and software engineering.