Implicit Partiality of Signature Morphisms in Institution Theory
Book chapter (June 2021)
Software Engineering with OBJ
Overview of attention for book
Table of Contents
-
Altmetric BadgeBook Overview
-
Altmetric BadgeChapter 1 Introducing OBJ
-
Altmetric BadgeChapter 2 Specifying in OBJ, Verifying in REVE and Some Ideas about Time
-
Altmetric BadgeChapter 3 Constructing a Graphics System with OBJ2: A Practical Guide
-
Altmetric BadgeChapter 4 Applications of OBJ to the Specification of Standards for Computer Graphics
-
Altmetric BadgeChapter 5 Semantic Specifications for the Rewrite Rule Machine
-
Altmetric BadgeChapter 6 OBJ for OBJ
-
Altmetric BadgeChapter 7 OBJSA Nets: OBJ and Petri Nets for Specifying Concurrent Systems
-
Altmetric BadgeChapter 8 A LOTOS Simulator in OBJ
-
Altmetric BadgeChapter 9 More Higher Order Programming in OBJ
Attention for Chapter 4:
Applications of OBJ to the Specification of Standards for Computer Graphics