-
2
-
-
84957068625
-
Observational proofs with critical contexts
-
Springer
-
Narjes Berregeb, Adel Bouhoula, and Michal Rusinowitch. Observational proofs with critical contexts. In Fundamental Approaches to Software Engineering, volume 1382 of Lecture Notes in Computer Science, pages 38-53. Springer, 1998.
-
(1998)
Fundamental Approaches to Software Engineering of Lecture Notes in Computer Science
, vol.1382
, pp. 38-53
-
-
Berregeb, N.1
Bouhoula, A.2
Rusinowitch, M.3
-
3
-
-
24344482751
-
-
Technical Report LSV-03-9, Laboratoire Spcification et Verification, CNRS de Cachan March
-
Michel Bidoit and Rolf Hennicker. Constructor-based observational logic. Technical Report LSV-03-9, Laboratoire Spcification et Verification, CNRS de Cachan, March 2003.
-
(2003)
Constructor-based Observational Logic
-
-
Bidoit, M.1
Hennicker, R.2
-
5
-
-
0003116292
-
An informal introduction to specifications using Clear
-
Robert Boyer and J Moore, editors Academic
-
Rod Burstall and Joseph Goguen. An informal introduction to specifications using Clear. In Robert Boyer and J Moore, editors, The Correctness Problem in Computer Science, pages 185-213. Academic, 1981.
-
(1981)
The Correctness Problem in Computer Science
, pp. 185-213
-
-
Burstall, R.1
Goguen, J.2
-
7
-
-
18944369836
-
Incompleteness of behavioral logics
-
Horst Reichel, editor Elsevier Science, March
-
Samuel Buss and Grigore Rosu. Incompleteness of behavioral logics. In Horst Reichel, editor, Proceedings, Coalgebraic Methods in Computer Science (CMCS'00), volume 33 of Electronic Notes in Theoretical Computer Science, pages 61-79. Elsevier Science, March 2000.
-
(2000)
Proceedings, Coalgebraic Methods in Computer Science (CMCS'00) of Electronic Notes in Theoretical Computer Science
, vol.33
, pp. 61-79
-
-
Buss, S.1
Rosu, G.2
-
9
-
-
0001858965
-
Behavioural coherence in object-oriented algebraic specification
-
Razvan Diaconescu and Kokichi Futatsugi. Behavioural coherence in object-oriented algebraic specification. Journal of Universal Computer Science, 6(1):74-96, 2000.
-
(2000)
Journal of Universal Computer Science
, vol.6
, Issue.1
, pp. 74-96
-
-
Diaconescu, R.1
Futatsugi, K.2
-
10
-
-
0003307585
-
Fundamentals of algebraic specification 1: Equations and initial semantics
-
Springer
-
Hartmut Ehrig and Bernd Mahr. Fundamentals of Algebraic Specification 1: Equations and Initial Semantics. Springer, 1985. EATCS Monographs on Theoretical Computer Science, Vol. 6.
-
(1985)
EATCS Monographs on Theoretical Computer Science
, vol.6
-
-
Ehrig, H.1
Mahr, B.2
-
12
-
-
0000039028
-
Principles of parameterized programming
-
Ted Biggerstaff and Alan Perlis, editors Addison Wesley
-
Joseph Goguen. Principles of parameterized programming. In Ted Biggerstaff and Alan Perlis, editors, Software Reusability, Volume I: Concepts and Models, pages 159-225. Addison Wesley, 1989.
-
(1989)
Software Reusability: Concepts and Models
, vol.1
, pp. 159-225
-
-
Goguen, J.1
-
13
-
-
0002789583
-
Types as theories
-
George Michael Reed, Andrew William Roscoe, and Ralph F. Wachter, editors Oxford Proceedings of a Conference held at Oxford, June 1989
-
Joseph Goguen. Types as theories. In George Michael Reed, Andrew William Roscoe, and Ralph F. Wachter, editors, Topology and Category Theory in Computer Science, pages 357-390. Oxford, 1991. Proceedings of a Conference held at Oxford, June 1989.
-
(1991)
Topology and Category Theory in Computer Science
, pp. 357-390
-
-
Goguen, J.1
-
14
-
-
0026444654
-
Institutions: Abstract model theory for specification and programming
-
January
-
Joseph Goguen and Rod Burstall. Institutions: Abstract model theory for specification and programming. Journal of the Association for Computing Machinery, 39(1):95-146, January 1992.
-
(1992)
Journal of the Association for Computing Machinery
, vol.39
, Issue.1
, pp. 95-146
-
-
Goguen, J.1
Burstall, R.2
-
15
-
-
84969364034
-
Towards an algebraic semantics for the object paradigm
-
Hartmut Ehrig and Fernando Orejas, editors Springer Lecture Notes in Computer Science
-
Joseph Goguen and Razvan Diaconescu. Towards an algebraic semantics for the object paradigm. In Hartmut Ehrig and Fernando Orejas, editors, Proceedings, Tenth Workshop on Abstract Data Types, pages 1-29. Springer, 1994. Lecture Notes in Computer Science, Volume 785.
-
(1994)
Proceedings, Tenth Workshop on Abstract Data Types
, vol.785
, pp. 1-29
-
-
Goguen, J.1
Diaconescu, R.2
-
16
-
-
0035563205
-
Web-based support for cooperative software engineering
-
Special issue for papers from a conference in Taipei, December 2000
-
Joseph Goguen and Kai Lin. Web-based support for cooperative software engineering. Annals of Software Engineering, 12:25-32, 2001. Special issue for papers from a conference in Taipei, December 2000.
-
(2001)
Annals of Software Engineering
, vol.12
, pp. 25-32
-
-
Goguen, J.1
Lin, K.2
-
17
-
-
84960940206
-
Circular coinductive rewriting
-
IEEE Proceedings of a workshop held in Grenoble, France
-
Joseph Goguen, Kai Lin, and Grigore Rosu. Circular coinductive rewriting. In Automated Software Engineering '00, pages 123-131. IEEE, 2000. Proceedings of a workshop held in Grenoble, France.
-
(2000)
Automated Software Engineering '00
, pp. 123-131
-
-
Goguen, J.1
Lin, K.2
Rosu, G.3
-
18
-
-
84945185963
-
Behavioral and coinductive rewriting
-
Elsevier Electronic Notes on Theoretical Computer Science
-
Joseph Goguen, Kai Lin, and Grigore Rosu. Behavioral and coinductive rewriting. In Proceedings, Rewriting Logic Workshop, 2000. Elsevier, 2001. Electronic Notes on Theoretical Computer Science, Volume 36, at www.elsevier.nl/locate/entcs/volume36.html.
-
(2000)
Proceedings, Rewriting Logic Workshop
, vol.36
, pp. 2001
-
-
Goguen, J.1
Lin, K.2
Rosu, G.3
-
19
-
-
84978604948
-
Hidden coinduction: Behavioral correctness proofs for objects
-
June
-
Joseph Goguen and Grant Malcolm. Hidden coinduction: Behavioral correctness proofs for objects. Mathematical Structures in Computer Science, 9(3):287-319, June 1999.
-
(1999)
Mathematical Structures in Computer Science
, vol.9
, Issue.3
, pp. 287-319
-
-
Goguen, J.1
Malcolm, G.2
-
20
-
-
0002583222
-
A hidden agenda
-
August Also UCSD Dept. Computer Science & Eng. Technical Report CS97-538, May 1997
-
Joseph Goguen and Grant Malcolm. A hidden agenda. Theoretical Computer Science, 245(1):55-101, August 2000. Also UCSD Dept. Computer Science & Eng. Technical Report CS97-538, May 1997.
-
(2000)
Theoretical Computer Science
, vol.245
, Issue.1
, pp. 55-101
-
-
Goguen, J.1
Malcolm, G.2
-
21
-
-
0027116146
-
Order-sorted algebra I: Equational deduction for multiple inheritance, overloading, exceptions and partial operations
-
Drafts exist from as early as 1985
-
Joseph Goguen and José Meseguer. Order-sorted algebra I: Equational deduction for multiple inheritance, overloading, exceptions and partial operations. Theoretical Computer Science, 105(2):217-273, 1992. Drafts exist from as early as 1985.
-
(1992)
Theoretical Computer Science
, vol.105
, Issue.2
, pp. 217-273
-
-
Goguen, J.1
Meseguer, J.2
-
22
-
-
84949496605
-
Hiding more of hidden algebra
-
Jeannette Wing, Jim Woodcock, and Jim Davies, editors Springer Lecture Notes in Computer Sciences Proceedings of World Congress on Formal Methods, Toulouse, France
-
Joseph Goguen and Grigore Rosu. Hiding more of hidden algebra. In Jeannette Wing, Jim Woodcock, and Jim Davies, editors, FM'99-Formal Methods, pages 1704-1719. Springer, 1999. Lecture Notes in Computer Sciences, Volume 1709, Proceedings of World Congress on Formal Methods, Toulouse, France.
-
(1999)
FM'99-Formal Methods
, vol.1709
, pp. 1704-1719
-
-
Goguen, J.1
Rosu, G.2
-
23
-
-
0042599636
-
A protocol for distributed cooperative work
-
Gheorghe Stefanescu, editor (Iaşi, Romania) Elsevier Electronic Lecture Notes in Theoretical Computer Science
-
Joseph Goguen and Grigore Rosu. A protocol for distributed cooperative work. In Gheorghe Stefanescu, editor, Proceedings, FCT'99, Workshop on Distributed Systems (Iaşi, Romania), volume 28, pages 1-22. Elsevier, 1999. Electronic Lecture Notes in Theoretical Computer Science.
-
(1999)
Proceedings, FCT'99, Workshop on Distributed Systems
, vol.28
, pp. 1-22
-
-
Goguen, J.1
Rosu, G.2
-
24
-
-
0003347217
-
Introducing OBJ
-
Joseph Goguen and Grant Malcolm, editors Kluwer
-
Joseph Goguen, Timothy Winkler, José Meseguer, Kokichi Futatsugi, and Jean-Pierre Jouannaud. Introducing OBJ. In Joseph Goguen and Grant Malcolm, editors, Software Engineering with OBJ: Algebraic Specification in Action, pages 3-167. Kluwer, 2000.
-
(2000)
Software Engineering with OBJ: Algebraic Specification in Action
, pp. 3-167
-
-
Goguen, J.1
Winkler, T.2
Meseguer, J.3
Futatsugi, K.4
Jouannaud, J.-P.5
-
25
-
-
0348062185
-
Context induction: A proof principle for behavioural abstractions
-
A. Miola, editor Springer
-
Rolf Hennicker. Context induction: a proof principle for behavioural abstractions. In A. Miola, editor, Proceedings, International Symposium on the Design and Implementation of Symbolic Computation Systems, volume 429 of Lecture Notes in Computer Science, pages 101-110. Springer, 1990.
-
(1990)
Proceedings, International Symposium on the Design and Implementation of Symbolic Computation Systems of Lecture Notes in Computer Science
, vol.429
, pp. 101-110
-
-
Hennicker, R.1
-
29
-
-
0002928286
-
Initiality, induction and computability
-
Maurice Nivat and John Reynolds, editors Cambridge
-
José Meseguer and Joseph Goguen. Initiality, induction and computability. In Maurice Nivat and John Reynolds, editors, Algebraic Methods in Semantics, pages 459-541. Cambridge, 1985.
-
(1985)
Algebraic Methods in Semantics
, pp. 459-541
-
-
Meseguer, J.1
Goguen, J.2
-
30
-
-
0003276135
-
A calculus of communicating systems
-
Springer
-
Robin Milner. A Calculus of Communicating Systems. Springer, 1980. Lecture Notes in Computer Science, Volume 92.
-
(1980)
Lecture Notes in Computer Science
, vol.92
-
-
Milner, R.1
-
31
-
-
84945924340
-
Concurrency and automata on infinite sequences
-
Springer
-
David M.R. Park. Concurrency and Automata on Infinite Sequences. Springer, 1980. Lecture Notes in Computer Science, Volume 104.
-
(1980)
Lecture Notes in Computer Science
, vol.104
-
-
Park, D.M.R.1
-
32
-
-
0347567659
-
Behavioural equivalence-a unifying concept for initial and final specifications
-
Akademiai Kiado Budapest
-
Horst Reichel. Behavioural equivalence-a unifying concept for initial and final specifications. In Proceedings, Third Hungarian Computer Science Conference. Akademiai Kiado, 1981. Budapest.
-
(1981)
Proceedings, Third Hungarian Computer Science Conference
-
-
Reichel, H.1
-
33
-
-
0004193326
-
-
PhD thesis, University of California at San Diego
-
Grigore Rosu. Hidden Logic. PhD thesis, University of California at San Diego, 2000.
-
(2000)
Hidden Logic
-
-
Rosu, G.1
-
34
-
-
0004466761
-
Hidden congruent deduction
-
Ricardo Caferra and Gernot Salzer, editors Technische Universität Wien (Schloss Wilhelminenberg, Vienna, November 23-25, 1998
-
Grigore Rosu and Joseph Goguen. Hidden congruent deduction. In Ricardo Caferra and Gernot Salzer, editors, Proceedings, 1998 Workshop on First Order Theorem Proving, pages 213-223. Technische Universität Wien, 1998. (Schloss Wilhelminenberg, Vienna, November 23-25, 1998).
-
(1998)
Proceedings 1998 Workshop on First Order Theorem Proving
, pp. 213-223
-
-
Rosu, G.1
Goguen, J.2
|