Search results for "Eiffel"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
4	Isabelle Attali, Denis Caromel, Sidi O. Ehmety	A Natural Semantics for Eiffel Dynamic Binding.	ACM Trans. Program. Lang. Syst.	1996	DBLP DOI BibTeX RDF	semantics, inheritance, Eiffel, Eiffel, dynamic binding, renaming
3	Martin Nordio, Cristiano Calcagno, Peter Müller, Bertrand Meyer	A Sound and Complete Program Logic for Eiffel.	TOOLS	2009	DBLP DOI BibTeX RDF	operational semantics, Software verification, Eiffel, program proofs
3	Martin Nordio, Peter Müller, Bertrand Meyer	Proof-Transforming Compilation of Eiffel Programs.	TOOLS	2008	DBLP DOI BibTeX RDF	proof-transforming compiler, CIL, Software verification, Proof-Carrying Code, Eiffel, program proofs
3	Dominique Colnet, Luigi Liquori	Match-O, A Dialect of Eiffel with Match-Types.	TOOLS	2000	DBLP DOI BibTeX RDF	Match-O, Eiffel dialect, covariant redefinition, system-level validity rules, match types, method specialization, anchored type, type unsoundness, smallEiffel source code, compiler, program compilers, object-oriented languages, abstract data types, subtyping, type safety, binary methods, Current
3	G. Butler, Christine Mingins	YooccLa: A Parser Generator for L-Attributed Grammars.	TOOLS	2000	DBLP DOI BibTeX RDF	YooccLa, left-attributed grammars, object-oriented compiler compiler, nonleft-recursive LL grammar, EBNF-like language, Eiffel features, semantic actions, Eiffel Parse library, syntax class, software engineering, object-oriented programming, specification languages, object-oriented languages, software libraries, attribute grammars, compiler generators, parser generator
3	Michael Rybe, Stefan Leboch	Eiffel in Lehre und Forschung - Erfahrungen und Perspektiven.	Informatik Spektrum	1997	DBLP DOI BibTeX RDF	Informatik-Ausbildung, Informatikdidaktik, Eiffel, Objektorientierung
3	Bertrand Meyer	Eiffel: Version 3 and beyond.	Eiffel	1992	DBLP BibTeX RDF
3	Dirk Bäumer, Horst Lichter	Ein User Interface Management System für Eiffel.	Eiffel	1992	DBLP BibTeX RDF
3	Rainer Fischbach	Programming by Contract - Erfüllt Eiffel das Ideal? -.	Eiffel	1992	DBLP BibTeX RDF
3	Martin Nagler	Erweiterung von Eiffel um persistente Konzepte.	Eiffel	1992	DBLP BibTeX RDF
3	Wolfgang Strunk	Entwurf und prototypische Implementierung eines Klassenbrowsers für Eiffel.	Eiffel	1992	DBLP BibTeX RDF
3	Rüdiger Blach	Ein LL(1) - Parser für Eiffel.	Eiffel	1992	DBLP BibTeX RDF
3	Jean-Marc Jézéquel	EPEE: an Eiffel Environment to Program Distributed Memory Parallel Computers.	ECOOP	1992	DBLP DOI BibTeX RDF	Parallel Object Oriented Programming, Data Parallelism, Eiffel, Massively Parallel Architectures
3	Robert Jellinghaus	Eiffel Linda: an object-oriented Linda dialect.	SIGPLAN Notices	1990	DBLP DOI BibTeX RDF	Linda, Eiffel
2	Nadia Polikarpova, Ilinca Ciupa, Bertrand Meyer	A comparative study of programmer-written and automatically inferred contracts.	ISSTA	2009	DBLP DOI BibTeX RDF	dynamic contract inference, eiffel
2	Mohammad Reza Nami	A comparison of object-oriented languages in software engineering.	ACM SIGSOFT Software Engineering Notes	2008	DBLP DOI BibTeX RDF	Java, C++, Smalltalk, object-oriented languages, Eiffel, object-oriented software engineering
2	Phillip J. Brooke, Richard F. Paige, Jeremy L. Jacob	A CSP model of Eiffel's SCOOP.	Formal Asp. Comput.	2007	DBLP DOI BibTeX RDF	SCOOP, Formal methods, Concurrency, Programming languages, Eiffel
2	Patrice Chalin	Are Practitioners Writing Contracts?	RODIN Book	2006	DBLP DOI BibTeX RDF	program assertions, empirical study, design by contract, Eiffel
2	Bertrand Meyer	Eiffel as a Framework for Verification.	VSTTE	2005	DBLP DOI BibTeX RDF
2	Wei Wang, Vassilios Tzerpos	Design Pattern Detection in Eiffel Systems.	WCRE	2005	DBLP DOI BibTeX RDF
2	Richard F. Paige, Jonathan S. Ostroff	Specification-Driven Design with Eiffel and Agents for Teaching Lightweight Formal Methods.	TFM	2004	DBLP DOI BibTeX RDF
2	Ronald Garcia, Jaakko Järvi, Andrew Lumsdaine, Jeremy G. Siek, Jeremiah Willcock	A comparative study of language support for generic programming.	OOPSLA	2003	DBLP DOI BibTeX RDF	Java, C++, generics, Haskell, polymorphism, generic programming, standard ML, C#, Eiffel
2	Karine Arnout, Bertrand Meyer	Finding Implicit Contracts in .NET Components.	FMCO	2002	DBLP DOI BibTeX RDF	Design by ContractTM, Library design, Implicit contracts, Contract Wizard, Metadata, Reuse, Eiffel, .NET
2	Karine Arnout, Raphael Simon	The .NET Contract Wizard: Adding Design by Contract to Languages Other than Eiffel.	TOOLS	2001	DBLP DOI BibTeX RDF
2	Marina Nudelman	Designing and Building the Eiffel Binding for COM.	TOOLS	2001	DBLP DOI BibTeX RDF
2	Steffen Helke, Thomas Santen	Mechanized Analysis of Behavioral Conformance in the Eiffel Base Libraries.	FME	2001	DBLP DOI BibTeX RDF
2	Glenn Maughan, Raphael Simon	Mastering the Windows Eiffel Library.	TOOLS	1999	DBLP DOI BibTeX RDF
2	Olivier Zendra, Dominique Colnet	Adding External Iterators to an Existing Eiffel Class Library.	TOOLS	1999	DBLP DOI BibTeX RDF	SmallEiffel, libraries, iterators, collections, Eiffel
2	Dominique Colnet, Olivier Zendra	Optimizations of Eiffel Programs: Smalleiffel, the GNU Eiffel Compiler.	TOOLS	1999	DBLP DOI BibTeX RDF
2	Ian Joyner	Java, Eiffel and C++: The Language Comparison.	TOOLS	1999	DBLP DOI BibTeX RDF
2	Bertrand Meyer	Seamless Development with the Eiffel Method.	TOOLS	1999	DBLP DOI BibTeX RDF
2	Simon Parker	Eiffel Workshop: Tools and Platforms.	TOOLS	1999	DBLP DOI BibTeX RDF
2	Yania Crespo, Juan José Rodríguez, José Manuel Marqués Corral	Obtaining Generic Classes Automatically through a Parameterization Operator: A Focus on Constrained Genericity.	TOOLS	1999	DBLP DOI BibTeX RDF	restructuring classes, reorganizing hierarchies, constrained genericity, object oriented programming, reuse, Eiffel
2	John Potter, Ryan Shelswell, Ian Joyner	Library Interoperability via Inheritance.	TOOLS	1998	DBLP DOI BibTeX RDF	Library interoperability, Java, inheritance, Eiffel, applets, language translation
2	Dale A. Schoenefeld	Object-oriented design and programming: an Eiffel, C++, and Java course for C programmers.	SIGCSE	1997	DBLP DOI BibTeX RDF
2	Donald M. Needham, Steven A. Demurjian, Karim El Guemhioui, Thomas J. Peters, P. Zamani, M. McMahon, Heidi J. C. Ellis	ADAM: A Language-Independent, Object-Oriented, Design Environment for Modeling Inheritance and Relationship Variants in Ada 95, C++, and Eiffel.	TRI-Ada	1996	DBLP DOI BibTeX RDF	Ada, C++, Eiffel
2	James C. McKim	Teaching Object Oriented Programming and Design with Eiffel.	CSEE	1995	DBLP DOI BibTeX RDF
2	Michael Kölling, Bett Koch, John Rosenberg	Requirements for a first year object-oriented teaching language.	SIGCSE	1995	DBLP DOI BibTeX RDF	C++, Smalltalk, Eiffel
2	Virgínia A. O. Cordeiro, Augusto Sampaio, Silvio Romero de Lemos Meira	From MooZ to Eiffel - A Rigorous Approach to System Development.	FME	1994	DBLP DOI BibTeX RDF
2	Hans-Jürgen Hoffmann (eds.)	Eiffel, Gemeinsame Fachtagung des German Chapter of the ACM mit der Gesellschaft für Informatik (GI), am 25. und 26. Mai 1992 in Darmstadt	Eiffel	1992	DBLP BibTeX RDF
2	L. Gunaseelan, Richard J. LeBlanc	Distributed Eiffel: a language for programming multi-granular distributed objects on the Clouds operating system.	ICCL	1992	DBLP DOI BibTeX RDF
2	Reinhard Budde, Marie-Luise Christ-Neumann, Karl-Heinz Sylla, Heinz Züllighoven	Erfahrungen beim objektorientierten Entwerfen und Analysieren.	Eiffel	1992	DBLP BibTeX RDF
2	Tibor Németh	Methoden und Werkzeuge für den konstruktiven Entwurf von Objektsystemen.	Eiffel	1992	DBLP BibTeX RDF
2	Ruth Breu, Michael Breu	Ein Konzept der Modul- und Typvererbung.	Eiffel	1992	DBLP BibTeX RDF
1	Julian Tschannen, Carlo A. Furia, Martin Nordio, Bertrand Meyer	Verifying Eiffel Programs with Boogie	CoRR	2011	DBLP BibTeX RDF
1	Marco Trudel, Manuel Oriol, Carlo A. Furia, Martin Nordio	Automated Translation of Java Source Code to Eiffel.	TOOLS	2011	DBLP DOI BibTeX RDF
1	Friedrich Steimann, Christian Kollee, Jens von Pilgrim	A Refactoring Constraint Language and Its Application to Eiffel.	ECOOP	2011	DBLP DOI BibTeX RDF
1	Bertrand Meyer	Automatic Testing and Fixing for Eiffel - (Extended Abstract).	TAIC PART	2010	DBLP DOI BibTeX RDF
1	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
1	Yi Wei, Yu Pei, Carlo A. Furia, Lucas Serpa Silva, Stefan Buchholz, Bertrand Meyer, Andreas Zeller	Automated fixing of programs with contracts.	ISSTA	2010	DBLP DOI BibTeX RDF	automatic debugging, automatic fixing, dynamic invariants, program synthesis
1	Lucas Serpa Silva, Maarten van Someren	Evolutionary testing of object-oriented software.	SAC	2010	DBLP DOI BibTeX RDF	genetic algorithms, software testing, evolutionary computing
1	Phillip J. Brooke, Richard F. Paige	Cameo: an alternative model of concurrency for Eiffel.	Formal Asp. Comput.	2009	DBLP DOI BibTeX RDF
1	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
1	Friedrich Steimann, Andreas Thies	From Public to Private to Absent: Refactoring Java Programs under Constrained Accessibility.	ECOOP	2009	DBLP DOI BibTeX RDF
1	Ruihua Jin, Marco Piccioni	Eiffel for .NET Binding for db4o.	ICOODB	2008	DBLP BibTeX RDF
1	Ilinca Ciupa, Alexander Pretschner, Andreas Leitner, Manuel Oriol, Bertrand Meyer	On the Predictability of Random Tests for Object-Oriented Software.	ICST	2008	DBLP DOI BibTeX RDF	predictability, random testing, failure, fault
1	Ilinca Ciupa, Bertrand Meyer, Manuel Oriol, Alexander Pretschner	Finding Faults: Manual Testing vs. Random+ Testing vs. User Reports.	ISSRE	2008	DBLP DOI BibTeX RDF
1	Till Mossakowski, Lutz Schröder, Sergey Goncharov	A Generic Complete Dynamic Logic for Reasoning About Purity and Effects.	FASE	2008	DBLP DOI BibTeX RDF
1	Bertrand Meyer	Design and Code Reviews in the Age of the Internet.	SEAFOOD	2008	DBLP DOI BibTeX RDF
1	Phillip J. Brooke, Richard F. Paige	Exceptions in Concurrent Eiffel.	Journal of Object Technology	2007	DBLP DOI BibTeX RDF
1	Steven Fraser, James Gosling, Anders Hejlsberg, Ole Lehrmann Madsen, Bertrand Meyer, 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
1	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
1	Rod Chapman	Correctness by construction: putting engineering (back) into software.	SIGAda	2007	DBLP DOI BibTeX RDF
1	Jens Bendisposto, Michael Leuschel	BE4: The B Extensible Eclipse Editing Environment.	B	2007	DBLP DOI BibTeX RDF
1	Zeina Jrad, Marie-Aude Aufaure	Personalized Interfaces for a Semantic Web Portal: Tourism Information Search.	KES	2007	DBLP DOI BibTeX RDF	Semantic web portal, personalization facilities, web services, intelligent user interfaces, user assistance
1	Bertrand Meyer, Ilinca Ciupa, Andreas Leitner, Lisa Ling Liu	Automatic Testing of Object-Oriented Software.	SOFSEM	2007	DBLP DOI BibTeX RDF
1	Jonathan S. Ostroff, Faraz Ahmadi Torshizi	Testable Requirements and Specifications.	TAP	2007	DBLP DOI BibTeX RDF
1	Joseph R. Kiniry	Exceptions in Java and Eiffel: Two Extremes in Exception Design and Application.	Advanced Topics in Exception Handling Techniques	2006	DBLP DOI BibTeX RDF
1	Dominique Colnet, Guillem Marpons-Ucero, Frederic Merizen	Reconciling Subtyping and Code Reuse in Object-Oriented Languages: Using inherit and insert in SmartEiffel, the GNU Eiffel Compiler.	ICSR	2006	DBLP DOI BibTeX RDF
1	Frederic Merizen, Dominique Colnet, Philippe Ribet, Cyril Adrian	Héritage non conforme en Eiffel.	LMO	2006	DBLP BibTeX RDF
1	Gary T. Leavens, Albert L. Baker, Clyde Ruby	Preliminary design of JML: a behavioral interface specification language for java.	ACM SIGSOFT Software Engineering Notes	2006	DBLP DOI BibTeX RDF
1	Patrick Fuhrmann, Volker Gülzow	dCache, Storage System for the Future.	Euro-Par	2006	DBLP DOI BibTeX RDF
1	Jonathan S. Ostroff, Richard F. Paige, David Makalsky, Phillip J. Brooke	E-Tester: a Contract-Aware and Agent-Based Unit Testing Framework for Eiffel.	Journal of Object Technology	2005	DBLP DOI BibTeX RDF
1	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
1	David A. Naumann	Observational Purity and Encapsulation.	FASE	2005	DBLP DOI BibTeX RDF
1	Richard F. Paige, Phillip J. Brooke	Agile Formal Method Engineering.	IFM	2005	DBLP DOI BibTeX RDF
1	Richard F. Paige, Jonathan S. Ostroff	ERC - An object-oriented refinement calculus for Eiffel.	Formal Asp. Comput.	2004	DBLP DOI BibTeX RDF
1	Oleksandr Fuks, Jonathan S. Ostroff, Richard F. Paige	SECG: The SCOOP-to-Eiffel Code Generator.	Journal of Object Technology	2004	DBLP DOI BibTeX RDF
1	Gilles Ardourel, Marianne Huchard	Class-based Visibility from an MDA Perspective: From Access Graphs to Eiffel Code.	Journal of Object Technology	2004	DBLP DOI BibTeX RDF
1	Karine Arnout, Eric Bezault	How to get a Singleton in Eiffel.	Journal of Object Technology	2004	DBLP DOI BibTeX RDF
1	Miguel Oliveira e Silva	Concurrent Object-Oriented Programming: The MP-Eiffel Approach.	Journal of Object Technology	2004	DBLP DOI BibTeX RDF
1	Philippe Ribet, Cyril Adrian, Olivier Zendra, Dominique Colnet	Conformance of agents in the Eiffel language.	Journal of Object Technology	2004	DBLP DOI BibTeX RDF
1	Wei Wang, Vassilios Tzerpos	DPVK - An Eclipse Plug-in to Detect Design Patterns in Eiffel Systems.	Electr. Notes Theor. Comput. Sci.	2004	DBLP DOI BibTeX RDF
1	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
1	Gary T. Leavens	Invited Talk: JML framed!	PASTE	2004	DBLP DOI BibTeX RDF
1	Robert J. Gaizauskas, Mark Hepple, Mark A. Greenwood	Information retrieval for question answering a SIGIR 2004 workshop.	SIGIR Forum	2004	DBLP DOI BibTeX RDF
1	Florence Maraninchi, Lionel Morel	Logical-Time Contracts for Reactive Embedded Components.	EUROMICRO	2004	DBLP DOI BibTeX RDF
1	Daniel Lohmann, Georg Blaschke, Olaf Spinczyk	Generic Advice: On the Combination of AOP with Generative Programming in AspectC++.	GPCE	2004	DBLP DOI BibTeX RDF
1	István Zólyomi, Zoltán Porkoláb	Towards a General Template Introspection Library.	GPCE	2004	DBLP DOI BibTeX RDF
1	E. V. Krishnamurthy, Venu K. Murthy	Contextual-Knowledge Management in Peer to Peer Computing.	KES	2004	DBLP DOI BibTeX RDF
1	Saeed Araban, A. S. M. Sajeev	Reusability Analysis of Four Standard Object-Oriented Class Libraries.	SERA	2004	DBLP DOI BibTeX RDF
1	Eric E. Allen, Jonathan Bannet, Robert Cartwright	A first-class approach to genericity.	OOPSLA	2003	DBLP DOI BibTeX RDF
1	Karine Arnout, Bertrand Meyer	Uncovering Hidden Contracts: The .NET Example.	IEEE Computer	2003	DBLP DOI BibTeX RDF
1	Khanh Vu, Kien A. Hua, Wallapak Tavanapong	Image Retrieval Based on Regions of Interest.	IEEE Trans. Knowl. Data Eng.	2003	DBLP DOI BibTeX RDF	arbitrary-shaped queries, Image processing, regions of interest, image indexing and retrieval
1	Bertrand Meyer	A Framework for Proving Contract-Equipped Classes.	Abstract State Machines	2003	DBLP DOI BibTeX RDF
1	Pierre-Etienne Moreau, Christophe Ringeissen, Marian Vittek	A Pattern Matching Compiler for Multiple Target Languages.	CC	2003	DBLP DOI BibTeX RDF
1	Bertrand Meyer	The Outside-In Method of Teaching Introductory Programming.	Ershov Memorial Conference	2003	DBLP DOI BibTeX RDF
1	Patrice Chalin	Improving JML: For a Safer and More Effective Language.	FME	2003	DBLP DOI BibTeX RDF	behavioral interface specification languages, specification language design and semantics, arbitrary precision numeric types, assertion-based languages, formal methods, JML, Java Modeling Language
1	Volkan Arslan, Piotr Nienaltowski, Karine Arnout	Event Library: An Object-Oriented Library for Event-Driven Design.	JMLC	2003	DBLP DOI BibTeX RDF
1	Bertrand Meyer	The Start of an Eiffel Standard.	Journal of Object Technology	2002	DBLP DOI BibTeX RDF