Katalog der Deutschen Nationalbibliothek

Springe direkt zu:

Wissensnetz

Sachbegriff
Sachbegriff

Allgemeinbegriff

Algebraische Spezifikation

Sachbegriff

Algebraische Spezifikation

Synonym

Softwarespezifikation / Algebraische Methode
Spezifikation / Algebraische Methode

Beziehung

Formale Spezifikationstechnik (verwandter Begriff)

Themen­gebiet

Informatik, Datenverarbeitung

Quelle

Lex. Informatik

Datensatztyp

Allgemeinbegriff

GND-Nummer

4207192-6

Datensatz-ID

042071925

Thema in

alle anzeigen

APE-Benutzerbeschreibung

Eine algebraische Spezifikation des Software-Produkts INTAKT

Logische und methodische Grundlagen der Programm- und Systementwicklung : Datenstrukturen, funktionale, sequenzielle und objektorientierte Programmierung

Logische und Methodische Grundlagen der Programm- und Systementwicklung : Datenstrukturen, funktionale, sequenzielle und objektorientierte Programmierung - Unter Mitarbeit von Alexander Malkis

Attributed algebraic specifications

Specification, algebra, and software : essays dedicated to Kokichi Futatsugi

Specification, Algebra, and Software : Essays Dedicated to Kokichi Futatsugi

Recent trends in algebraic development techniques : 21st international workshop ; revised selected papers

Recent Trends in Algebraic Development Techniques : 21st International Workshop, WADT 2012, Salamanca, Spain, June 7-10, 2012, Revised Selected Papers

Foundations of algebraic specification and formal software development

Foundations of Algebraic Specification and Formal Software Development

Recent trends in algebraic development techniques : 20th international workshop ; revised selected papers

Recent Trends in Algebraic Development Techniques : 20th International Workshop, WADT 2010, Etelsen, Germany, July 1-4, 2010, Revised Selected Papers

Relational and algebraic methods in computer science : 13th international conference ; proceedings

Relational and Algebraic Methods in Computer Science : 13th International Conference, RAMiCS 2012, Cambridge, UK, September 17-20, 2012. Proceedings

Analysis and correctness of algebraic graph and model transformations

Analysis and Correctness of Algebraic Graph and Model Transformations

Relational and algebraic methods in computer science : 12th international conference ; proceedings

Relational and Algebraic Methods in Computer Science : 12th International Conference, RAMICS 2011, Rotterdam, The Netherlands, May 30 – June 3, 2011. Proceedings

Algebraic informatics : third international conference ; proceedings

Algebraic Informatics : Third International Conference, CAI 2009, Thessaloniki, Greece, May 19-22, 2009, Proceedings

Recent trends in algebraic development techniques : 19th international workshop ; revised selected papers

Recent Trends in Algebraic Development Techniques : 19th International Workshop, WADT 2008, Pisa, Italy, June 13-16, 2008, Revised Selected Papers

Semantics and algebraic specification : essays dedicated to Peter D. Mosses on the occasion of his 60th birthday

Semantics and Algebraic Specification : Essays Dedicated to Peter D. Mosses on the Occasion of His 60th Birthday

Algebraic informatics : second international conference ; revised selected and invited papers

Modelling Distributed Systems

Modelling distributed systems : with 7 tables

Recent trends in algebraic development techniques : 18th international workshop ; revised selected papers

Recent trends in algebraic development techniques : 18th international workshop ; revised selected papers

Algebra, meaning, and computation : essays dedicated to Joseph A. Goguen on the occasion of his 65th birthday

Algebra, meaning, and computation : essays dedicated to Joseph A. Goguen on the occasion of his 65th birthday

Transformations of specifications and proofs to support an evolutionary formal software development

Transformations of specifications and proofs to support an evolutionary formal software development

Transformations of Specifications and Proofs to Support an Evolutionary Formal Software Development

Formal methods in software and systems modeling : essays dedicated to Hartmut Ehrig on the occasion of his 60th birthday

Formal Methods in Software and Systems Modeling : Essays Dedicated to Hartmut Ehrig on the Occasion of His 60th Birthday

Recent trends in algebraic development techniques : 17th international workshop ; revised selected papers

Recent Trends in Algebraic Development Techniques : 17th International Workshop, WADT 2004, Barcelona, Spain, March 27-29, 2004. Revised Selected Papers

Anfragebearbeitung in einem Datenbank-Kernsystem für Geo-Anwendungen unter Verwendung einer generischen Komponente zur Anfrageoptimierung

Anfragebearbeitung in einem Datenbank-Kernsystem für Geo-Anwendungen unter Verwendung einer generischen Komponente zur Anfrageoptimierung

Mechanizing the transformation of higher order algebraic specifications for the development of software systems

Recent trends in algebraic development techniques : 16th international workshop ; revised selected papers

Recent trends in algebraic development techniques : 16th international workshop ; revised selected papers

A formal approach to object-oriented software engineering

Algebraische Semantik einer objektorientierten Sprache zur Spezifikation von Hyperdokumenten

Algebraische Semantik einer objektorientierten Sprache zur Spezifikation von Hyperdokumenten

Deduktive Fehlersuche in abstrakten Datentypen

Grundlagen strukturierten Spezifizierens mit höheren Netzen

Grundlagen strukturierten Spezifizierens mit höheren Netzen

Prospects for hardware foundations : survey chapters

Recent trends in algebraic development techniques : 13th international workshop ; selected papers

Recent trends in algebraic development techniques : 15th international workshop ; selected papers

Recent trends in algebraic development techniques : 15th international workshop ; selected papers

A formal approach to object oriented software engineering

A Formal Approach to Object-Oriented Software Engineering

Deduktive Fehlersuche in abstrakten Datentypen

Efficient integration of query algebra modules into an extensible database framework

Integration of verification and testing into compilation systems : concept and case study

Mathematisch-strukturelle Grundlagen der Informatik
Hinweis

Die Betaversion beinhaltet noch nicht alle Funktionen und Informationen des Katalogs des DNB-Portals. Falls Sie Informationen vermissen oder ein Medium bestellen wollen, besuchen Sie bitte die entsprechende Seite im Katalog des DNB-Portals über folgenden Link:

DNB-Portal