-
1
-
-
0006487784
-
Proving the correctness of algebraically specified software: Modularity and observability issues
-
Workshops in Computing, Berlin Heidelberg New York: Springer
-
Bernot G, Bidoit M: Proving the correctness of algebraically specified software: modularity and observability issues. Proc. AMAST'91, pp 216-242, Workshops in Computing, Berlin Heidelberg New York: Springer 1992
-
(1992)
Proc. AMAST'91
, pp. 216-242
-
-
Bernot, G.1
Bidoit, M.2
-
2
-
-
84947931464
-
Proving the correctness of behavioural implementations
-
Proc. AMAST'95, 4th International Conference on Algebraic Methodology and Software Technology, Berlin Heidelberg NewYork: Springer
-
Bidoit M, Hennicker R: Proving the correctness of behavioural implementations. In Proc. AMAST'95, 4th International Conference on Algebraic Methodology and Software Technology, Lecture Notes in Computer Science 936, pp 152-168, Berlin Heidelberg NewYork: Springer 1995
-
(1995)
Lecture Notes in Computer Science
, vol.936
, pp. 152-168
-
-
Bidoit, M.1
Hennicker, R.2
-
3
-
-
0030247056
-
Behavioural theories and the proof of behavioural properties
-
Bidoit M, Hennicker R: Behavioural theories and the proof of behavioural properties. Theoretical Computer Science 175:3-55 (1996)
-
(1996)
Theoretical Computer Science
, vol.175
, pp. 3-55
-
-
Bidoit, M.1
Hennicker, R.2
-
7
-
-
85034210851
-
Introducing institutions
-
Proc. Logics of Programming Workshop, Carnegie-Mellon, Berlin Heidelberg NewYork: Springer
-
Goguen JA, Burstall RM: Introducing institutions. In Proc. Logics of Programming Workshop, Carnegie-Mellon, Lecture Notes in Computer Science 164, pp 221-256, Berlin Heidelberg NewYork: Springer 1984
-
(1984)
Lecture Notes in Computer Science
, vol.164
, pp. 221-256
-
-
Goguen, J.A.1
Burstall, R.M.2
-
8
-
-
0003714504
-
Larch: Languages and Tools for Formal Specification
-
Berlin Heidelberg NewYork: Springer
-
Guttag J, Horning J: Larch: Languages and Tools for Formal Specification. Texts and Monographs in Computer Science, Berlin Heidelberg NewYork: Springer 1993
-
(1993)
Texts and Monographs in Computer Science
-
-
Guttag, J.1
Horning, J.2
-
9
-
-
84955587325
-
Universal realization, persistent interconnection and implementation of abstract modules
-
Proc. ICALP'82, Berlin Heidelberg New York: Springer
-
Goguen JA, Meseguer J: Universal realization, persistent interconnection and implementation of abstract modules. In Proc. ICALP'82, Lecture Notes in Computer Science 140, pp 265-281, Berlin Heidelberg New York: Springer 1982
-
(1982)
Lecture Notes in Computer Science
, vol.140
, pp. 265-281
-
-
Goguen, J.A.1
Meseguer, J.2
-
10
-
-
0015482118
-
Proofs of correctness of data representations
-
Hoare CAR: Proofs of correctness of data representations. Acta Informatica 1:271-281 (1972)
-
(1972)
Acta Informatica
, vol.1
, pp. 271-281
-
-
Hoare, C.A.R.1
-
11
-
-
0000564340
-
Context induction: A proof principle for behavioural abstractions and algebraic implementations
-
Hennicker R: Context induction: a proof principle for behavioural abstractions and algebraic implementations. Formal Aspects of Computing 3(4):326-345 (1991)
-
(1991)
Formal Aspects of Computing
, vol.3
, Issue.4
, pp. 326-345
-
-
Hennicker, R.1
-
13
-
-
21344451812
-
Object-oriented implementation of abstract data type specifications
-
Wirsing M, Nivat M (eds.): Proc. AMAST '96, 5th International Conference on Algebraic Methodology and Software Technology, Berlin Heidelberg NewYork: Springer
-
Hennicker R, Schmitz C: Object-oriented implementation of abstract data type specifications. In: Wirsing M, Nivat M (eds.): Proc. AMAST '96, 5th International Conference on Algebraic Methodology and Software Technology, Lecture Notes in Computer Science 1101, pp 163-179, Berlin Heidelberg NewYork: Springer 1996
-
(1996)
Lecture Notes in Computer Science
, vol.1101
, pp. 163-179
-
-
Hennicker, R.1
Schmitz, C.2
-
14
-
-
0031069064
-
Proof systems for structured specifications with observability operators
-
Hennicker R, Wirsing M, Bidoit M: Proof systems for structured specifications with observability operators. Theoretical Computer Science 173:393-443 (1997)
-
(1997)
Theoretical Computer Science
, vol.173
, pp. 393-443
-
-
Hennicker, R.1
Wirsing, M.2
Bidoit, M.3
-
15
-
-
0347431784
-
Invariants, bisimulations and the correctenss of coalgebraic refinements
-
Computing Science Institute Nijmegen
-
Jacobs B: Invariants, bisimulations and the correctenss of coalgebraic refinements. Technical Report CSI-R9704, Computing Science Institute Nijmegen, 1997
-
(1997)
Technical Report CSI-R9704
-
-
Jacobs, B.1
-
19
-
-
0003554030
-
Proving correctness of refinement and implementation
-
Oxford University Computing Laboratory
-
Malcolm G, Goguen JA: Proving correctness of refinement and implementation. Technical Monograph PRG-114, Oxford University Computing Laboratory, 1994
-
(1994)
Technical Monograph PRG-114
-
-
Malcolm, G.1
Goguen, J.A.2
-
20
-
-
84976680869
-
A theory of abstract data types for program development: Bridging the gap?
-
Ehrig H, Floyd C, Nivat M, Thatcher J (eds.): Proc. TAPSOFT '85, Joint Conference on Theory and Practice of Software Development, Berlin Heidelberg NewYork: Springer
-
Maibaum TSE, Veloso PAS, Sadler MR: A theory of abstract data types for program development: Bridging the gap? In: Ehrig H, Floyd C, Nivat M, Thatcher J (eds.): Proc. TAPSOFT '85, Joint Conference on Theory and Practice of Software Development, Lecture Notes in Computer Science 186, pp 214-230, Berlin Heidelberg NewYork: Springer 1985
-
(1985)
Lecture Notes in Computer Science
, vol.186
, pp. 214-230
-
-
Maibaum, T.S.E.1
Veloso, P.A.S.2
Sadler, M.R.3
-
21
-
-
84969344425
-
Initial behaviour semantics for algebraic specifications
-
Sannella DT, Tarlecki A (eds.): Recent Trends in Data Type Specification, Berlin Heidelberg NewYork: Springer
-
Nivela P, Orejas F: Initial behaviour semantics for algebraic specifications. In: Sannella DT, Tarlecki A (eds.): Recent Trends in Data Type Specification, Lecture Notes in Computer Science 332, pp 184-207, Berlin Heidelberg NewYork: Springer 1988
-
(1988)
Lecture Notes in Computer Science
, vol.332
, pp. 184-207
-
-
Nivela, P.1
Orejas, F.2
-
23
-
-
0004007768
-
Initial computability, algebraic specifications, and partial algebras
-
Oxford: Clarendon Press
-
Reichel H: Initial computability, algebraic specifications, and partial algebras. International Series of Monographs in Computer Science No. 2, Oxford: Clarendon Press 1987
-
(1987)
International Series of Monographs in Computer Science
, vol.2
-
-
Reichel, H.1
-
25
-
-
0026943254
-
Two impossibility theorems on behavioural specification of abstract data types
-
Schoett O: Two impossibility theorems on behavioural specification of abstract data types. Acta Informatica 29:595-621 (1992)
-
(1992)
Acta Informatica
, vol.29
, pp. 595-621
-
-
Schoett, O.1
-
26
-
-
0022047452
-
On observational equivalence and algebraic specification
-
Sannella DT, Tarlecki A: On observational equivalence and algebraic specification. J Comput Syst Sci 34:150-178 (1987)
-
(1987)
J Comput Syst Sci
, vol.34
, pp. 150-178
-
-
Sannella, D.T.1
Tarlecki, A.2
-
27
-
-
0023994482
-
Toward formal development of programs from algebraic specifications: Implementation revisited
-
Sannella DT, Tarlecki A: Toward formal development of programs from algebraic specifications: implementation revisited. Acta Informatica 25:233-281 (1988)
-
(1988)
Acta Informatica
, vol.25
, pp. 233-281
-
-
Sannella, D.T.1
Tarlecki, A.2
-
28
-
-
0022759952
-
Structured algebraic specifications: A kernel language
-
Wirsing M: Structured algebraic specifications: a kernel language. Theor Comput Sci 42:123-249 (1986)
-
(1986)
Theor Comput Sci
, vol.42
, pp. 123-249
-
-
Wirsing, M.1
-
29
-
-
0000382802
-
Algebraic specification
-
J van Leeuwen (ed.): Amsterdam: Elsevier
-
Wirsing M: Algebraic specification. In: J van Leeuwen (ed.): Handbook of Theoretical Computer Science, pp 675-788, Amsterdam: Elsevier 1990
-
(1990)
Handbook of Theoretical Computer Science
, pp. 675-788
-
-
Wirsing, M.1
|