Skip header Section
Skip Bibliometrics Section
Algebraic Foundations of Systems SpecificationMarch 1999
- Author:
- Egidio Astesiano,
- Editors:
- Hans-Joerg Kreowski,
- Bernd Krieg-Brueckner
Skip Abstract Section
Abstract
From the Publisher:
This book is a collection of high-quality contributions in the area of algebraic foundations of system specification, written by well-known experts. The contributions cover active topics and recent advances, and relate the work to other specification paradigms. Topics include institutions, partiality, specification semantics, structuring, refinement, specification languages, term rewriting, deduction, model-oriented specification, object-specification, concurrency, and the development process. All topics are clearly introduced, well illuminated with examples, and systematically developed.
Cited By
Riesco A and Ogata K (2018). Prove it! Inferring Formal Proof Scripts from CafeOBJ Proof Scores, ACM Transactions on Software Engineering and Methodology, 27:2, (1-32), Online publication date: 30-Apr-2018.- Riesco A, Ogata K and Futatsugi K (2017). A Maude environment for CafeOBJ, Formal Aspects of Computing, 29:2, (309-334), Online publication date: 1-Mar-2017.
- Aiguier M, Arnould A, Gall P and Longuet D (2016). Exhaustive test sets for algebraic specifications, Software Testing, Verification & Reliability, 26:4, (294-317), Online publication date: 1-Jun-2016.
- Codescu M and Mossakowski T Refinement trees Proceedings of the 4th international conference on Algebra and coalgebra in computer science, (145-160)
- Padawitz P From grammars and automata to algebras and coalgebras Proceedings of the 4th international conference on Algebraic informatics, (21-43)
- Codescu M, Horozal F, Kohlhase M, Mossakowski T and Rabe F A proof theoretic interpretation of model theoretic hiding Proceedings of the 20th international conference on Recent Trends in Algebraic Development Techniques, (118-138)
- Kreowski H, Kuske S and von Totth C Combining graph transformation and algebraic specification into model transformation Proceedings of the 20th international conference on Recent Trends in Algebraic Development Techniques, (193-208)
- Fernandes F, Passama R and Royer J Event strictness for components with complex bindings Proceedings of the 2nd India software engineering conference, (47-56)
- Bidoit M, Sannella D and Tarlecki A (2008). Observational interpretation of casl specifications, Mathematical Structures in Computer Science, 18:2, (325-371), Online publication date: 1-Apr-2008.
- Gaudel M and Le Gall P Testing data types implementations from algebraic specifications Formal methods and testing, (209-239)
- Bianculli D and Ghezzi C Monitoring conversational web services 2nd international workshop on Service oriented software engineering: in conjunction with the 6th ESEC/FSE joint meeting, (15-21)
- Shinkawa Y Logic based formalization of UML use case modeling Proceedings of the 11th IASTED International Conference on Software Engineering and Applications, (176-181)
- Attiogbe C, Poizat P and Salaun G (2007). A Formal and Tool-Equipped Approach for the Integration of State Diagrams and Formal Datatypes, IEEE Transactions on Software Engineering, 33:3, (157-170), Online publication date: 1-Mar-2007.
- Nunes I, Lopes A, Vasconcelos V, Abreu J and Reis L Checking the conformance of java classes against algebraic specifications Proceedings of the 8th international conference on Formal Methods and Software Engineering, (494-513)
- Roggenbach M (2006). CSP-CASL, Theoretical Computer Science, 354:1, (42-71), Online publication date: 21-Mar-2006.
- Zawłocki A, Marczyński G and Kosiuczenko P Property preserving redesign of specifications Proceedings of the First international conference on Algebra and Coalgebra in Computer Science, (439-455)
- Zamulin A (2004). An Abstract Compiler Model as a Result of the Algebraic Semantics of a Programming Language, Programming and Computing Software, 30:5, (295-302), Online publication date: 1-Sep-2004.
- Mossakowski T, Sannella D and Tarlecki A A simple refinement language for CASL Proceedings of the 17th international conference on Recent Trends in Algebraic Development Techniques, (162-185)
- Zamulin A (2003). Algebraic Semantics of an Imperative Programming Language, Programming and Computing Software, 29:6, (328-337), Online publication date: 1-Nov-2003.
- Grabmeier J, Kaltofen E and Weispfenning V Cited References Computer algebra handbook, (493-622)
- Bidoit M, Hennicker R and Kurz A (2003). Observational logic, constructor-based logic, and their duality, Theoretical Computer Science, 298:3, (471-510), Online publication date: 11-Apr-2003.
- Attiogbé C, Poizat P and Salaün G Integration of formal datatypes within state diagrams Proceedings of the 6th international conference on Fundamental approaches to software engineering, (341-355)
- Jacobs B Exercises in coalgebraic specification Algebraic and coalgebraic methods in the mathematics of program construction, (237-280)
- Wagner E (2002). Algebraic specifications, Nordic Journal of Computing, 9:4, (373-404), Online publication date: 1-Dec-2002.
- Clavel M, Durán F, Eker S, Lincoln P, Martí-Oliet N, Meseguer J and Quesada J (2002). Maude, Theoretical Computer Science, 285:2, (187-243), Online publication date: 28-Aug-2002.
- Padawitz P Swinging UML Proceedings of the 3rd international conference on The unified modeling language: advancing the standard, (162-177)
Recommendations
Algebraic specification schemes for data base systems
VLDB '78: Proceedings of the fourth international conference on Very Large Data Bases - Volume 4We propose a hierarchic structuring principle for the formal specification of data base systems, called an algebraic specification scheme, which is based on algebraic specification techniques for data types. Syntax and semantics of an algebraic ...