Algebraic Specification Techniques In Object Oriented Programming Environments PDF Download
Are you looking for read ebook online? Search for your book and save it on your Kindle device, PC, phones or tablets. Download Algebraic Specification Techniques In Object Oriented Programming Environments PDF full book. Access full book title Algebraic Specification Techniques In Object Oriented Programming Environments.
| Author | : Ruth Breu |
| Publisher | : Springer Science & Business Media |
| Total Pages | : 248 |
| Release | : 1991-12-04 |
| Genre | : Computers |
| ISBN | : 9783540549727 |
Download Algebraic Specification Techniques in Object Oriented Programming Environments Book in PDF, ePub and Kindle
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.
| Author | : Normen Seemann |
| Publisher | : diplom.de |
| Total Pages | : 98 |
| Release | : 2014-04-01 |
| Genre | : Computers |
| ISBN | : 3832419128 |
Download A Design Pattern Oriented Programming Environment Book in PDF, ePub and Kindle
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 [...]
| Author | : Razvan Diaconescu |
| Publisher | : World Scientific |
| Total Pages | : 204 |
| Release | : 1998 |
| Genre | : Computers |
| ISBN | : 9789810235130 |
Download CafeOBJ Report Book in PDF, ePub and Kindle
This is a report on the formal definition of the CafeOBJ algebraic specification language, which is a modern successor to the famous algebraic language OBJ. While the equational core of CafeOBJ is just a reshaping of OBJ, CafeOBJ significantly extends OBJ by incorporating several recent major developments in the area of algebraic specification, such as behavioural specification and rewriting logic. The definition of the language parallels its logical semantics based on the so-called institutions, which also provide a methodological framework for structuring the presentation of the basic constructs of the language and their semantics. This report presents all the basic constructs of the language together with their semantics and addresses both the programming in-the-small and in-the-large levels. However, it also discusses proof systems and technologies, as well as methodologies. Examples are provided throughout the report as intuitive support for the definitions of the constructs and for illustrating proof techniques and methodologies.
| Author | : Bastian Dölle |
| Publisher | : Cuvillier Verlag |
| Total Pages | : 173 |
| Release | : 2007 |
| Genre | : |
| ISBN | : 3867274525 |
Download Deriving Object-Oriented Specifications from Algebraic Specifications through Refinement Book in PDF, ePub and Kindle
| Author | : Shusaku Iida |
| Publisher | : Springer |
| Total Pages | : 675 |
| Release | : 2014-03-01 |
| Genre | : Computers |
| ISBN | : 3642546242 |
Download Specification, Algebra, and Software Book in PDF, ePub and Kindle
This Festschrift volume, published in honor of Kokichi Futatsugi, contains 31 invited contributions from internationally leading researchers in formal methods and software engineering. Prof. Futatsugi is one of the founding fathers of the field of algebraic specification and verification and is a leading researcher in formal methods and software engineering. He has pioneered and advanced novel algebraic methods and languages supporting them such as OBJ and CafeOBJ and has worked tirelessly over the years to bring such methods and tools in contact with software engineering practice. This volume contains contributions from internationally leading researchers in formal methods and software engineering.
| Author | : Joseph A. Goguen |
| Publisher | : Springer Science & Business Media |
| Total Pages | : 428 |
| Release | : 2013-11-11 |
| Genre | : Computers |
| ISBN | : 147576541X |
Download Software Engineering with OBJ Book in PDF, ePub and Kindle
Software Engineering with OBJ: Algebraic Specification in Action is a comprehensive introduction to OBJ, the most widely used algebraic specification system. As a formal specification language, OBJ makes specifications and designs more precise and easier to read, as well as making maintenance easier and more accurate. OBJ differs from most other specification languages not just in having a formal semantics, but in being executable, either through symbolic execution with term rewriting, or more generally through theorem proving. One problem with specifications is that they are often wrong. OBJ can help validate specifications by executing test cases, and by proving properties. As well as providing a detailed introduction to the language and the OBJ system that implements it, Software Engineering with OBJ: Algebraic Specification in Action provides case studies by leading practitioners in the field, in areas such as computer graphics standards, hardware design, and parallel computation. The case studies demonstrate that OBJ can be used in a wide variety of ways to achieve a wide variety of practical aims in the system development process. The papers on various OBJ systems also demonstrate that the language is relatively easy to understand, implement, and use, and that it supports formal reasoning in a straightforward but powerful way. Software Engineering with OBJ: Algebraic Specification in Action will be of interest to students and teachers in the areas of data types, programming languages, semantics, theorem proving, and algebra, as well as to researchers and practitioners in software engineering.
| Author | : Maurice Nivat |
| Publisher | : Springer Science & Business Media |
| Total Pages | : 429 |
| Release | : 2012-12-06 |
| Genre | : Computers |
| ISBN | : 1447132270 |
Download Algebraic Methodology and Software Technology (AMAST’93) Book in PDF, ePub and Kindle
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.
| Author | : Burkhard Freitag |
| Publisher | : Springer |
| Total Pages | : 256 |
| Release | : 1996-09-30 |
| Genre | : Comics & Graphic Novels |
| ISBN | : |
Download Object Orientation with Parallelism and Persistence Book in PDF, ePub and Kindle
Papers from an April 1995 seminar integrate research in programming languages and databases, focusing on object orientation with parallelism. Subjects include an object-based language, correct transformational design of concurrent search structures, specification and properties of concurrent objects, co-algebraic specification, a unified theory for classical and advanced transaction models, and design and implementation of process-oriented environments with brokers and services. Of interest to researchers and professionals working in software engineering, programming, and database systems. Annotation copyrighted by Book News, Inc., Portland, OR
| Author | : Martin Wirsing |
| Publisher | : Springer Science & Business Media |
| Total Pages | : 660 |
| Release | : 1996-06-19 |
| Genre | : Computers |
| ISBN | : 9783540614630 |
Download Algebraic Methodology and Software Technology Book in PDF, ePub and Kindle
Content Description #Includes bibliographical references and index.
| Author | : Bastian Dölle |
| Publisher | : Cuvillier Verlag |
| Total Pages | : 174 |
| Release | : 2007-12-12 |
| Genre | : Mathematics |
| ISBN | : 3736924526 |
Download Deriving Object-Oriented Specifications from Algebraic Specifications through Refinement Book in PDF, ePub and Kindle
This thesis presents a formal method how to refine algebraic specifications into object-oriented specifications in a systematic way. Thereby, we highlight the conceptual differences between algebraic specifications and object-oriented modeling. The correctness of the refinement step is established by preserving the models of the algebraic specification respecting a natural semantic relation. The thesis also comprises a basic system model for object-oriented systems and a comprehensive case study demonstrating the refinement step. Moreover, we survey the prototype system ASIOS which is an interactive tool mechanizing the transformation of algebraic specifications into object-oriented specifications. The basic system model for object-oriented systems serves to precisely define the semantics of object-oriented specifications. This way, it lays the formal foundation for the proof of the correctness of the transformation. The applicability of the transformation is demonstrated by a case study using the well-known abstract data type "stacks of natural numbers''. We investigate the transformation for characteristic design choices of the respective design space, and we present object-oriented classes which provide interpretations for the resulting object-oriented specifications. Furthermore, we give an implementation of each of these classes in the object-oriented programming language JAVA. All transformation procedures have been implemented in the prototype system ASIOS. The tool supports the transformation process with a graphical user interface providing the necessary guidance for the programmer in making various design choices. ASIOS includes an editor for entering algebraic specifications in CASL notation which is realized as an Eclipse plug-in. The tool results with UML class diagrams and sequence diagrams that can be exported as XMI files. The thesis shows that algebraic specifications can be refined into object-oriented specifications in a profound way. The transformation bridges the gap between functional specification concepts and object-oriented modeling techniques, and thus contributes to a better understanding of object-oriented software construction. Moreover, an important area of application comprises the mechanized top-down development of software components.
