This document is a brief introduction to the programming language, Eiffel version 2.2, as currently available on the Sparc Workstations. It assumes a basic knowledge of object oriented concepts, terminology and techniques. Further details of the terminology and techniques associated with Eiffel can be obtained from Meyer. Version 3 should be available during 1992. Any changes will be reported in a subsequent document. The remainder of this document has two sections. The first section contains the general information required to access and use the Eiffel environment. An example system supplied with the environment is used to demonstrate the available tools. The same example is used in the second section as an introduction to the syntax of th...
We present a refinement calculus for transforming object-oriented (OO) specifications (or lsquocontr...
Programme 2 - Calcul symbolique, programmation et genie logiciel - Projets CROAP et SLOOPSIGLEAvaila...
this paper introduces concurrency to the object-oriented language Eiffel by providing a set of Class...
This document contains a brief overview and introduction to the syntax and semantics of the Eiffel p...
This paper formally describes the dynamic semantic of the Eiffel// language (Eiffel parallel). Eiffe...
The purpose of this document is to define a very small language Eiffel0 as a subset of Eiffel[1]. Th...
Teaching object oriented design and pro-gramming requires the use of some object oriented language f...
One of the Object Technology goals is to offer a seamless transition in the development of systems....
An object-oriented design is presented for building interactive 3D graphics applications. The design...
The languages Oberon-2, Eiffel and C++ allow an object-oriented style of program to be implemented. ...
This paper summarises the work of a University of Mancshester / ICL collaborative project, which is ...
Article dans une revue de vulgarisation.Cet article introductif présentera les notions principales d...
Article dans une revue de vulgarisation.Cette troisième partie de notre introduction à la programmat...
EiffelVision 2 is an object-oriented library for developing graphical user in-terfaces in Eiffel. It...
Featuring a small set of concepts (e.g. systematic asynchronous communications, polymorphism between...
We present a refinement calculus for transforming object-oriented (OO) specifications (or lsquocontr...
Programme 2 - Calcul symbolique, programmation et genie logiciel - Projets CROAP et SLOOPSIGLEAvaila...
this paper introduces concurrency to the object-oriented language Eiffel by providing a set of Class...
This document contains a brief overview and introduction to the syntax and semantics of the Eiffel p...
This paper formally describes the dynamic semantic of the Eiffel// language (Eiffel parallel). Eiffe...
The purpose of this document is to define a very small language Eiffel0 as a subset of Eiffel[1]. Th...
Teaching object oriented design and pro-gramming requires the use of some object oriented language f...
One of the Object Technology goals is to offer a seamless transition in the development of systems....
An object-oriented design is presented for building interactive 3D graphics applications. The design...
The languages Oberon-2, Eiffel and C++ allow an object-oriented style of program to be implemented. ...
This paper summarises the work of a University of Mancshester / ICL collaborative project, which is ...
Article dans une revue de vulgarisation.Cet article introductif présentera les notions principales d...
Article dans une revue de vulgarisation.Cette troisième partie de notre introduction à la programmat...
EiffelVision 2 is an object-oriented library for developing graphical user in-terfaces in Eiffel. It...
Featuring a small set of concepts (e.g. systematic asynchronous communications, polymorphism between...
We present a refinement calculus for transforming object-oriented (OO) specifications (or lsquocontr...
Programme 2 - Calcul symbolique, programmation et genie logiciel - Projets CROAP et SLOOPSIGLEAvaila...
this paper introduces concurrency to the object-oriented language Eiffel by providing a set of Class...