The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for Eiffel with no syntactic query expansion in all metadata.

Publication years (Num. hits)
1987-1991 (15) 1992 (26) 1993-1994 (21) 1995-1996 (32) 1997-1998 (26) 1999 (22) 2000-2001 (19) 2002-2003 (16) 2004 (16) 2005-2007 (21) 2008-2010 (16) 2011-2018 (15) 2019-2023 (9)
Publication types (Num. hits)
article(74) book(5) inproceedings(174) proceedings(1)
Venues (Conferences, Journals, ...)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 191 occurrences of 132 keywords

Results
Found 254 publication records. Showing 254 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
157John Potter, Ryan Shelswell, Ian Joyner Library Interoperability via Inheritance. Search on Bibsonomy TOOLS (26) The full citation details ... 1998 DBLP  DOI  BibTeX  RDF Library interoperability, Java, inheritance, Eiffel, applets, language translation
138Robert Jellinghaus Eiffel Linda: an object-oriented Linda dialect. Search on Bibsonomy ACM SIGPLAN Notices The full citation details ... 1990 DBLP  DOI  BibTeX  RDF Linda, Eiffel
111Dominique Colnet, Olivier Zendra Optimizations of Eiffel Programs: Smalleiffel, the GNU Eiffel Compiler. Search on Bibsonomy TOOLS (29) The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
110Dominique Colnet, Luigi Liquori Match-O, A Dialect of Eiffel with Match-Types. Search on Bibsonomy TOOLS (37) The full citation details ... 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
91Isabelle Attali, Denis Caromel, Sidi O. Ehmety A Natural Semantics for Eiffel Dynamic Binding. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 1996 DBLP  DOI  BibTeX  RDF semantics, inheritance, Eiffel, Eiffel, dynamic binding, renaming
83G. Butler, Christine Mingins YooccLa: A Parser Generator for L-Attributed Grammars. Search on Bibsonomy TOOLS (37) The full citation details ... 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
77Wolfgang Strunk Entwurf und prototypische Implementierung eines Klassenbrowsers für Eiffel. Search on Bibsonomy Eiffel The full citation details ... 1992 DBLP  BibTeX  RDF
77Dirk Bäumer, Horst Lichter Ein User Interface Management System für Eiffel. Search on Bibsonomy Eiffel The full citation details ... 1992 DBLP  BibTeX  RDF
77Rüdiger Blach Ein LL(1) - Parser für Eiffel. Search on Bibsonomy Eiffel The full citation details ... 1992 DBLP  BibTeX  RDF
77Bertrand Meyer 0001 Eiffel: Version 3 and beyond. Search on Bibsonomy Eiffel The full citation details ... 1992 DBLP  BibTeX  RDF
77Martin Nagler Erweiterung von Eiffel um persistente Konzepte. Search on Bibsonomy Eiffel The full citation details ... 1992 DBLP  BibTeX  RDF
77Rainer Fischbach Programming by Contract - Erfüllt Eiffel das Ideal? -. Search on Bibsonomy Eiffel The full citation details ... 1992 DBLP  BibTeX  RDF
76Glenn Maughan, Raphael Simon Mastering the Windows Eiffel Library. Search on Bibsonomy TOOLS (30) The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
70Martin Nordio, Cristiano Calcagno, Peter Müller 0001, Bertrand Meyer 0001 A Sound and Complete Program Logic for Eiffel. Search on Bibsonomy TOOLS (47) The full citation details ... 2009 DBLP  DOI  BibTeX  RDF operational semantics, Software verification, Eiffel, program proofs
70Martin Nordio, Peter Müller 0001, Bertrand Meyer 0001 Proof-Transforming Compilation of Eiffel Programs. Search on Bibsonomy TOOLS (46) The full citation details ... 2008 DBLP  DOI  BibTeX  RDF proof-transforming compiler, CIL, Software verification, Proof-Carrying Code, Eiffel, program proofs
70Michael Rybe, Stefan Leboch Eiffel in Lehre und Forschung - Erfahrungen und Perspektiven. Search on Bibsonomy Inform. Spektrum The full citation details ... 1997 DBLP  DOI  BibTeX  RDF Informatik-Ausbildung, Informatikdidaktik, Eiffel, Objektorientierung
70Jean-Marc Jézéquel EPEE: an Eiffel Environment to Program Distributed Memory Parallel Computers. Search on Bibsonomy ECOOP The full citation details ... 1992 DBLP  DOI  BibTeX  RDF Parallel Object Oriented Programming, Data Parallelism, Eiffel, Massively Parallel Architectures
62Bertrand Meyer 0001 Eiffel as a Framework for Verification. Search on Bibsonomy VSTTE The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
62Steffen Helke, Thomas Santen Mechanized Analysis of Behavioral Conformance in the Eiffel Base Libraries. Search on Bibsonomy FME The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
62Marina Nudelman Designing and Building the Eiffel Binding for COM. Search on Bibsonomy TOOLS (39) The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
62Patrice Chalin Are Practitioners Writing Contracts? Search on Bibsonomy RODIN Book The full citation details ... 2006 DBLP  DOI  BibTeX  RDF program assertions, empirical study, design by contract, Eiffel
56Phillip J. Brooke, Richard F. Paige, Jeremy L. Jacob A CSP model of Eiffel's SCOOP. Search on Bibsonomy Formal Aspects Comput. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF SCOOP, Formal methods, Concurrency, Programming languages, Eiffel
55Hans-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 Search on Bibsonomy Eiffel The full citation details ... 1992 DBLP  BibTeX  RDF
55Ruth Breu, Michael Breu Ein Konzept der Modul- und Typvererbung. Search on Bibsonomy Eiffel The full citation details ... 1992 DBLP  BibTeX  RDF
55Reinhard Budde, Marie-Luise Christ-Neumann, Karl-Heinz Sylla, Heinz Züllighoven Erfahrungen beim objektorientierten Entwerfen und Analysieren. Search on Bibsonomy Eiffel The full citation details ... 1992 DBLP  BibTeX  RDF
55Tibor Németh Methoden und Werkzeuge für den konstruktiven Entwurf von Objektsystemen. Search on Bibsonomy Eiffel The full citation details ... 1992 DBLP  BibTeX  RDF
49Wei Wang, Vassilios Tzerpos Design Pattern Detection in Eiffel Systems. Search on Bibsonomy WCRE The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
49Bertrand Meyer 0001 Seamless Development with the Eiffel Method. Search on Bibsonomy TOOLS (29) The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
49Simon Parker Eiffel Workshop: Tools and Platforms. Search on Bibsonomy TOOLS (29) The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
49Virgínia A. O. Cordeiro, Augusto Sampaio, Silvio Romero de Lemos Meira From MooZ to Eiffel - A Rigorous Approach to System Development. Search on Bibsonomy FME The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
49L. Gunaseelan, Richard J. LeBlanc Distributed Eiffel: a language for programming multi-granular distributed objects on the Clouds operating system. Search on Bibsonomy ICCL The full citation details ... 1992 DBLP  DOI  BibTeX  RDF
43Richie Bielak Eiffel in Practice: Reflections of an Eiffel Programmer. Search on Bibsonomy J. Object Oriented Program. The full citation details ... 1996 DBLP  BibTeX  RDF
43Colm McHugh, Vinny Cahill Eiffel**: An Implementation of Eiffel on Amadeus, a Persistent, Distributed Applications Support Environment. Search on Bibsonomy TOOLS (10) The full citation details ... 1993 DBLP  BibTeX  RDF
42Olivier Zendra, Dominique Colnet Adding External Iterators to an Existing Eiffel Class Library. Search on Bibsonomy TOOLS (32) The full citation details ... 1999 DBLP  DOI  BibTeX  RDF SmallEiffel, libraries, iterators, collections, Eiffel
42Donald 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. Search on Bibsonomy TRI-Ada The full citation details ... 1996 DBLP  DOI  BibTeX  RDF Ada, C++, Eiffel
41Gary T. Leavens, Albert L. Baker, Clyde Ruby Preliminary design of JML: a behavioral interface specification language for java. Search on Bibsonomy ACM SIGSOFT Softw. Eng. Notes The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
35Richard F. Paige, Jonathan S. Ostroff Specification-Driven Design with Eiffel and Agents for Teaching Lightweight Formal Methods. Search on Bibsonomy TFM The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
35Karine Arnout, Raphael Simon The .NET Contract Wizard: Adding Design by Contract to Languages Other than Eiffel. Search on Bibsonomy TOOLS (39) The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
35Ian Joyner Java, Eiffel and C++: The Language Comparison. Search on Bibsonomy TOOLS (30) The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
35Dale A. Schoenefeld Object-oriented design and programming: an Eiffel, C++, and Java course for C programmers. Search on Bibsonomy SIGCSE The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
35James C. McKim Teaching Object Oriented Programming and Design with Eiffel. Search on Bibsonomy CSEE The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
35Nadia Polikarpova, Ilinca Ciupa, Bertrand Meyer 0001 A comparative study of programmer-written and automatically inferred contracts. Search on Bibsonomy ISSTA The full citation details ... 2009 DBLP  DOI  BibTeX  RDF dynamic contract inference, eiffel
35Mohammad Reza Nami A comparison of object-oriented languages in software engineering. Search on Bibsonomy ACM SIGSOFT Softw. Eng. Notes The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Java, C++, Smalltalk, object-oriented languages, Eiffel, object-oriented software engineering
35Ronald Garcia, Jaakko Järvi, Andrew Lumsdaine, Jeremy G. Siek, Jeremiah Willcock A comparative study of language support for generic programming. Search on Bibsonomy OOPSLA The full citation details ... 2003 DBLP  DOI  BibTeX  RDF Java, C++, generics, Haskell, polymorphism, generic programming, standard ML, C#, Eiffel
35Karine Arnout, Bertrand Meyer 0001 Finding Implicit Contracts in .NET Components. Search on Bibsonomy FMCO The full citation details ... 2002 DBLP  DOI  BibTeX  RDF Design by ContractTM, Library design, Implicit contracts, Contract Wizard, Metadata, Reuse, Eiffel, .NET
35Yania Crespo, Juan José Rodríguez, José Manuel Marqués Corral Obtaining Generic Classes Automatically through a Parameterization Operator: A Focus on Constrained Genericity. Search on Bibsonomy TOOLS (31) The full citation details ... 1999 DBLP  DOI  BibTeX  RDF restructuring classes, reorganizing hierarchies, constrained genericity, object oriented programming, reuse, Eiffel
35Michael Kölling, Bett Koch, John Rosenberg Requirements for a first year object-oriented teaching language. Search on Bibsonomy SIGCSE The full citation details ... 1995 DBLP  DOI  BibTeX  RDF C++, Smalltalk, Eiffel
27Lucas Serpa Silva, Maarten van Someren Evolutionary testing of object-oriented software. Search on Bibsonomy SAC The full citation details ... 2010 DBLP  DOI  BibTeX  RDF genetic algorithms, software testing, evolutionary computing
27Robert J. Gaizauskas, Mark Hepple, Mark A. Greenwood Information retrieval for question answering a SIGIR 2004 workshop. Search on Bibsonomy SIGIR Forum The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
27Saeed Araban, A. S. M. Sajeev Reusability Analysis of Four Standard Object-Oriented Class Libraries. Search on Bibsonomy SERA The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
27David Maley, Ivor T. A. Spence But Who Will Guard the Guardians? Search on Bibsonomy TOOLS (34) The full citation details ... 2000 DBLP  DOI  BibTeX  RDF VDM++, C++, Genericity, Design by Contract
27Sea Ling, Heinz W. Schmidt, Rohan Fletcher Constructing Interoperable Components in Distributed Systems. Search on Bibsonomy TOOLS (32) The full citation details ... 1999 DBLP  DOI  BibTeX  RDF distributed systems, Components, design-by-contract
27Yves Le Traon, Daniel Deveaux, Jean-Marc Jézéquel Self-Testable Components: From Pragmatic Tests to Design-for-Testability Methodology. Search on Bibsonomy TOOLS (29) The full citation details ... 1999 DBLP  DOI  BibTeX  RDF testing, design-for-testability, self-test, design by contract, reusable components
27Dominique Colnet, Philippe Coucaud, Olivier Zendra Compiler Support to Customize the Mark and Sweep Algorithm. Search on Bibsonomy ISMM The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
27Liliana Favre Object Oriented Reuse through Algebraic Specifications. Search on Bibsonomy TOOLS (28) The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
27Jon. Hallett Formulating Update Messages. Search on Bibsonomy ACM SIGPLAN Notices The full citation details ... 1995 DBLP  DOI  BibTeX  RDF Smalltalk
27Heinz W. Schmidt, Jian Chen Reasoning about Concurrent Objects. Search on Bibsonomy APSEC The full citation details ... 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
27Naoufel Kraïem, Joël Brunet Mapping of Conceptual Specifications into Object-Oriented Programs. Search on Bibsonomy SEKE The full citation details ... 1992 DBLP  DOI  BibTeX  RDF
21Clé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. Search on Bibsonomy CoRR The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
21Clé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. Search on Bibsonomy Int. J. Robotics Res. The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
21Zuoyan 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. Search on Bibsonomy ASE The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
21Arian Baloochestani, Leander Jehl Eiffel: Extending Formal Verification of Distributed Algorithms to Utility Analysis. Search on Bibsonomy BRAINS The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
21Abeda Sultana, Md. Mainul Haque, Li Chen 0019, Fei Xu, Xu Yuan 0001 Eiffel: Efficient and Fair Scheduling in Adaptive Federated Learning. Search on Bibsonomy IEEE Trans. Parallel Distributed Syst. The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
21Amrita Roy Chowdhury 0001, Chuan Guo, Somesh Jha, Laurens van der Maaten EIFFeL: Ensuring Integrity for Federated Learning. Search on Bibsonomy CCS The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
21Amrita Roy Chowdhury 0001, Chuan Guo, Somesh Jha, Laurens van der Maaten EIFFeL: Ensuring Integrity for Federated Learning. Search on Bibsonomy CoRR The full citation details ... 2021 DBLP  BibTeX  RDF
21Yucheng 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. Search on Bibsonomy IEEE Trans. Vis. Comput. Graph. The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
21Ahmed Saeed 0001, Yimeng Zhao, Nandita Dukkipati, Ellen W. Zegura, Mostafa H. Ammar, Khaled Harras, Amin Vahdat Eiffel: Efficient and Flexible Software Packet Scheduling. Search on Bibsonomy NSDI The full citation details ... 2019 DBLP  BibTeX  RDF
21Richard Davis 0001 Gustave Eiffel's wind tunnel. Search on Bibsonomy IEEE Instrum. Meas. Mag. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
21Ahmed Saeed 0001, Yimeng Zhao, Nandita Dukkipati, Mostafa H. Ammar, Ellen W. Zegura, Khaled Harras, Amin Vahdat Eiffel: Efficient and Flexible Software Packet Scheduling. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
21Victor Rivera, Jooyoung Lee, Manuel Mazzara Mapping Event-B Machines into Eiffel Programming Language. Search on Bibsonomy SEDA The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
21Daniel Ståhl, Kristofer Hallén, Jan Bosch Achieving traceability in large scale continuous integration and delivery deployment, usage and validation of the eiffel framework. Search on Bibsonomy Empir. Softw. Eng. The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
21Victor Rivera, Jooyoung Lee, Manuel Mazzara, Leonard Johard Translating Event-B machines to Eiffel programs. Search on Bibsonomy CoRR The full citation details ... 2017 DBLP  BibTeX  RDF
21Stefan 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. Search on Bibsonomy Int. J. Softw. Tools Technol. Transf. The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
21Marco Trudel C nach Eiffel: Automatische Übersetzung und objektorientierte Umstrukturierung von Legacy Quelltext. Search on Bibsonomy Software Engineering The full citation details ... 2014 DBLP  BibTeX  RDF
21Markku Sakkinen, Philippe Lahire, Ciprian-Bogdan Chirila Towards Fully-Fledged Reverse Inheritance in Eiffel. Search on Bibsonomy Nord. J. Comput. The full citation details ... 2013 DBLP  BibTeX  RDF
21Charles R. Severance Bertrand Meyer: Software Engineering and the Eiffel Programming Language. Search on Bibsonomy Computer The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
21Marco Trudel, Carlo A. Furia, Martin Nordio, Bertrand Meyer 0001, Manuel Oriol Automatic Translation of C Source Code to Eiffel Search on Bibsonomy CoRR The full citation details ... 2012 DBLP  BibTeX  RDF
21Alexander Schiftner, Nicolas Leduc, Philippe Bompas, Niccolo Baldassini, Michael Eigensatz Architectural Geometry from Research to Practice: The Eiffel Tower Pavilions. Search on Bibsonomy AAG The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
21Emil Sekerinski, Tian Zhang Verification Rules for Exception Handling in Eiffel. Search on Bibsonomy SBMF The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
21Julian Tschannen, Carlo A. Furia, Martin Nordio, Bertrand Meyer 0001 Verifying Eiffel Programs with Boogie Search on Bibsonomy CoRR The full citation details ... 2011 DBLP  BibTeX  RDF
21Friedrich Steimann, Christian Kollee, Jens von Pilgrim A Refactoring Constraint Language and Its Application to Eiffel. Search on Bibsonomy ECOOP The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
21Marco Trudel, Manuel Oriol, Carlo A. Furia, Martin Nordio Automated Translation of Java Source Code to Eiffel. Search on Bibsonomy TOOLS (49) The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
21Bertrand Meyer 0001 Automatic Testing and Fixing for Eiffel - (Extended Abstract). Search on Bibsonomy TAIC PART The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
21Phillip J. Brooke, Richard F. Paige Cameo: an alternative model of concurrency for Eiffel. Search on Bibsonomy Formal Aspects Comput. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
21Ruihua Jin, Marco Piccioni Eiffel for .NET Binding for db4o. Search on Bibsonomy ICOODB The full citation details ... 2008 DBLP  BibTeX  RDF
21Phillip J. Brooke, Richard F. Paige Exceptions in Concurrent Eiffel. Search on Bibsonomy J. Object Technol. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
21Frederic Merizen, Dominique Colnet, Philippe Ribet, Cyril Adrian Héritage non conforme en Eiffel. Search on Bibsonomy LMO The full citation details ... 2006 DBLP  BibTeX  RDF
21Joseph R. Kiniry Exceptions in Java and Eiffel: Two Extremes in Exception Design and Application. Search on Bibsonomy Advanced Topics in Exception Handling Techniques The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
21Dominique 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. Search on Bibsonomy ICSR The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
21Jonathan S. Ostroff, Richard F. Paige, David Makalsky, Phillip J. Brooke E-Tester: a Contract-Aware and Agent-Based Unit Testing Framework for Eiffel. Search on Bibsonomy J. Object Technol. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
21Wei Wang, Vassilios Tzerpos DPVK - An Eclipse Plug-in to Detect Design Patterns in Eiffel Systems. Search on Bibsonomy eTX The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
21Philippe Ribet, Cyril Adrian, Olivier Zendra, Dominique Colnet Conformance of agents in the Eiffel language. Search on Bibsonomy J. Object Technol. The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
21Karine Arnout, Eric Bezault How to get a Singleton in Eiffel. Search on Bibsonomy J. Object Technol. The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
21Oleksandr Fuks, Jonathan S. Ostroff, Richard F. Paige SECG: The SCOOP-to-Eiffel Code Generator. Search on Bibsonomy J. Object Technol. The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
21Miguel Oliveira e Silva Concurrent Object-Oriented Programming: The MP-Eiffel Approach. Search on Bibsonomy J. Object Technol. The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
21Gilles Ardourel, Marianne Huchard Class-based Visibility from an MDA Perspective: From Access Graphs to Eiffel Code. Search on Bibsonomy J. Object Technol. The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
21Richard F. Paige, Jonathan S. Ostroff ERC - An object-oriented refinement calculus for Eiffel. Search on Bibsonomy Formal Aspects Comput. The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
21Peter Horan Eiffel Assertions and the External Structure of Classes and Objects. Search on Bibsonomy J. Object Technol. The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
21Bertrand Meyer 0001 The Start of an Eiffel Standard. Search on Bibsonomy J. Object Technol. The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
21Manu De Backer, Guido Dedene, Monique Snoeck An Encapsulated Eiffel Education Environment, based on Web Services. Search on Bibsonomy J. Object Technol. The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #100 of 254 (100 per page; Change: )
Pages: [1][2][3][>>]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by L3S.
Previously maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license