Tag #eiffel
54 papers:
WCRE-2012-TrudelFN #automation #c- Automatic C to O-O Translation with C2Eiffel (MT, CAF, MN), pp. 501–502.
ECOOP-2011-SteimannKP #constraints #refactoring- A Refactoring Constraint Language and Its Application to Eiffel (FS, CK, JvP), pp. 255–280.
TOOLS-EUROPE-2011-TrudelOFN #automation #java #source code- Automated Translation of Java Source Code to Eiffel (MT, MO, CAF, MN), pp. 20–35.
- TOOLS-EUROPE-2009-NordioCMM #logic
- A Sound and Complete Program Logic for Eiffel (MN, CC, PM, BM), pp. 195–214.
- TOOLS-EUROPE-2008-NordioMM #compilation #source code
- Proof-Transforming Compilation of Eiffel Programs (MN, PM, BM), pp. 316–335.
- WCRE-2005-WangT #design pattern #detection
- Design Pattern Detection in Eiffel Systems (WW, VT), pp. 165–174.
- TOOLS-USA-2003-ArdourelH04 #graph
- Class-based Visibility from an MDA Perspective: From Access Graphs to Eiffel Code (GA, MH), pp. 177–195.
- TOOLS-USA-2003-ArnoutB04 #how
- How to get a Singleton in Eiffel (KA, EB), pp. 75–95.
- TOOLS-USA-2003-RibetAZC04 #consistency
- Conformance of agents in the Eiffel language (PR, CA, OZ, DC), pp. 125–143.
- TOOLS-USA-2002-BackerDS #education #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 #library- Mechanized Analysis of Behavioral Conformance in the Eiffel Base Libraries (SH, TS), pp. 20–42.
- TOOLS-USA-2001-ArnoutS #contract #design #dot-net
- The .NET Contract Wizard: Adding Design by Contract to Languages Other than Eiffel (KA, RS), pp. 14–23.
- TOOLS-USA-2001-McKim #library #programming
- Reuse-Based Programming with the Eiffel Libraries (JCM), p. 334.
- TOOLS-USA-2001-Nudelman #design
- Designing and Building the Eiffel Binding for COM (MN), pp. 66–72.
- TOOLS-PACIFIC-2000-ColnetL
- Match-O, A Dialect of Eiffel with Match-Types (DC, LL), pp. 190–201.
- TOOLS-USA-2000-Meyer00b #programming
- Agent-Based Programming In Eiffel (BM), pp. 477–478.
- TOOLS-EUROPE-1999-ColnetZ #compilation #optimisation #source code
- Optimizations of Eiffel Programs: Smalleiffel, the GNU Eiffel Compiler (DC, OZ), pp. 341–350.
- TOOLS-EUROPE-1999-Meyer99c #development
- Seamless Development with the Eiffel Method (BM), p. 397.
- TOOLS-PACIFIC-1999-ZendraC #library
- Adding External Iterators to an Existing Eiffel Class Library (OZ, DC), pp. 188–199.
- TOOLS-USA-1999-Dedene #case study #education #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 #java
- Java, Eiffel and C++: The Language Comparison (IJ), p. 441.
- TOOLS-USA-1999-MaughanS #library
- Mastering the Windows Eiffel Library (GM, RS), p. 444.
- TOOLS-USA-1998-Joyner #c++ #comparison #java #object-oriented
- OO Language Comparison: Java, Eiffel and C++ (IJ), p. 405.
- TOOLS-USA-1998-Meyer98a #contract #design
- Design by Contract: The Eiffel Method (BM), p. 446.
- TOOLS-USA-1998-Webre #legacy
- Rescuing a Legacy System as a First Eiffel Project (HW), p. 500–?.
ASE-1998-PaigeO - From Z to BON/Eiffel (RFP, JSO), pp. 209–212.
- TOOLS-USA-1997-McKim
- Eiffel Essentials (JCM), p. 370.
- TOOLS-USA-1997-PotterS #java #named #question
- Keynotes: Java and Eiffel: A de facto relationship? (JP, RS), p. 3.
TRI-Ada-1996-NeedhamDGPZME #ada #design #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 #object-oriented #programming- Teaching Object Oriented Programming and Design with Eiffel (JCM), p. 445.
- FME-1994-CordeiroSM #approach #development
- From MooZ to Eiffel — A Rigorous Approach to System Development (VAOC, AS, SRdLM), pp. 306–325.
- TOOLS-EUROPE-1994-LawsonHQ #inheritance
- The Potential For Reverse Type Inheritance in Eiffel (TL, CH, MQ), pp. 349–357.
- TOOLS-EUROPE-1994-McKim
- Eiffel Essentials Presentation (JCM), p. 333.
- TOOLS-EUROPE-1994-Mingins
- The Eiffel Method (CM), p. 509.
- TOOLS-EUROPE-1994-SuppiahLJ #constraints
- Expressing and Processing Constraints in Eiffel (AS, TL, ACJ), pp. 337–347.
- TOOLS-EUROPE-1994-Wiener94a #c++ #comparison
- A Critical Comparison of C++ and Eiffel — A Clash of Cultures (RW), p. 541.
- TOOLS-EUROPE-1993-Howard #approach #standard
- Associated Paper: The NICE Approach to Eiffel Standardization (RH), p. 273.
- TOOLS-EUROPE-1993-McHughC #distributed #implementation #persistent
- Eiffel**: An Implementation of Eiffel on Amadeus, a Persistent, Distributed Applications Support Environment (CM, VC), pp. 47–62.
- TOOLS-PACIFIC-1993-JalloulP
- A Separate Proposal for Eiffel (GJ, JP), pp. 63–74.
- TOOLS-PACIFIC-1993-PotterM #design #object-oriented
- Object-Oriented Design — the Eiffel Method (JP, CM), p. 320.
- TOOLS-USA-1993-MinginsDS #analysis #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 #object-oriented #programming
- A Case Study in Object Oriented Programming: Algebraic Structures in Eiffel (PS), pp. 379–388.
- TOOLS-USA-1993-Wiener #object-oriented #smalltalk
- Comparing OOP Languages — A Critical Look at C++, Smalltalk, and Eiffel (RW), p. 526.
- ECOOP-1992-Jezequel #distributed #memory management #named #parallel
- EPEE: an Eiffel Environment to Program Distributed Memory Parallel Computers (JMJ), pp. 197–212.
- TOOLS-EUROPE-1992-CarnduffG #design #library
- An Eiffel Class Library for Ship Design (TWC, WAG), pp. 233–245.
- TOOLS-EUROPE-1992-Johnson #network #resource management
- An Eiffel Program for Static Network Resource Allocation (PJ), pp. 335–347.
- TOOLS-EUROPE-1992-Johnson92a
- Intermediate Eiffel (PJ), pp. 431–432.
- TOOLS-PACIFIC-1992-JalloulP #concurrent #modelling
- Models for Concurrent Eiffel (GJ, JP), pp. 183–191.
- TOOLS-USA-1992-Butler
- Developing Scientific Software with Eiffel (DMB), p. 263.
- TOOLS-USA-1992-KaraormanB #concurrent
- A concurrency Mechanism for Sequential Eiffel (MK, JLB), pp. 63–77.
- TOOLS-USA-1991-McKim #development
- Software Development with Eiffel (JCM), pp. 437–438.
- TOOLS-USA-1991-Nerson91a #analysis #design #towards
- Associated Paper: Extending Eiffel Toward O-O Analysis and Design (JMN), pp. 377–392.
- ECOOP-1989-Cook #type safety
- A Proposal for Making Eiffel Type-Safe (WRC), pp. 57–70.
ESEC-1987-MeyerNM #design #named #object-oriented #re-engineering- EIFFEL: Object-Oriented Design for Software Engineering (BM, JMN, MM), pp. 221–229.
