Search results for "Eiffel"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
157	John Potter, Ryan Shelswell, Ian Joyner	Library Interoperability via Inheritance.	TOOLS (26)	1998	DBLP DOI BibTeX RDF	Library interoperability, Java, inheritance, Eiffel, applets, language translation
138	Robert Jellinghaus	Eiffel Linda: an object-oriented Linda dialect.	ACM SIGPLAN Notices	1990	DBLP DOI BibTeX RDF	Linda, Eiffel
111	Dominique Colnet, Olivier Zendra	Optimizations of Eiffel Programs: Smalleiffel, the GNU Eiffel Compiler.	TOOLS (29)	1999	DBLP DOI BibTeX RDF
110	Dominique Colnet, Luigi Liquori	Match-O, A Dialect of Eiffel with Match-Types.	TOOLS (37)	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
91	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
83	G. Butler, Christine Mingins	YooccLa: A Parser Generator for L-Attributed Grammars.	TOOLS (37)	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
77	Wolfgang Strunk	Entwurf und prototypische Implementierung eines Klassenbrowsers für Eiffel.	Eiffel	1992	DBLP BibTeX RDF
77	Dirk Bäumer, Horst Lichter	Ein User Interface Management System für Eiffel.	Eiffel	1992	DBLP BibTeX RDF
77	Rüdiger Blach	Ein LL(1) - Parser für Eiffel.	Eiffel	1992	DBLP BibTeX RDF
77	Bertrand Meyer 0001	Eiffel: Version 3 and beyond.	Eiffel	1992	DBLP BibTeX RDF
77	Martin Nagler	Erweiterung von Eiffel um persistente Konzepte.	Eiffel	1992	DBLP BibTeX RDF
77	Rainer Fischbach	Programming by Contract - Erfüllt Eiffel das Ideal? -.	Eiffel	1992	DBLP BibTeX RDF
76	Glenn Maughan, Raphael Simon	Mastering the Windows Eiffel Library.	TOOLS (30)	1999	DBLP DOI BibTeX RDF
70	Martin Nordio, Cristiano Calcagno, Peter Müller 0001, Bertrand Meyer 0001	A Sound and Complete Program Logic for Eiffel.	TOOLS (47)	2009	DBLP DOI BibTeX RDF	operational semantics, Software verification, Eiffel, program proofs
70	Martin Nordio, Peter Müller 0001, Bertrand Meyer 0001	Proof-Transforming Compilation of Eiffel Programs.	TOOLS (46)	2008	DBLP DOI BibTeX RDF	proof-transforming compiler, CIL, Software verification, Proof-Carrying Code, Eiffel, program proofs
70	Michael Rybe, Stefan Leboch	Eiffel in Lehre und Forschung - Erfahrungen und Perspektiven.	Inform. Spektrum	1997	DBLP DOI BibTeX RDF	Informatik-Ausbildung, Informatikdidaktik, Eiffel, Objektorientierung
70	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
62	Bertrand Meyer 0001	Eiffel as a Framework for Verification.	VSTTE	2005	DBLP DOI BibTeX RDF
62	Steffen Helke, Thomas Santen	Mechanized Analysis of Behavioral Conformance in the Eiffel Base Libraries.	FME	2001	DBLP DOI BibTeX RDF
62	Marina Nudelman	Designing and Building the Eiffel Binding for COM.	TOOLS (39)	2001	DBLP DOI BibTeX RDF
62	Patrice Chalin	Are Practitioners Writing Contracts?	RODIN Book	2006	DBLP DOI BibTeX RDF	program assertions, empirical study, design by contract, Eiffel
56	Phillip J. Brooke, Richard F. Paige, Jeremy L. Jacob	A CSP model of Eiffel's SCOOP.	Formal Aspects Comput.	2007	DBLP DOI BibTeX RDF	SCOOP, Formal methods, Concurrency, Programming languages, Eiffel
55	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
55	Ruth Breu, Michael Breu	Ein Konzept der Modul- und Typvererbung.	Eiffel	1992	DBLP BibTeX RDF
55	Reinhard Budde, Marie-Luise Christ-Neumann, Karl-Heinz Sylla, Heinz Züllighoven	Erfahrungen beim objektorientierten Entwerfen und Analysieren.	Eiffel	1992	DBLP BibTeX RDF
55	Tibor Németh	Methoden und Werkzeuge für den konstruktiven Entwurf von Objektsystemen.	Eiffel	1992	DBLP BibTeX RDF
49	Wei Wang, Vassilios Tzerpos	Design Pattern Detection in Eiffel Systems.	WCRE	2005	DBLP DOI BibTeX RDF
49	Bertrand Meyer 0001	Seamless Development with the Eiffel Method.	TOOLS (29)	1999	DBLP DOI BibTeX RDF
49	Simon Parker	Eiffel Workshop: Tools and Platforms.	TOOLS (29)	1999	DBLP DOI BibTeX RDF
49	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
49	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
43	Richie Bielak	Eiffel in Practice: Reflections of an Eiffel Programmer.	J. Object Oriented Program.	1996	DBLP BibTeX RDF
43	Colm McHugh, Vinny Cahill	Eiffel**: An Implementation of Eiffel on Amadeus, a Persistent, Distributed Applications Support Environment.	TOOLS (10)	1993	DBLP BibTeX RDF
42	Olivier Zendra, Dominique Colnet	Adding External Iterators to an Existing Eiffel Class Library.	TOOLS (32)	1999	DBLP DOI BibTeX RDF	SmallEiffel, libraries, iterators, collections, Eiffel
42	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
41	Gary T. Leavens, Albert L. Baker, Clyde Ruby	Preliminary design of JML: a behavioral interface specification language for java.	ACM SIGSOFT Softw. Eng. Notes	2006	DBLP DOI BibTeX RDF
35	Richard F. Paige, Jonathan S. Ostroff	Specification-Driven Design with Eiffel and Agents for Teaching Lightweight Formal Methods.	TFM	2004	DBLP DOI BibTeX RDF
35	Karine Arnout, Raphael Simon	The .NET Contract Wizard: Adding Design by Contract to Languages Other than Eiffel.	TOOLS (39)	2001	DBLP DOI BibTeX RDF
35	Ian Joyner	Java, Eiffel and C++: The Language Comparison.	TOOLS (30)	1999	DBLP DOI BibTeX RDF
35	Dale A. Schoenefeld	Object-oriented design and programming: an Eiffel, C++, and Java course for C programmers.	SIGCSE	1997	DBLP DOI BibTeX RDF
35	James C. McKim	Teaching Object Oriented Programming and Design with Eiffel.	CSEE	1995	DBLP DOI BibTeX RDF
35	Nadia Polikarpova, Ilinca Ciupa, Bertrand Meyer 0001	A comparative study of programmer-written and automatically inferred contracts.	ISSTA	2009	DBLP DOI BibTeX RDF	dynamic contract inference, eiffel
35	Mohammad Reza Nami	A comparison of object-oriented languages in software engineering.	ACM SIGSOFT Softw. Eng. Notes	2008	DBLP DOI BibTeX RDF	Java, C++, Smalltalk, object-oriented languages, Eiffel, object-oriented software engineering
35	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
35	Karine Arnout, Bertrand Meyer 0001	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
35	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 (31)	1999	DBLP DOI BibTeX RDF	restructuring classes, reorganizing hierarchies, constrained genericity, object oriented programming, reuse, Eiffel
35	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
27	Lucas Serpa Silva, Maarten van Someren	Evolutionary testing of object-oriented software.	SAC	2010	DBLP DOI BibTeX RDF	genetic algorithms, software testing, evolutionary computing
27	Robert J. Gaizauskas, Mark Hepple, Mark A. Greenwood	Information retrieval for question answering a SIGIR 2004 workshop.	SIGIR Forum	2004	DBLP DOI BibTeX RDF
27	Saeed Araban, A. S. M. Sajeev	Reusability Analysis of Four Standard Object-Oriented Class Libraries.	SERA	2004	DBLP DOI BibTeX RDF
27	David Maley, Ivor T. A. Spence	But Who Will Guard the Guardians?	TOOLS (34)	2000	DBLP DOI BibTeX RDF	VDM++, C++, Genericity, Design by Contract
27	Sea Ling, Heinz W. Schmidt, Rohan Fletcher	Constructing Interoperable Components in Distributed Systems.	TOOLS (32)	1999	DBLP DOI BibTeX RDF	distributed systems, Components, design-by-contract
27	Yves Le Traon, Daniel Deveaux, Jean-Marc Jézéquel	Self-Testable Components: From Pragmatic Tests to Design-for-Testability Methodology.	TOOLS (29)	1999	DBLP DOI BibTeX RDF	testing, design-for-testability, self-test, design by contract, reusable components
27	Dominique Colnet, Philippe Coucaud, Olivier Zendra	Compiler Support to Customize the Mark and Sweep Algorithm.	ISMM	1998	DBLP DOI BibTeX RDF
27	Liliana Favre	Object Oriented Reuse through Algebraic Specifications.	TOOLS (28)	1998	DBLP DOI BibTeX RDF
27	Jon. Hallett	Formulating Update Messages.	ACM SIGPLAN Notices	1995	DBLP DOI BibTeX RDF	Smalltalk
27	Heinz W. Schmidt, Jian Chen	Reasoning about Concurrent Objects.	APSEC	1995	DBLP DOI BibTeX RDF	D.1.3 Concurrent Programming, D.1.5 Object-Oriented Programming, D.2.4 Program Verification, F.3.1 Reasoning about Programs, F.1.1 Models of Computation
27	Naoufel Kraïem, Joël Brunet	Mapping of Conceptual Specifications into Object-Oriented Programs.	SEKE	1992	DBLP DOI BibTeX RDF
21	Clémentin Boittiaux, Claire Dune, Maxime Ferrera, Aurélien Arnaubec, Ricard Marxer, Marjolaine Matabos, Loïc Van Audenhaege, Vincent Hugel	Eiffel Tower: A Deep-Sea Underwater Dataset for Long-Term Visual Localization.	CoRR	2023	DBLP DOI BibTeX RDF
21	Clémentin Boittiaux, Claire Dune, Maxime Ferrera, Aurélien Arnaubec, Ricard Marxer, Marjolaine Matabos, Loïc Van Audenhaege, Vincent Hugel	Eiffel Tower: A deep-sea underwater dataset for long-term visual localization.	Int. J. Robotics Res.	2023	DBLP DOI BibTeX RDF
21	Zuoyan Zhang, Bei Zhou, Jiangwei Hao, Hongru Yang, Mengqi Cui, Yuchang Zhou, Guanghui Song, Fei Li, Jinchen Xu, Jie Zhao 0002	Eiffel: Inferring Input Ranges of Significant Floating-point Errors via Polynomial Extrapolation.	ASE	2023	DBLP DOI BibTeX RDF
21	Arian Baloochestani, Leander Jehl	Eiffel: Extending Formal Verification of Distributed Algorithms to Utility Analysis.	BRAINS	2023	DBLP DOI BibTeX RDF
21	Abeda Sultana, Md. Mainul Haque, Li Chen 0019, Fei Xu, Xu Yuan 0001	Eiffel: Efficient and Fair Scheduling in Adaptive Federated Learning.	IEEE Trans. Parallel Distributed Syst.	2022	DBLP DOI BibTeX RDF
21	Amrita Roy Chowdhury 0001, Chuan Guo, Somesh Jha, Laurens van der Maaten	EIFFeL: Ensuring Integrity for Federated Learning.	CCS	2022	DBLP DOI BibTeX RDF
21	Amrita Roy Chowdhury 0001, Chuan Guo, Somesh Jha, Laurens van der Maaten	EIFFeL: Ensuring Integrity for Federated Learning.	CoRR	2021	DBLP BibTeX RDF
21	Yucheng Huang, Lei Shi 0002, Yue Su, Yifan Hu 0001, Hanghang Tong, Chaoli Wang 0001, Tong Yang 0003, Deyun Wang, Shuo Liang	Eiffel: Evolutionary Flow Map for Influence Graph Visualization.	IEEE Trans. Vis. Comput. Graph.	2020	DBLP DOI BibTeX RDF
21	Ahmed Saeed 0001, Yimeng Zhao, Nandita Dukkipati, Ellen W. Zegura, Mostafa H. Ammar, Khaled Harras, Amin Vahdat	Eiffel: Efficient and Flexible Software Packet Scheduling.	NSDI	2019	DBLP BibTeX RDF
21	Richard Davis 0001	Gustave Eiffel's wind tunnel.	IEEE Instrum. Meas. Mag.	2018	DBLP DOI BibTeX RDF
21	Ahmed Saeed 0001, Yimeng Zhao, Nandita Dukkipati, Mostafa H. Ammar, Ellen W. Zegura, Khaled Harras, Amin Vahdat	Eiffel: Efficient and Flexible Software Packet Scheduling.	CoRR	2018	DBLP BibTeX RDF
21	Victor Rivera, Jooyoung Lee, Manuel Mazzara	Mapping Event-B Machines into Eiffel Programming Language.	SEDA	2018	DBLP DOI BibTeX RDF
21	Daniel Ståhl, Kristofer Hallén, Jan Bosch	Achieving traceability in large scale continuous integration and delivery deployment, usage and validation of the eiffel framework.	Empir. Softw. Eng.	2017	DBLP DOI BibTeX RDF
21	Victor Rivera, Jooyoung Lee, Manuel Mazzara, Leonard Johard	Translating Event-B machines to Eiffel programs.	CoRR	2017	DBLP BibTeX RDF
21	Stefan J. Galler, Bernhard K. Aichernig	Survey on test data generation tools - An evaluation of white- and gray-box testing tools for C#, C++, Eiffel, and Java.	Int. J. Softw. Tools Technol. Transf.	2014	DBLP DOI BibTeX RDF
21	Marco Trudel	C nach Eiffel: Automatische Übersetzung und objektorientierte Umstrukturierung von Legacy Quelltext.	Software Engineering	2014	DBLP BibTeX RDF
21	Markku Sakkinen, Philippe Lahire, Ciprian-Bogdan Chirila	Towards Fully-Fledged Reverse Inheritance in Eiffel.	Nord. J. Comput.	2013	DBLP BibTeX RDF
21	Charles R. Severance	Bertrand Meyer: Software Engineering and the Eiffel Programming Language.	Computer	2012	DBLP DOI BibTeX RDF
21	Marco Trudel, Carlo A. Furia, Martin Nordio, Bertrand Meyer 0001, Manuel Oriol	Automatic Translation of C Source Code to Eiffel	CoRR	2012	DBLP BibTeX RDF
21	Alexander Schiftner, Nicolas Leduc, Philippe Bompas, Niccolo Baldassini, Michael Eigensatz	Architectural Geometry from Research to Practice: The Eiffel Tower Pavilions.	AAG	2012	DBLP DOI BibTeX RDF
21	Emil Sekerinski, Tian Zhang	Verification Rules for Exception Handling in Eiffel.	SBMF	2012	DBLP DOI BibTeX RDF
21	Julian Tschannen, Carlo A. Furia, Martin Nordio, Bertrand Meyer 0001	Verifying Eiffel Programs with Boogie	CoRR	2011	DBLP BibTeX RDF
21	Friedrich Steimann, Christian Kollee, Jens von Pilgrim	A Refactoring Constraint Language and Its Application to Eiffel.	ECOOP	2011	DBLP DOI BibTeX RDF
21	Marco Trudel, Manuel Oriol, Carlo A. Furia, Martin Nordio	Automated Translation of Java Source Code to Eiffel.	TOOLS (49)	2011	DBLP DOI BibTeX RDF
21	Bertrand Meyer 0001	Automatic Testing and Fixing for Eiffel - (Extended Abstract).	TAIC PART	2010	DBLP DOI BibTeX RDF
21	Phillip J. Brooke, Richard F. Paige	Cameo: an alternative model of concurrency for Eiffel.	Formal Aspects Comput.	2009	DBLP DOI BibTeX RDF
21	Ruihua Jin, Marco Piccioni	Eiffel for .NET Binding for db4o.	ICOODB	2008	DBLP BibTeX RDF
21	Phillip J. Brooke, Richard F. Paige	Exceptions in Concurrent Eiffel.	J. Object Technol.	2007	DBLP DOI BibTeX RDF
21	Frederic Merizen, Dominique Colnet, Philippe Ribet, Cyril Adrian	Héritage non conforme en Eiffel.	LMO	2006	DBLP BibTeX RDF
21	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
21	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
21	Jonathan S. Ostroff, Richard F. Paige, David Makalsky, Phillip J. Brooke	E-Tester: a Contract-Aware and Agent-Based Unit Testing Framework for Eiffel.	J. Object Technol.	2005	DBLP DOI BibTeX RDF
21	Wei Wang, Vassilios Tzerpos	DPVK - An Eclipse Plug-in to Detect Design Patterns in Eiffel Systems.	eTX	2004	DBLP DOI BibTeX RDF
21	Philippe Ribet, Cyril Adrian, Olivier Zendra, Dominique Colnet	Conformance of agents in the Eiffel language.	J. Object Technol.	2004	DBLP DOI BibTeX RDF
21	Karine Arnout, Eric Bezault	How to get a Singleton in Eiffel.	J. Object Technol.	2004	DBLP DOI BibTeX RDF
21	Oleksandr Fuks, Jonathan S. Ostroff, Richard F. Paige	SECG: The SCOOP-to-Eiffel Code Generator.	J. Object Technol.	2004	DBLP DOI BibTeX RDF
21	Miguel Oliveira e Silva	Concurrent Object-Oriented Programming: The MP-Eiffel Approach.	J. Object Technol.	2004	DBLP DOI BibTeX RDF
21	Gilles Ardourel, Marianne Huchard	Class-based Visibility from an MDA Perspective: From Access Graphs to Eiffel Code.	J. Object Technol.	2004	DBLP DOI BibTeX RDF
21	Richard F. Paige, Jonathan S. Ostroff	ERC - An object-oriented refinement calculus for Eiffel.	Formal Aspects Comput.	2004	DBLP DOI BibTeX RDF
21	Peter Horan	Eiffel Assertions and the External Structure of Classes and Objects.	J. Object Technol.	2002	DBLP DOI BibTeX RDF
21	Bertrand Meyer 0001	The Start of an Eiffel Standard.	J. Object Technol.	2002	DBLP DOI BibTeX RDF
21	Manu De Backer, Guido Dedene, Monique Snoeck	An Encapsulated Eiffel Education Environment, based on Web Services.	J. Object Technol.	2002	DBLP DOI BibTeX RDF