Search results for "Eiffel"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
21	Olivier Zendra, Dominique Colnet	Coping with aliasing in the GNU Eiffel Compiler implementation.	Softw. Pract. Exp.	2001	DBLP DOI BibTeX RDF
21	Françoise Détienne, Pierre Falzon	Cognition and Cooperation in Design: the EIFFEL Research Group.	INTERACT	2001	DBLP BibTeX RDF
21		Eiffel in the Enterprise: The Power of Application and Integration.	TOOLS (39)	2001	DBLP DOI BibTeX RDF
21	James C. McKim	Reuse-Based Programming with the Eiffel Libraries.	TOOLS (39)	2001	DBLP DOI BibTeX RDF
21	Olivier Zendra, Dominique Colnet	Vers un usage plus sûr de l'aliasing avec Eiffel.	LMO	2000	DBLP BibTeX RDF
21	Bertrand Meyer 0001	Agent-Based Programming In Eiffel.	TOOLS (34)	2000	DBLP DOI BibTeX RDF
21	Xavier Crégut, Bernard Coulette	Réalisation en Eiffel d'un atelier de génie logiciel centré procédé.	Obj. Logiciel Base données Réseaux	1999	DBLP BibTeX RDF
21	Olivier Zendra, Dominique Colnet	Towards Safer Aliasing with the Eiffel Language.	ECOOP Workshops	1999	DBLP BibTeX RDF
21	Guido Dedene	Experiences Teaching Eiffel as a First Programming Language to Economy Students.	TOOLS (30)	1999	DBLP DOI BibTeX RDF
21	Miguel Mateo Carmona, Miguel Katrib Mora, Tomás Couso Alvarez	Smart Compiling for Eiffel.	J. Object Oriented Program.	1998	DBLP BibTeX RDF
21	Bertrand Meyer 0001	Free EiffelBase: Eiffel Libraries Go Open Source.	J. Object Oriented Program.	1998	DBLP BibTeX RDF
21	Yania Crespo González-Carvajal, Miguel Katrib Mora	More About System-Level Validity in Eiffel.	J. Object Oriented Program.	1998	DBLP BibTeX RDF
21	Peter Ward, Roger Browne	Developing the Magic Browser in Eiffel.	J. Object Oriented Program.	1998	DBLP BibTeX RDF
21	Richard F. Paige, Jonathan S. Ostroff	From Z to BON/Eiffel.	ASE	1998	DBLP DOI BibTeX RDF
21	Ian Joyner	OO Language Comparison: Java, Eiffel and C++.	TOOLS (26)	1998	DBLP DOI BibTeX RDF
21	Hal Webre	Rescuing a Legacy System as a First Eiffel Project.	TOOLS (26)	1998	DBLP DOI BibTeX RDF
21	Bertrand Meyer 0001	Design by Contract: The Eiffel Method.	TOOLS (26)	1998	DBLP DOI BibTeX RDF
21	Miguel Katrib, Jesüs Coira	Improving Eiffel Assertions Using Quantiefied Iterators.	J. Object Oriented Program.	1997	DBLP BibTeX RDF
21	James C. McKim	Eiffel Essentials.	TOOLS (23)	1997	DBLP DOI BibTeX RDF
21	James McKim, Richard Mitchell	Eiffel User Workshop.	TOOLS (23)	1997	DBLP DOI BibTeX RDF
21	John Potter, Richard Soley	Keynotes: Java and Eiffel: A de facto relationship?	TOOLS (23)	1997	DBLP DOI BibTeX RDF
21	Robert Howard	Inside an Eiffel Architecture.	J. Object Oriented Program.	1996	DBLP BibTeX RDF
21	Bertrand Meyer 0001	Why Your next Project Should use Eiffel.	J. Object Oriented Program.	1996	DBLP BibTeX RDF
21	Robert Howard	More About the Eiffel Library Kernel Standard.	J. Object Oriented Program.	1996	DBLP BibTeX RDF
21	Steve Tynor, Fred Hart	How we got Hooked on Eiffel.	J. Object Oriented Program.	1996	DBLP BibTeX RDF
21	Robert Howard	Eiffel goes Concurrent.	J. Object Oriented Program.	1996	DBLP BibTeX RDF
21	James E. Heliotis	Eiffel in Computer Science Education.	J. Object Oriented Program.	1996	DBLP BibTeX RDF
21	Robert S. Rist	Teaching Eiffel as a First Language.	J. Object Oriented Program.	1996	DBLP BibTeX RDF
21	Ronald B. Finkbine	Book Review: Software Development Using Eiffel.	ACM SIGSOFT Softw. Eng. Notes	1996	DBLP DOI BibTeX RDF
21	Jean-Marc Jézéquel	Object-Oriented Software Engineering with Eiffel.		1996	RDF
21	Philippe Collet, Roger Rousseau	Classification et réification des assertions - Application au langage Eiffel.	LMO	1996	DBLP BibTeX RDF
21	Gabriela O. de Vivo, Marco de Vivo	A Pragmatic Approach to C++, Eiffel and Ada 9X Programming.	ACM SIGPLAN Notices	1995	DBLP DOI BibTeX RDF
21	Angi Voß	C++, Common Lisp/CLOS, Eiffel oder Smalltalk?	Künstliche Intell.	1995	DBLP BibTeX RDF
21	Yuzhong Qu, Zhijian Wang, Jiafu Xu	Denotational semantics of a simple model of Eiffel.	J. Comput. Sci. Technol.	1995	DBLP DOI BibTeX RDF
21	Fergal Somers, Ghee S. Teo, Francis Neelamkavil	Object-oriented implementation of the OSF/MotifTM widget set in Eiffel.	Comput. Graph.	1995	DBLP DOI BibTeX RDF
21	Robert Howard, Shahzad Pervez	Lessons Learned in a First Eiffel Project.	J. Object Oriented Program.	1995	DBLP BibTeX RDF
21	Robert Howard	The New Eiffel Kernel Library Standard.	J. Object Oriented Program.	1995	DBLP BibTeX RDF
21	Robert Howard	The New Eiffel Kernel Library Standard: Class General.	J. Object Oriented Program.	1995	DBLP BibTeX RDF
21	Harald C. Gall, Manfred Hauswirth, René Klösch	Objektorientierte Konzepte in Smalltalk, C++, Objective-C, Eiffel und Modula-3.	Inform. Spektrum	1995	DBLP BibTeX RDF
21	Denis Caromel, Yves Roudier	Reactive Programming in Eiffel//.	OBPDC	1995	DBLP DOI BibTeX RDF
21	Aaron Hillegass	An Afternoon with Eiffel and C++.	J. Object Oriented Program.	1994	DBLP BibTeX RDF
21	R. Chignoli, J. Farre, Philippe Lahire, Roger Rousseau	FLOO: A Strong Coupling Between Eiffel Language and 02 DBMS.	COODBSE	1994	DBLP BibTeX RDF
21	Asokan Suppiah, Ted Lawson, Andrew C. Jones	Expressing and Processing Constraints in Eiffel.	TOOLS (13)	1994	DBLP BibTeX RDF
21	Richard Wiener	A Critical Comparison of C++ and Eiffel - A Clash of Cultures.	TOOLS (13)	1994	DBLP BibTeX RDF
21	Manuela Carrillo-Castellon, Jesús García Molina, Ernesto Pimentel 0001	Eiffel-like Assertions and Private Methods in Smalltalk.	TOOLS (13)	1994	DBLP BibTeX RDF
21	Christine Mingins	The Eiffel Method.	TOOLS (13)	1994	DBLP BibTeX RDF
21	Ted Lawson, Christine Hollinshead, Munib Qutaishat	The Potential For Reverse Type Inheritance in Eiffel.	TOOLS (13)	1994	DBLP BibTeX RDF
21	James C. McKim	Eiffel Essentials Presentation.	TOOLS (13)	1994	DBLP BibTeX RDF
21	Hans-Georg Stork	Methoden der imperativen Programmierung - mit Beispielen in MODULA-2 und EIFFEL.		1993	RDF
21	Christine Mingins, Bohdan Durnota, Glen Smith	Collection and Analysis of Software Metrics from the Eiffel Class Hierarchy.	TOOLS (11)	1993	DBLP BibTeX RDF
21	Richard Wiener	Comparing OOP Languages - A Critical Look at C++, Smalltalk, and Eiffel.	TOOLS (11)	1993	DBLP BibTeX RDF
21	Robert Howard	Associated Paper: The NICE Approach to Eiffel Standardization.	TOOLS (10)	1993	DBLP BibTeX RDF
21	John Potter, Christine Mingins	Object-Oriented Design - the Eiffel Method.	TOOLS (12/9)	1993	DBLP BibTeX RDF
21	Ghinwa Jalloul, John Potter	A Separate Proposal for Eiffel.	TOOLS (12/9)	1993	DBLP BibTeX RDF
21	Peter Sanders 0001	A Case Study in Object Oriented Programming: Algebraic Structures in Eiffel.	TOOLS (11)	1993	DBLP BibTeX RDF
21	David Rine	EIFFEL: A case tool supporting object-oriented software construction.	ACM SIGSOFT Softw. Eng. Notes	1992	DBLP DOI BibTeX RDF
21	Francis Neelamkavil, S. O'Shea	Interfacing Eiffel and PCTE.	Comput. J.	1992	DBLP BibTeX RDF
21	Klaus-Peter Löhr	Nichtsequentielle Programmierung mit Eiffel.	Informatik zwischen Wissenschaft und Gesellschaft	1992	DBLP DOI BibTeX RDF
21	Russell Turner, Enrico Gobbetti, Jean-Francis Balaguer, Angelo Mangili	An Interactive 3D Graphics Class Library in EIFFEL.	Workshops on Object-Oriented Graphics (2)	1992	DBLP DOI BibTeX RDF
21	Ghinwa Jalloul, John Potter	Models for Concurrent Eiffel.	TOOLS (6)	1992	DBLP BibTeX RDF
21	David M. Butler	Developing Scientific Software with Eiffel.	TOOLS (8)	1992	DBLP BibTeX RDF
21	Murat Karaorman, John L. Bruno	A concurrency Mechanism for Sequential Eiffel.	TOOLS (8)	1992	DBLP BibTeX RDF
21	Tom W. Carnduff, W. A. Gray	An Eiffel Class Library for Ship Design.	TOOLS (7)	1992	DBLP BibTeX RDF
21	Paul Johnson	Intermediate Eiffel.	TOOLS (7)	1992	DBLP BibTeX RDF
21	Paul Johnson	An Eiffel Program for Static Network Resource Allocation.	TOOLS (7)	1992	DBLP BibTeX RDF
21	Bertrand Meyer 0001	Eiffel: The Language		1991	RDF
21	Jean-Marc Nerson	Associated Paper: Extending Eiffel Toward O-O Analysis and Design.	TOOLS (5)	1991	DBLP BibTeX RDF
21	James C. McKim	Software Development with Eiffel.	TOOLS (5)	1991	DBLP BibTeX RDF
21	Bertrand Meyer 0001	Lessons from the Design of the Eiffel Libraries.	Commun. ACM	1990	DBLP DOI BibTeX RDF
21	Bertrand Meyer 0001	From Structured Programming to Object-Oriented Design: The Road to Eiffel.	Struct. Program.	1989	DBLP BibTeX RDF
21	W. R. Cook	A Proposal for Making Eiffel Type-Safe.	Comput. J.	1989	DBLP DOI BibTeX RDF
21	Bertrand Meyer 0001	Eiffel - the environment Version 2.2.		1989	RDF
21	Bertrand Meyer 0001	Eiffel - the libraries Version 2.2.		1989	RDF
21	William R. Cook	A Proposal for Making Eiffel Type-Safe.	ECOOP	1989	DBLP BibTeX RDF
21	Bertrand Meyer 0001	Eiffel: A language and environment for software engineering.	J. Syst. Softw.	1988	DBLP DOI BibTeX RDF
21	Bertrand Meyer 0001	Eiffel: programming for reusability and extendibility.	ACM SIGPLAN Notices	1987	DBLP DOI BibTeX RDF
21	Bertrand Meyer 0001, Jean-Marc Nerson, Masanobu Matsuo	EIFFEL: Object-Oriented Design for Software Engineering.	ESEC	1987	DBLP DOI BibTeX RDF
21	Borka Jerman-Blazic	The Future of the Internet: Tussles and Challenges in the Evolution Path as Identified.	ICDS	2010	DBLP DOI BibTeX RDF	Future Internet evolving mechanisms, EIFFEL think-tank
21	Steven Fraser 0001, James Gosling, Anders Hejlsberg, Ole Lehrmann Madsen, Bertrand Meyer 0001, Guy L. Steele Jr.	Celebrating 40 years of language evolution: simula 67 to the present and beyond.	OOPSLA Companion	2007	DBLP DOI BibTeX RDF	Simula67, Java, C, Schema, C#, Eiffel, BETA
21	Piotr Nienaltowski	Efficient data race and deadlock prevention in concurrent object-oriented programs.	OOPSLA Companion	2004	DBLP DOI BibTeX RDF	SCOOP model, object-oriented concurrency, deadlocks, data races, ownership types, Eiffel
21	Jean-Marc Jézéquel	Reifying Variants in Configuration Management.	ACM Trans. Softw. Eng. Methodol.	1999	DBLP DOI BibTeX RDF	Mecure, SMDS, compilation technology, reifying variants, software configuration management, Eiffel, object-oriented analysis and design
21	Gisela Menger, James Leslie Keedy, Mark Evered, Axel Schmolitzky	Collection Types and Implementations in Object-Oriented Software Libraries.	TOOLS (26)	1998	DBLP DOI BibTeX RDF	collection library, C++STL, Smalltalk, subtyping, Collection, container, Eiffel, subclassing
21	Margaret M. Reek	A top-down approach to teaching programming.	SIGCSE	1995	DBLP DOI BibTeX RDF	Eiffel
14	Yi Wei 0001, Yu Pei 0001, Carlo A. Furia, Lucas Serpa Silva, Stefan Buchholz, Bertrand Meyer 0001, Andreas Zeller	Automated fixing of programs with contracts.	ISSTA	2010	DBLP DOI BibTeX RDF	automatic debugging, automatic fixing, dynamic invariants, program synthesis
14	Roland Ducournau, Floréal Morandat, Jean Privat	Empirical assessment of object-oriented implementations with multiple inheritance and static typing.	OOPSLA	2009	DBLP DOI BibTeX RDF	binary tree dispatch, downcast, method tables, multiple subtyping, open-world assumption, single inheritance, subtype test, virtual function table, interfaces, coloring, multiple inheritance, perfect hashing, closed-world assumption, type analysis, late binding, dynamic loading
14	Friedrich Steimann, Andreas Thies	From Public to Private to Absent: Refactoring Java Programs under Constrained Accessibility.	ECOOP	2009	DBLP DOI BibTeX RDF
14	Ilinca Ciupa, Alexander Pretschner, Andreas Leitner, Manuel Oriol, Bertrand Meyer 0001	On the Predictability of Random Tests for Object-Oriented Software.	ICST	2008	DBLP DOI BibTeX RDF	predictability, random testing, failure, fault
14	Ilinca Ciupa, Bertrand Meyer 0001, Manuel Oriol, Alexander Pretschner	Finding Faults: Manual Testing vs. Random+ Testing vs. User Reports.	ISSRE	2008	DBLP DOI BibTeX RDF
14	Bertrand Meyer 0001	Design and Code Reviews in the Age of the Internet.	SEAFOOD	2008	DBLP DOI BibTeX RDF
14	Till Mossakowski, Lutz Schröder, Sergey Goncharov 0001	A Generic Complete Dynamic Logic for Reasoning About Purity and Effects.	FASE	2008	DBLP DOI BibTeX RDF
14	Rod Chapman	Correctness by construction: putting engineering (back) into software.	SIGAda	2007	DBLP DOI BibTeX RDF
14	Boris Epshtein, Eyal Ofek, Yonatan Wexler, Pusheng Zhang	Hierarchical photo organization using geo-relevance.	GIS	2007	DBLP DOI BibTeX RDF	image organization, clustering, image databases
14	Jonathan S. Ostroff, Faraz Ahmadi Torshizi	Testable Requirements and Specifications.	TAP	2007	DBLP DOI BibTeX RDF
14	Zeina Jrad, Marie-Aude Aufaure	Personalized Interfaces for a Semantic Web Portal: Tourism Information Search.	KES (3)	2007	DBLP DOI BibTeX RDF	Semantic web portal, personalization facilities, web services, intelligent user interfaces, user assistance
14	Jens Bendisposto, Michael Leuschel	BE4: The B Extensible Eclipse Editing Environment.	B	2007	DBLP DOI BibTeX RDF
14	Bertrand Meyer 0001, Ilinca Ciupa, Andreas Leitner, Lisa Ling Liu	Automatic Testing of Object-Oriented Software.	SOFSEM (1)	2007	DBLP DOI BibTeX RDF
14	Patrick Fuhrmann, Volker Gülzow	dCache, Storage System for the Future.	Euro-Par	2006	DBLP DOI BibTeX RDF
14	Marko van Dooren, Eric Steegmans	Language constructs for improving reusability in object-oriented software.	OOPSLA Companion	2005	DBLP DOI BibTeX RDF	component, inheritance, exception handling, anchoring
14	Richard F. Paige, Phillip J. Brooke	Agile Formal Method Engineering.	IFM	2005	DBLP DOI BibTeX RDF
14	David A. Naumann	Observational Purity and Encapsulation.	FASE	2005	DBLP DOI BibTeX RDF