Mohlo by sa vám tiež páčiť

Informovať o naskladnení knihy

Viac informácií o knihe Cafeobj Report: The Language, Proof Techniques, And Methodologies For Object-oriented Algebraic Specification

• Parametre knihy
• Anotácia kniha
• Obľúbené z iného súdka

Nákupom získate 154 bodov

Anotácia knihy

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.

Parametre knihy

Zaradenie knihy Knihy po anglicky Mathematics & science Mathematics Algebra

• Celý názov: Cafeobj Report: The Language, Proof Techniques, And Methodologies For Object-oriented Algebraic Specification
• Autor: Razvan Diaconescu, Kokichi Futatsugi
• Jazyk: Angličtina
• Väzba: Pevná
• Počet strán: 196
• EAN: 9789810235130
• ISBN: 9810235135
• ID: 05066046
• Nakladateľ: World Scientific Publishing Co Pte Ltd
• Dátum vydania: 02. July 1998

Obľúbené z iného súdka

---

---

---