Eiffel - researchr tag

researchr

You are not signed in
Sign in
Sign up

2011

A Refactoring Constraint Language and Its Application to EiffelFriedrich Steimann, Christian Kollee, Jens von Pilgrim. ECOOP 2011: 255-280 [doi]

Automated Translation of Java Source Code to EiffelMarco Trudel, Manuel Oriol, Carlo A. Furia, Martin Nordio. TOOLS 2011: 20-35 [doi]

2009

Cameo: an alternative model of concurrency for EiffelPhillip J. Brooke, Richard F. Paige. fac, 21(4):363-391, 2009. [doi]

A Sound and Complete Program Logic for EiffelMartin Nordio, Cristiano Calcagno, Peter MÃ¼ller, Bertrand Meyer. TOOLS 2009: 195-214 [doi]

2008

Eiffel for .NET Binding for db4oRuihua Jin, Marco Piccioni. icoodb 2008: 161-166

Proof-Transforming Compilation of Eiffel ProgramsMartin Nordio, Peter Müller, Bertrand Meyer. TOOLS 2008: 316-335 [doi]

2007

Exceptions in Concurrent EiffelPhillip J. Brooke, Richard F. Paige. jot, 6(10):111-126, 2007. [doi]

A CSP model of Eiffel s SCOOPPhillip J. Brooke, Richard F. Paige, Jeremy L. Jacob. fac, 19(4):487-512, 2007. [doi]

2006

Reconciling Subtyping and Code Reuse in Object-Oriented Languages: Using ::::inherit:::: and ::::insert:::: in SmartEiffel, the GNU Eiffel CompilerDominique Colnet, Guillem Marpons-Ucero, Frederic Merizen. icsr 2006: 203-216 [doi]

Exceptions in Java and Eiffel: Two Extremes in Exception Design and ApplicationJoseph R. Kiniry. ecoopwException 2006: 288-300 [doi]

Héritage non conforme en EiffelFrederic Merizen, Dominique Colnet, Philippe Ribet, Cyril Adrian. lmo 2006: 87-100

2005

Eiffel as a Framework for VerificationBertrand Meyer. vstte 2008: 301-307 [doi]

E-Tester: a Contract-Aware and Agent-Based Unit Testing Framework for EiffelJonathan S. Ostroff, Richard F. Paige, David Makalsky, Phillip J. Brooke. jot, 4(7):97-114, 2005. [doi]

Design Pattern Detection in Eiffel SystemsWei Wang, Vassilios Tzerpos. wcre 2005: 165-174 [doi]

2004

Class-based Visibility from an MDA Perspective: From Access Graphs to Eiffel CodeGilles Ardourel, Marianne Huchard. jot, 3(4):177-195, 2004. [doi]

How to get a Singleton in EiffelKarine Arnout, Eric Bezault. jot, 3(4):75-95, 2004. [doi]

Concurrent Object-Oriented Programming: The MP-Eiffel ApproachMiguel Oliveira e Silva. jot, 3(4):97-124, 2004. [doi]

SECG: The SCOOP-to-Eiffel Code GeneratorOleksandr Fuks, Jonathan S. Ostroff, Richard F. Paige. jot, 3(10):143-161, 2004. [doi]

Specification-Driven Design with Eiffel and Agents for Teaching Lightweight Formal MethodsRichard F. Paige, Jonathan S. Ostroff. tfm 2004: 107-123 [doi]

ERC - An object-oriented refinement calculus for EiffelRichard F. Paige, Jonathan S. Ostroff. fac, 16(1):51-79, 2004. [doi]

Conformance of agents in the Eiffel languagePhilippe Ribet, Cyril Adrian, Olivier Zendra, Dominique Colnet. jot, 3(4):125-143, 2004. [doi]

DPVK - An Eclipse Plug-in to Detect Design Patterns in Eiffel SystemsWei Wang, Vassilios Tzerpos. ENTCS, 107:71-86, 2004. [doi]

2002

An Encapsulated Eiffel Education Environment, based on Web ServicesManu De Backer, Guido Dedene, Monique Snoeck. jot, 1(3):97-106, 2002. [doi]

