Essential concepts of algebraic specification and program development (Q1377322): Difference between revisions

@@ Property / describes a project that uses @@
+ML
@@ Property / describes a project that uses: ML / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+LARCH
@@ Property / describes a project that uses: LARCH / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+OBJ3
@@ Property / describes a project that uses: OBJ3 / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Axioms for abstract model theory
@@ Property / cites work: Axioms for abstract model theory / rank @@
+Normal rank
@@ Property / cites work @@
+Q3714043
@@ Property / cites work: Q3714043 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3780424
@@ Property / cites work: Q3780424 / rank @@
+Normal rank
@@ Property / cites work @@
+How to make algebraic specifications more understandable: An experiment with the PLUSS specification language
+Normal rank
@@ Property / cites work @@
+Behavioural and abstractor specifications
@@ Property / cites work: Behavioural and abstractor specifications / rank @@
+Normal rank
@@ Property / cites work @@
+Algebraic system specification and development. A survey and annotated bibliography
+Normal rank
@@ Property / cites work @@
+Q3906394
@@ Property / cites work: Q3906394 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4875304
@@ Property / cites work: Q4875304 / rank @@
+Normal rank
@@ Property / cites work @@
+Testing equivalences for processes
@@ Property / cites work: Testing equivalences for processes / rank @@
+Normal rank
@@ Property / cites work @@
+Algebraic implementation of abstract data types
@@ Property / cites work: Algebraic implementation of abstract data types / rank @@
+Normal rank
@@ Property / cites work @@
+Q3221381
@@ Property / cites work: Q3221381 / rank @@
+Normal rank
@@ Property / cites work @@
+Parameterized Programming
@@ Property / cites work: Parameterized Programming / rank @@
+Normal rank
@@ Property / cites work @@
+Q3332238
@@ Property / cites work: Q3332238 / rank @@
+Normal rank
@@ Property / cites work @@
+Institutions: abstract model theory for specification and programming
+Normal rank
@@ Property / cites work @@
+Q3956373
@@ Property / cites work: Q3956373 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3737481
@@ Property / cites work: Q3737481 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4282672
@@ Property / cites work: Q4282672 / rank @@
+Normal rank
@@ Property / cites work @@
+Some notes on putting formal specifications to productive use
+Normal rank
@@ Property / cites work @@
+Structured theory presentations and logic representations
+Normal rank
@@ Property / cites work @@
+Proof of correctness of data representations
@@ Property / cites work: Proof of correctness of data representations / rank @@
+Normal rank
@@ Property / cites work @@
+Program development by specification and transformation. The PROSPECTRA methodology, language family, and system
+Normal rank
@@ Property / cites work @@
+On behavioural abstraction and behavioural satisfaction in higher-order logic
+Normal rank
@@ Property / cites work @@
+Q3707340
@@ Property / cites work: Q3707340 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4312482
@@ Property / cites work: Q4312482 / rank @@
+Normal rank
@@ Property / cites work @@
+The definition of Extended ML: A gentle introduction
+Normal rank
@@ Property / cites work @@
+Modularising the specification of a small database system in extended ML
+Normal rank
@@ Property / cites work @@
+On the correctness of modular systems
@@ Property / cites work: On the correctness of modular systems / rank @@
+Normal rank
@@ Property / cites work @@
+Q3686016
@@ Property / cites work: Q3686016 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5687569
@@ Property / cites work: Q5687569 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3938468
@@ Property / cites work: Q3938468 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4314595
@@ Property / cites work: Q4314595 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3042444
@@ Property / cites work: Q3042444 / rank @@
+Normal rank
@@ Property / cites work @@
+Toward formal development of programs from algebraic specifications: Parameterisation revisited
+Normal rank
@@ Property / cites work @@
+Q4725720
@@ Property / cites work: Q4725720 / rank @@
+Normal rank
@@ Property / cites work @@
+On observational equivalence and algebraic specification
+Normal rank
@@ Property / cites work @@
+Specifications in an arbitrary institution
@@ Property / cites work: Specifications in an arbitrary institution / rank @@
+Normal rank
@@ Property / cites work @@
+Toward formal development of programs from algebraic specifications: Implementations revisited
+Normal rank
@@ Property / cites work @@
+Foundations of algebraic specification and formal software development.
+Normal rank
@@ Property / cites work @@
+Q3954805
@@ Property / cites work: Q3954805 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3666260
@@ Property / cites work: Q3666260 / rank @@
+Normal rank
@@ Property / cites work @@
+Two impossibility theorems on behaviour specification of abstract data types
+Normal rank
@@ Property / cites work @@
+Q3992540
@@ Property / cites work: Q3992540 / rank @@
+Normal rank
@@ Property / cites work @@
+Structured algebraic specifications: A kernel language
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:1377322