Stem eiffel$ (all stems)

57 papers:

WCRE-2012-TrudelFN #automation #c #eiffel

Automatic C to O-O Translation with C2Eiffel (MT, CAF, MN), pp. 501–502.

ECOOP-2011-SteimannKP #constraints #eiffel #refactoring

A Refactoring Constraint Language and Its Application to Eiffel (FS, CK, JvP), pp. 255–280.

TOOLS-EUROPE-2011-TrudelOFN #automation #eiffel #java #source code

Automated Translation of Java Source Code to Eiffel (MT, MO, CAF, MN), pp. 20–35.

TOOLS-EUROPE-2009-NordioCMM #eiffel #logic

A Sound and Complete Program Logic for Eiffel (MN, CC, PM, BM), pp. 195–214.

TOOLS-EUROPE-2008-NordioMM #compilation #eiffel #source code

Proof-Transforming Compilation of Eiffel Programs (MN, PM, BM), pp. 316–335.

WCRE-2005-WangT #design pattern #detection #eiffel

Design Pattern Detection in Eiffel Systems (WW, VT), pp. 165–174.

TOOLS-USA-2003-ArdourelH04 #eiffel #graph

Class-based Visibility from an MDA Perspective: From Access Graphs to Eiffel Code (GA, MH), pp. 177–195.

TOOLS-USA-2003-ArnoutB04 #eiffel #how

How to get a Singleton in Eiffel (KA, EB), pp. 75–95.

TOOLS-USA-2003-RibetAZC04 #consistency #eiffel

Conformance of agents in the Eiffel language (PR, CA, OZ, DC), pp. 125–143.

TOOLS-USA-2003-Silva04 #approach #concurrent #object-oriented #programming

Concurrent Object-Oriented Programming: The MP-Eiffel Approach (MOeS), pp. 97–124.

TOOLS-USA-2002-BackerDS #education #eiffel #encapsulation #web #web service

An Encapsulated Eiffel Education Environment, based on Web Services (MDB, GD, MS), pp. 97–106.

FME-2001-HelkeS #analysis #behaviour #consistency #eiffel #library

Mechanized Analysis of Behavioral Conformance in the Eiffel Base Libraries (SH, TS), pp. 20–42.

TOOLS-USA-2001-ArnoutS #contract #design #dot-net #eiffel

The .NET Contract Wizard: Adding Design by Contract to Languages Other than Eiffel (KA, RS), pp. 14–23.

TOOLS-USA-2001-McKim #eiffel #library #programming

Reuse-Based Programming with the Eiffel Libraries (JCM), p. 334.

TOOLS-USA-2001-Nudelman #design #eiffel

Designing and Building the Eiffel Binding for COM (MN), pp. 66–72.

TOOLS-PACIFIC-2000-ColnetL #eiffel

Match-O, A Dialect of Eiffel with Match-Types (DC, LL), pp. 190–201.

TOOLS-USA-2000-Meyer00b #eiffel #programming

Agent-Based Programming In Eiffel (BM), pp. 477–478.

TOOLS-EUROPE-1999-ColnetZ #compilation #eiffel #optimisation #source code

Optimizations of Eiffel Programs: Smalleiffel, the GNU Eiffel Compiler (DC, OZ), pp. 341–350.

TOOLS-EUROPE-1999-Meyer99c #development #eiffel

Seamless Development with the Eiffel Method (BM), p. 397.

TOOLS-PACIFIC-1999-ZendraC #eiffel #library

Adding External Iterators to an Existing Eiffel Class Library (OZ, DC), pp. 188–199.

TOOLS-USA-1999-Dedene #case study #education #eiffel #experience #programming language #student

Experiences Teaching Eiffel as a First Programming Language to Economy Students (GD), pp. 584–592.

TOOLS-USA-1999-Joyner #c++ #comparison #eiffel #java

Java, Eiffel and C++: The Language Comparison (IJ), p. 441.

TOOLS-USA-1999-MaughanS #eiffel #library

Mastering the Windows Eiffel Library (GM, RS), p. 444.

ASE-1998-PaigeO #eiffel

From Z to BON/Eiffel (RFP, JSO), pp. 209–212.

TOOLS-USA-1998-Joyner #c++ #comparison #eiffel #java #object-oriented

OO Language Comparison: Java, Eiffel and C++ (IJ), p. 405.

TOOLS-USA-1998-Meyer98a #contract #design #eiffel

Design by Contract: The Eiffel Method (BM), p. 446.

TOOLS-USA-1998-Webre #eiffel #legacy

Rescuing a Legacy System as a First Eiffel Project (HW), p. 500–?.

OOPSLA-1997-ZendraCC #compilation #performance

Efficient Dynamic Dispatch without Virtual Function Tables: The SmallEiffel Compiler (OZ, DC, SC), pp. 125–141.

TOOLS-USA-1997-McKim #eiffel

Eiffel Essentials (JCM), p. 370.