Eiffel Assertions and the External Structure of Classes and ObjectsPeter Horan. jot, 1(4):105-118, 2002. [doi]

The Start of an Eiffel StandardBertrand Meyer. jot, 1(2):95-99, 2002. [doi]

2001

2000

Match-O, A Dialect of Eiffel with Match-TypesDominique Colnet, Luigi Liquori. TOOLS 2000: 190-201 [doi]

Agent-Based Programming In EiffelBertrand Meyer. TOOLS 2000: 477-478 [doi]

Vers un usage plus sûr de l aliasing avec EiffelOlivier Zendra, Dominique Colnet. lmo 2000: 183-194

1999

Optimizations of Eiffel Programs: Smalleiffel, the GNU Eiffel CompilerDominique Colnet, Olivier Zendra. TOOLS 1999: 341-350 [doi]

Réalisation en Eiffel d un atelier de génie logiciel centré procédéXavier Crégut, Bernard Coulette. Lobjet, 5(3/4), 1999.

Experiences Teaching Eiffel as a First Programming Language to Economy StudentsGuido Dedene. TOOLS 1999: 584-592 [doi]

Java, Eiffel and C++: The Language ComparisonIan Joyner. TOOLS 1999: 441 [doi]

Mastering the Windows Eiffel LibraryGlenn Maughan, Raphael Simon. TOOLS 1999: 444 [doi]

Seamless Development with the Eiffel MethodBertrand Meyer. TOOLS 1999: 397 [doi]

Eiffel Workshop: Tools and PlatformsSimon Parker. TOOLS 1999: 418 [doi]

Towards Safer Aliasing with the Eiffel LanguageOlivier Zendra, Dominique Colnet. ECOOPW 1999: 153-154

Adding External Iterators to an Existing Eiffel Class LibraryOlivier Zendra, Dominique Colnet. TOOLS 1999: 188-199 [doi]

1998

1997

1996

A Natural Semantics for Eiffel Dynamic BindingIsabelle Attali, Denis Caromel, Sidi O. Ehmety. TOPLAS, 18(6):711-729, 1996. [doi]

Eiffel in Practice: Reflections of an Eiffel ProgrammerRichie Bielak. joop, 9(2):67, 1996.

Classification et réification des assertions - Application au langage EiffelPhilippe Collet, Roger Rousseau. lmo 1996: 29-45

Eiffel in Computer Science EducationJames E. Heliotis. joop, 9(2):64, 1996.

More About the Eiffel Library Kernel StandardRobert Howard. joop, 8(8):59-60, 1996.

Eiffel goes ConcurrentRobert Howard. joop, 9(5):78-81, 1996.

Inside an Eiffel ArchitectureRobert Howard. joop, 9(6):86, 1996.

Why Your next Project Should use EiffelBertrand Meyer. joop, 9(2):59, 1996.

ADAM: A Language-Independent, Object-Oriented, Design Environment for Modeling Inheritance and Relationship Variants in Ada 95, C++, and EiffelDonald M. Needham, Steven A. Demurjian, Karim El Guemhioui, Thomas J. Peters, P. Zamani, M. McMahon, Heidi J. C. Ellis. sigada 1996: 99-113 [doi]

Teaching Eiffel as a First LanguageRobert S. Rist. joop, 9(1):30-41, 1996.

How we got Hooked on EiffelSteve Tynor, Fred Hart. joop, 9(2):75, 1996.

1995

Reactive Programming in Eiffel//Denis Caromel, Yves Roudier. obpdc 1996: 125-147

A Pragmatic Approach to C++, Eiffel and Ada 9X ProgrammingGabriela O. de Vivo, Marco de Vivo. SIGPLAN, 30(9):9-16, 1995.

Objektorientierte Konzepte in Smalltalk, C++, Objective-C, Eiffel und Modula-3 Harald Gall, Manfred Hauswirth, René Klösch. insk, 18(4):195-202, 1995.

The New Eiffel Kernel Library Standard: Class GeneralRobert Howard. joop, 8(7):64-65, 1995.

