-
3
-
-
49949087768
-
Unifying Modeling and Programming Through an Active, Object-Oriented, Model-Equivalent Programming Language
-
13-15 Dec 1995. Gold Coast, Australia. Lecture Notes in Computer Science
-
Liddle S.W., Embley D.W., Woodfield S.N. Unifying Modeling and Programming Through an Active, Object-Oriented, Model-Equivalent Programming Language. In Proceedings of 14th International Conference on Object-Oriented and Entity-Relationship Modeling (OOER'95). 13-15 Dec 1995. Gold Coast, Australia. Lecture Notes in Computer Science v. 1021; p. 55-64. 1995.
-
(1995)
Proceedings of 14th International Conference on Object-Oriented and Entity-Relationship Modeling (OOER'95)
, vol.1021
, pp. 55-64
-
-
Liddle, S.W.1
Embley, D.W.2
Woodfield, S.N.3
-
8
-
-
84957817918
-
-
Ptech Inc., Boston, MA, USA, Web Site
-
Ptech FrameWork. Ptech Inc., Boston, MA, USA, Web Site: http://www.ptechinc.com/. 1998.
-
(1998)
Ptech FrameWork
-
-
-
11
-
-
84880225097
-
OASIS: An object-oriented specification language
-
P. Loucopoulos, editor, Berlin, Springer, LNCS 593
-
Pastor O., Hayes F., Bear S. OASIS: An object-oriented specification language. In P. Loucopoulos, editor, Proceedings of the CAiSE'92 conference, pp. 348-363, Berlin, Springer, LNCS 593 (1992).
-
(1992)
Proceedings of the CAiSE'92 conference
, pp. 348-363
-
-
Pastor, O.1
Hayes, F.2
Bear, S.3
-
12
-
-
0026995439
-
Tunable Formalism in Object-Oriented System Analysis: Meeting the Needs of Both Theoreticians and Practitioners
-
Vancouver, Canada
-
Clyde S. W., Embley D.W., Woodfield S.N. Tunable Formalism in Object-Oriented System Analysis: Meeting the Needs of Both Theoreticians and Practitioners. In Proceedings of OOPSLA'92 Conference. Vancouver, Canada; p. 452-465. 1992.
-
(1992)
Proceedings of OOPSLA'92 Conference
, pp. 452-465
-
-
Clyde, S.W.1
Embley, D.W.2
Woodfield, S.N.3
-
14
-
-
84947906717
-
OO-METHOD: An OO Software Production Environment Combining Conventional and Formal Methods
-
Antoni Olivé and Joan Antoni Pastor editors, Berlin, Springer-Verlag, LNCS 1250. June
-
Pastor O. et al. OO-METHOD: An OO Software Production Environment Combining Conventional and Formal Methods. In Antoni Olivé and Joan Antoni Pastor editors, Proceedings of CAiSE97 conference, pp. 145-158, Berlin, Springer-Verlag, LNCS 1250. June 1997.
-
(1997)
Proceedings of CAiSE97 conference
, pp. 145-158
-
-
Pastor, O.1
-
15
-
-
84892245902
-
Automated Support for the Development of Formal Object-Oriented Requirements Specification
-
Utrecht, The Netherlands. Lecture Notes in Computer Science
-
Jackson R.B., Embley D.W., Woodfield S.N. Automated Support for the Development of Formal Object-Oriented Requirements Specification. In Proceedings of CAiSE-94 Conference. Utrecht, The Netherlands. Lecture Notes in Computer Science; v. 811; p.135-148. 1994.
-
(1994)
Proceedings of CAiSE-94 Conference
, vol.811
, pp. 135-148
-
-
Jackson, R.B.1
Embley, D.W.2
Woodfield, S.N.3
-
16
-
-
84957810749
-
Architecting object applications for high performance with relational databases
-
Austin
-
Argawal S., Jensen R., and Keller A. M. Architecting object applications for high performance with relational databases. In OOPSLA Workshop on Object Database Behaviour, Benchmarks, and Performance, Austin, 1995.
-
(1995)
OOPSLA Workshop on Object Database Behaviour, Benchmarks, and Performance
-
-
Argawal, S.1
Jensen, R.2
Keller, A.M.3
|