TOOLS-USA-1997-PotterS #eiffel #java #named #question

Keynotes: Java and Eiffel: A de facto relationship? (JP, RS), p. 3.

TRI-Ada-1996-NeedhamDGPZME #ada #design #eiffel #independence #inheritance #modelling #named #object-oriented

ADAM: A Language-Independent, Object-Oriented, Design Environment for Modeling Inheritance and Relationship Variants in Ada 95, C++, and Eiffel (DMN, SAD, KEG, TJP, PZ, MM, HJCE), pp. 99–113.

CSEE-1995-McKim #design #education #eiffel #object-oriented #programming

Teaching Object Oriented Programming and Design with Eiffel (JCM), p. 445.

FME-1994-CordeiroSM #approach #development #eiffel

From MooZ to Eiffel — A Rigorous Approach to System Development (VAOC, AS, SRdLM), pp. 306–325.

TOOLS-EUROPE-1994-Carrillo-CastellonMP #smalltalk

Eiffel-like Assertions and Private Methods in Smalltalk (MCC, JGM, EP), pp. 479–488.

TOOLS-EUROPE-1994-LawsonHQ #eiffel #inheritance

The Potential For Reverse Type Inheritance in Eiffel (TL, CH, MQ), pp. 349–357.

TOOLS-EUROPE-1994-McKim #eiffel

Eiffel Essentials Presentation (JCM), p. 333.

TOOLS-EUROPE-1994-Mingins #eiffel

The Eiffel Method (CM), p. 509.

TOOLS-EUROPE-1994-SuppiahLJ #constraints #eiffel

Expressing and Processing Constraints in Eiffel (AS, TL, ACJ), pp. 337–347.

TOOLS-EUROPE-1994-Wiener94a #c++ #comparison #eiffel

A Critical Comparison of C++ and Eiffel — A Clash of Cultures (RW), p. 541.

TOOLS-EUROPE-1993-Howard #approach #eiffel #standard

Associated Paper: The NICE Approach to Eiffel Standardization (RH), p. 273.

TOOLS-EUROPE-1993-McHughC #distributed #eiffel #implementation #persistent

Eiffel**: An Implementation of Eiffel on Amadeus, a Persistent, Distributed Applications Support Environment (CM, VC), pp. 47–62.

TOOLS-PACIFIC-1993-JalloulP #eiffel

A Separate Proposal for Eiffel (GJ, JP), pp. 63–74.

TOOLS-PACIFIC-1993-PotterM #design #eiffel #object-oriented

Object-Oriented Design — the Eiffel Method (JP, CM), p. 320.

TOOLS-USA-1993-MinginsDS #analysis #eiffel #metric

Collection and Analysis of Software Metrics from the Eiffel Class Hierarchy (CM, BD, GS), pp. 427–435.

TOOLS-USA-1993-Sanders #algebra #case study #eiffel #object-oriented #programming

A Case Study in Object Oriented Programming: Algebraic Structures in Eiffel (PS), pp. 379–388.

TOOLS-USA-1993-Wiener #eiffel #object-oriented #smalltalk

Comparing OOP Languages — A Critical Look at C++, Smalltalk, and Eiffel (RW), p. 526.

ECOOP-1992-Jezequel #distributed #eiffel #memory management #named #parallel

EPEE: an Eiffel Environment to Program Distributed Memory Parallel Computers (JMJ), pp. 197–212.

TOOLS-EUROPE-1992-CarnduffG #design #eiffel #library

An Eiffel Class Library for Ship Design (TWC, WAG), pp. 233–245.

TOOLS-EUROPE-1992-Johnson #eiffel #network #resource management

An Eiffel Program for Static Network Resource Allocation (PJ), pp. 335–347.

TOOLS-EUROPE-1992-Johnson92a #eiffel

Intermediate Eiffel (PJ), pp. 431–432.

TOOLS-PACIFIC-1992-JalloulP #concurrent #eiffel #modelling

Models for Concurrent Eiffel (GJ, JP), pp. 183–191.

TOOLS-USA-1992-Butler #eiffel

Developing Scientific Software with Eiffel (DMB), p. 263.

TOOLS-USA-1992-KaraormanB #concurrent #eiffel

A concurrency Mechanism for Sequential Eiffel (MK, JLB), pp. 63–77.

TOOLS-USA-1991-McKim #development #eiffel

Software Development with Eiffel (JCM), pp. 437–438.

TOOLS-USA-1991-Nerson91a #analysis #design #eiffel #towards

Associated Paper: Extending Eiffel Toward O-O Analysis and Design (JMN), pp. 377–392.

ECOOP-1989-Cook #eiffel #type safety

A Proposal for Making Eiffel Type-Safe (WRC), pp. 57–70.

ESEC-1987-MeyerNM #design #eiffel #named #object-oriented #re-engineering

EIFFEL: Object-Oriented Design for Software Engineering (BM, JMN, MM), pp. 221–229.