Lessons Learned in a First Eiffel ProjectRobert Howard, Shahzad Pervez. joop, 7(8):72-74, 1995.

The New Eiffel Kernel Library StandardRobert Howard. joop, 8(6):85-88, 1995.

Teaching Object Oriented Programming and Design with EiffelJames C. McKim. csee 1995: 445-445

Denotational semantics of a simple model of EiffelYuzhong Qu, Zhijian Wang, Jiafu Xu. jcst, 10(3):214-226, 1995. [doi]

Object-oriented implementation of the OSF/MotifTM widget set in EiffelFergal Somers, Ghee S. Teo, Francis Neelamkavil. cg, 19(4):575-583, 1995. [doi]

C++, Common Lisp/CLOS, Eiffel oder Smalltalk?Angi Voß. ki, 9(2):35-44, 1995.

1994

Eiffel-like Assertions and Private Methods in SmalltalkManuela Carrillo-Castellon, Jesús García Molina, Ernesto Pimentel. TOOLS 1994: 479-488

FLOO: A Strong Coupling Between Eiffel Language and 02 DBMSR. Chignoli, J. Farre, Philippe Lahire, Roger Rousseau. coodbse 1994: 206-223

From MooZ to Eiffel - A Rigorous Approach to System DevelopmentVirgínia A. O. Cordeiro, Augusto Sampaio, Silvio Romero de Lemos Meira. fm 1994: 306-325

An Afternoon with Eiffel and C++Aaron Hillegass. joop, 7(3):52, 1994.

The Potential For Reverse Type Inheritance in EiffelTed Lawson, Christine Hollinshead, Munib Qutaishat. TOOLS 1994: 349-357

Eiffel Essentials PresentationJames C. McKim. TOOLS 1994: 333

The Eiffel MethodChristine Mingins. TOOLS 1994: 509

Expressing and Processing Constraints in EiffelAsokan Suppiah, Ted Lawson, Andrew C. Jones. TOOLS 1994: 337-347

A Critical Comparison of C++ and Eiffel - A Clash of CulturesRichard Wiener. TOOLS 1994: 541

1993

Associated Paper: The NICE Approach to Eiffel StandardizationRobert Howard. TOOLS 1993: 273

A Separate Proposal for EiffelGhinwa Jalloul, John Potter. TOOLS 1993: 63-74

Eiffel**: An Implementation of Eiffel on Amadeus, a Persistent, Distributed Applications Support EnvironmentColm McHugh, Vinny Cahill. TOOLS 1993: 47-62

Collection and Analysis of Software Metrics from the Eiffel Class HierarchyChristine Mingins, Bohdan Durnota, Glen Smith. TOOLS 1993: 427-435

Object-Oriented Design - the Eiffel MethodJohn Potter, Christine Mingins. TOOLS 1993: 320

A Case Study in Object Oriented Programming: Algebraic Structures in EiffelPeter Sanders. TOOLS 1993: 379-388

Methoden der imperativen Programmierung - mit Beispielen in MODULA-2 und EIFFELHans-Georg Stork. Leitfäden der angewandten Informatik, Teubner, 1993.

Comparing OOP Languages - A Critical Look at C++, Smalltalk, and EiffelRichard Wiener. TOOLS 1993: 526

1992

Erfahrungen beim objektorientierten Entwerfen und AnalysierenReinhard Budde, Marie-Luise Christ-Neumann, Karl-Heinz Sylla, Heinz Züllighoven. eiffel 1992: 105-106

Eiffel, Gemeinsame Fachtagung des German Chapter of the ACM mit der Gesellschaft für Informatik (GI), am 25. und 26. Mai 1992 in DarmstadtHans-Jürgen Hoffmann, editor, Berichte des German Chapter of the ACM, Teubner, 1992.

Nichtsequentielle Programmierung mit EiffelKlaus-Peter Löhr. BIRTHDAY 1992: 125-148

Eiffel: Version 3 and beyondBertrand Meyer. eiffel 1992: 5

PreviousNext