Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
157 | John Potter, Ryan Shelswell, Ian Joyner |
Library Interoperability via Inheritance. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TOOLS (26) ![In: TOOLS 1998: 26th International Conference on Technology of Object-Oriented Languages and Systems, 3-7 August 1998, Santa Barbara, CA, USA, pp. 71-83, 1998, IEEE Computer Society, 0-8186-8482-8. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
Library interoperability, Java, inheritance, Eiffel, applets, language translation |
138 | Robert Jellinghaus |
Eiffel Linda: an object-oriented Linda dialect. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM SIGPLAN Notices ![In: ACM SIGPLAN Notices 25(12), pp. 70-84, 1990. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
Linda, Eiffel |
111 | Dominique Colnet, Olivier Zendra |
Optimizations of Eiffel Programs: Smalleiffel, the GNU Eiffel Compiler. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TOOLS (29) ![In: TOOLS Europe 1999: 29th International Conference on Technology of Object-Oriented Languages and Systems, 7-10 June 1999, Nancy, France, pp. 341-350, 1999, IEEE Computer Society, 0-7695-0275-X. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
110 | Dominique Colnet, Luigi Liquori |
Match-O, A Dialect of Eiffel with Match-Types. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TOOLS (37) ![In: TOOLS Pacific 2000: 37th International Conference on Technology of Object-Oriented Languages and Systems, Sydney, Australia, November 2000, pp. 190-201, 2000, IEEE Computer Society, 0-7695-0918-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Program. Lang. Syst. ![In: ACM Trans. Program. Lang. Syst. 18(6), pp. 711-729, 1996. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TOOLS (37) ![In: TOOLS Pacific 2000: 37th International Conference on Technology of Object-Oriented Languages and Systems, Sydney, Australia, November 2000, pp. 214-227, 2000, IEEE Computer Society, 0-7695-0918-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Eiffel ![In: Eiffel, Gemeinsame Fachtagung des German Chapter of the ACM mit der Gesellschaft für Informatik (GI), am 25. und 26. Mai 1992 in Darmstadt, pp. 79-89, 1992, Teubner, 3-519-02676-7. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP BibTeX RDF |
|
77 | Dirk Bäumer, Horst Lichter |
Ein User Interface Management System für Eiffel. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Eiffel ![In: Eiffel, Gemeinsame Fachtagung des German Chapter of the ACM mit der Gesellschaft für Informatik (GI), am 25. und 26. Mai 1992 in Darmstadt, pp. 91-104, 1992, Teubner, 3-519-02676-7. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP BibTeX RDF |
|
77 | Rüdiger Blach |
Ein LL(1) - Parser für Eiffel. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Eiffel ![In: Eiffel, Gemeinsame Fachtagung des German Chapter of the ACM mit der Gesellschaft für Informatik (GI), am 25. und 26. Mai 1992 in Darmstadt, pp. 69-78, 1992, Teubner, 3-519-02676-7. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP BibTeX RDF |
|
77 | Bertrand Meyer 0001 |
Eiffel: Version 3 and beyond. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Eiffel ![In: Eiffel, Gemeinsame Fachtagung des German Chapter of the ACM mit der Gesellschaft für Informatik (GI), am 25. und 26. Mai 1992 in Darmstadt, pp. 5, 1992, Teubner, 3-519-02676-7. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP BibTeX RDF |
|
77 | Martin Nagler |
Erweiterung von Eiffel um persistente Konzepte. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Eiffel ![In: Eiffel, Gemeinsame Fachtagung des German Chapter of the ACM mit der Gesellschaft für Informatik (GI), am 25. und 26. Mai 1992 in Darmstadt, pp. 7-22, 1992, Teubner, 3-519-02676-7. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP BibTeX RDF |
|
77 | Rainer Fischbach |
Programming by Contract - Erfüllt Eiffel das Ideal? -. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Eiffel ![In: Eiffel, Gemeinsame Fachtagung des German Chapter of the ACM mit der Gesellschaft für Informatik (GI), am 25. und 26. Mai 1992 in Darmstadt, pp. 55-68, 1992, Teubner, 3-519-02676-7. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP BibTeX RDF |
|
76 | Glenn Maughan, Raphael Simon |
Mastering the Windows Eiffel Library. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TOOLS (30) ![In: TOOLS 1999: 30th International Conference on Technology of Object-Oriented Languages and Systems, Delivering Quality Software - The Way Ahead, 1-5 August 1999, Santa Barbara, CA, USA, pp. 444, 1999, IEEE Computer Society, 0-7695-0278-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TOOLS (47) ![In: Objects, Components, Models and Patterns, 47th International Conference, TOOLS EUROPE 2009, Zurich, Switzerland, June 29-July 3, 2009. Proceedings, pp. 195-214, 2009, Springer, 978-3-642-02570-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TOOLS (46) ![In: Objects, Components, Models and Patterns, 46th International Conference, TOOLS EUROPE 2008, Zurich, Switzerland, June 30 - July 4, 2008. Proceedings, pp. 316-335, 2008, Springer, 978-3-540-69823-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inform. Spektrum ![In: Inform. Spektrum 20(6), pp. 344-349, 1997. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECOOP ![In: ECOOP '92, European Conference on Object-Oriented Programming, Utrecht, The Netherlands, June 29 - July 3, 1992, Proceedings, pp. 197-212, 1992, Springer, 3-540-55668-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VSTTE ![In: Verified Software: Theories, Tools, Experiments, First IFIP TC 2/WG 2.3 Conference, VSTTE 2005, Zurich, Switzerland, October 10-13, 2005, Revised Selected Papers and Discussions, pp. 301-307, 2005, Springer, 978-3-540-69147-1. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
62 | Steffen Helke, Thomas Santen |
Mechanized Analysis of Behavioral Conformance in the Eiffel Base Libraries. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FME ![In: FME 2001: Formal Methods for Increasing Software Productivity, International Symposium of Formal Methods Europe, Berlin, Germany, March 12-16, 2001, Proceedings, pp. 20-42, 2001, Springer, 3-540-41791-5. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
62 | Marina Nudelman |
Designing and Building the Eiffel Binding for COM. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TOOLS (39) ![In: 39th International Conference and Exhibition on Technology of Object-Oriented Languages and Systems, TOOLS USA 2001, Santa Barbara, CA, USA, July 29 - August 3, 2001, pp. 66-72, 2001, IEEE Computer Society, 0-7695-1251-8. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
62 | Patrice Chalin |
Are Practitioners Writing Contracts? ![Search on Bibsonomy](Pics/bibsonomy.png) |
RODIN Book ![In: Rigorous Development of Complex Fault-Tolerant Systems [FP6 IST-511599 RODIN project], pp. 100-113, 2006, Springer, 3-540-48265-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Aspects Comput. ![In: Formal Aspects Comput. 19(4), pp. 487-512, 2007. The full citation details ...](Pics/full.jpeg) |
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 ![Search on Bibsonomy](Pics/bibsonomy.png) |
Eiffel ![Teubner, 3-519-02676-7 The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP BibTeX RDF |
|
55 | Ruth Breu, Michael Breu |
Ein Konzept der Modul- und Typvererbung. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Eiffel ![In: Eiffel, Gemeinsame Fachtagung des German Chapter of the ACM mit der Gesellschaft für Informatik (GI), am 25. und 26. Mai 1992 in Darmstadt, pp. 23-37, 1992, Teubner, 3-519-02676-7. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP BibTeX RDF |
|
55 | Reinhard Budde, Marie-Luise Christ-Neumann, Karl-Heinz Sylla, Heinz Züllighoven |
Erfahrungen beim objektorientierten Entwerfen und Analysieren. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Eiffel ![In: Eiffel, Gemeinsame Fachtagung des German Chapter of the ACM mit der Gesellschaft für Informatik (GI), am 25. und 26. Mai 1992 in Darmstadt, pp. 105-106, 1992, Teubner, 3-519-02676-7. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP BibTeX RDF |
|
55 | Tibor Németh |
Methoden und Werkzeuge für den konstruktiven Entwurf von Objektsystemen. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Eiffel ![In: Eiffel, Gemeinsame Fachtagung des German Chapter of the ACM mit der Gesellschaft für Informatik (GI), am 25. und 26. Mai 1992 in Darmstadt, pp. 39-53, 1992, Teubner, 3-519-02676-7. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP BibTeX RDF |
|
49 | Wei Wang, Vassilios Tzerpos |
Design Pattern Detection in Eiffel Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WCRE ![In: 12th Working Conference on Reverse Engineering, WCRE 2005, Pittsburgh, PA, USA, November 7-11, 2005, pp. 165-174, 2005, IEEE Computer Society, 0-7695-2474-5. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
49 | Bertrand Meyer 0001 |
Seamless Development with the Eiffel Method. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TOOLS (29) ![In: TOOLS Europe 1999: 29th International Conference on Technology of Object-Oriented Languages and Systems, 7-10 June 1999, Nancy, France, pp. 397, 1999, IEEE Computer Society, 0-7695-0275-X. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
49 | Simon Parker |
Eiffel Workshop: Tools and Platforms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TOOLS (29) ![In: TOOLS Europe 1999: 29th International Conference on Technology of Object-Oriented Languages and Systems, 7-10 June 1999, Nancy, France, pp. 418, 1999, IEEE Computer Society, 0-7695-0275-X. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FME ![In: FME '94: Industrial Benefit of Formal Methods, Second International Symposium of Formal Methods Europe, Barcelona, Spain, October 24-18, 1994, Proceedings, pp. 306-325, 1994, Springer, 3-540-58555-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCL ![In: ICCL'92, Proceedings of the 1992 International Conference on Computer Languages, Oakland, California, USA, 20-23 Apr 1992, pp. 331-340, 1992, IEEE Computer Society, 0-8186-2585-6. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
43 | Richie Bielak |
Eiffel in Practice: Reflections of an Eiffel Programmer. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Object Oriented Program. ![In: J. Object Oriented Program. 9(2), pp. 67-68, 81, 1996. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP BibTeX RDF |
|
43 | Colm McHugh, Vinny Cahill |
Eiffel**: An Implementation of Eiffel on Amadeus, a Persistent, Distributed Applications Support Environment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TOOLS (10) ![In: TOOLS 1993: 10th International Conference on Technology of Object-Oriented Languages and Systems, Versailles, France, Europe., pp. 47-62, 1993, Prentice Hall, 0-13-097114-6. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP BibTeX RDF |
|
42 | Olivier Zendra, Dominique Colnet |
Adding External Iterators to an Existing Eiffel Class Library. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TOOLS (32) ![In: TOOLS Pacific 1999: 32nd International Conference on Technology of Object-Oriented Languages and Systems, 22-25 November 1999, Melbourne, Australia, pp. 188-199, 1999, IEEE Computer Society, 0-7695-0462-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TRI-Ada ![In: The annual meeting of the Ada programming world, TRI-Ada 1996, December 3-7, 1996, Philadelphia, Pennsylvania, USA, pp. 99-113, 1996, ACM, 0-89791-808-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM SIGSOFT Softw. Eng. Notes ![In: ACM SIGSOFT Softw. Eng. Notes 31(3), pp. 1-38, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
35 | Richard F. Paige, Jonathan S. Ostroff |
Specification-Driven Design with Eiffel and Agents for Teaching Lightweight Formal Methods. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TFM ![In: Teaching Formal Methods, CoLogNET/FME Symposium, TFM 2004, Ghent, Belgium, November 18-19, 2004, Proceedings, pp. 107-123, 2004, Springer, 3-540-23611-2. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
35 | Karine Arnout, Raphael Simon |
The .NET Contract Wizard: Adding Design by Contract to Languages Other than Eiffel. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TOOLS (39) ![In: 39th International Conference and Exhibition on Technology of Object-Oriented Languages and Systems, TOOLS USA 2001, Santa Barbara, CA, USA, July 29 - August 3, 2001, pp. 14-23, 2001, IEEE Computer Society, 0-7695-1251-8. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
35 | Ian Joyner |
Java, Eiffel and C++: The Language Comparison. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TOOLS (30) ![In: TOOLS 1999: 30th International Conference on Technology of Object-Oriented Languages and Systems, Delivering Quality Software - The Way Ahead, 1-5 August 1999, Santa Barbara, CA, USA, pp. 441, 1999, IEEE Computer Society, 0-7695-0278-4. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
35 | Dale A. Schoenefeld |
Object-oriented design and programming: an Eiffel, C++, and Java course for C programmers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGCSE ![In: Proceedings of the 28th SIGCSE Technical Symposium on Computer Science Education, SIGCSE 1997, San Jose, California, USA, February 27 - March 1, 1997, pp. 135-139, 1997, ACM, 0-89791-889-4. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
35 | James C. McKim |
Teaching Object Oriented Programming and Design with Eiffel. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSEE ![In: Software Engineering Education, 8th SEI CSEE Conference, New Orleans, LA, USA, March 29 - April 1, 1995, Proceedings, pp. 445-445, 1995, Springer, 3-540-58951-1. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
35 | Nadia Polikarpova, Ilinca Ciupa, Bertrand Meyer 0001 |
A comparative study of programmer-written and automatically inferred contracts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSTA ![In: Proceedings of the Eighteenth International Symposium on Software Testing and Analysis, ISSTA 2009, Chicago, IL, USA, July 19-23, 2009, pp. 93-104, 2009, ACM, 978-1-60558-338-9. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
dynamic contract inference, eiffel |
35 | Mohammad Reza Nami |
A comparison of object-oriented languages in software engineering. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM SIGSOFT Softw. Eng. Notes ![In: ACM SIGSOFT Softw. Eng. Notes 33(4), 2008. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OOPSLA ![In: Proceedings of the 2003 ACM SIGPLAN Conference on Object-Oriented Programming Systems, Languages and Applications, OOPSLA 2003, October 26-30, 2003, Anaheim, CA, USA, pp. 115-134, 2003, ACM, 1-58113-712-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMCO ![In: Formal Methods for Components and Objects, First International Symposium, FMCO 2002, Leiden, The Netherlands, November 5-8, 2002, Revised Lectures, pp. 285-318, 2002, Springer, 3-540-20303-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TOOLS (31) ![In: TOOLS 1999: 31st International Conference on Technology of Object-Oriented Languages and Systems, 22-25 September 1999, Nanjing, China, pp. 166-176, 1999, IEEE Computer Society, 0-7695-0393-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGCSE ![In: Proceedings of the 26th SIGCSE Technical Symposium on Computer Science Education, SIGCSE 1995, Nashville, Tennessee, USA, March 2-4, 1995, pp. 173-177, 1995, ACM, 0-89791-693-X. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
C++, Smalltalk, Eiffel |
27 | Lucas Serpa Silva, Maarten van Someren |
Evolutionary testing of object-oriented software. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAC ![In: Proceedings of the 2010 ACM Symposium on Applied Computing (SAC), Sierre, Switzerland, March 22-26, 2010, pp. 1126-1130, 2010, ACM, 978-1-60558-639-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGIR Forum ![In: SIGIR Forum 38(2), pp. 41-44, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
27 | Saeed Araban, A. S. M. Sajeev |
Reusability Analysis of Four Standard Object-Oriented Class Libraries. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SERA ![In: Software Engineering Research, Management and Applications, Second International Conference, SERA 2004, Los Angeles, CA, USA, May 5-7, 2004, Selected Revised Papers, pp. 171-186, 2004, Springer, 3-540-32133-0. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
27 | David Maley, Ivor T. A. Spence |
But Who Will Guard the Guardians? ![Search on Bibsonomy](Pics/bibsonomy.png) |
TOOLS (34) ![In: TOOLS 2000: 34th International Conference on Technology of Object-Oriented Languages and Systems, 30 July - 3 August 2000, Santa Barbara, CA, USA, pp. 227-238, 2000, IEEE Computer Society, 0-7695-0774-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TOOLS (32) ![In: TOOLS Pacific 1999: 32nd International Conference on Technology of Object-Oriented Languages and Systems, 22-25 November 1999, Melbourne, Australia, pp. 274-, 1999, IEEE Computer Society, 0-7695-0462-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TOOLS (29) ![In: TOOLS Europe 1999: 29th International Conference on Technology of Object-Oriented Languages and Systems, 7-10 June 1999, Nancy, France, pp. 96-107, 1999, IEEE Computer Society, 0-7695-0275-X. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISMM ![In: International Symposium on Memory Management, ISMM '98, Vancouver, British Columbia, Canada, 17-19 October, 1998, Conference Proceedings, pp. 154-165, 1998, ACM, 1-58113-114-3. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
27 | Liliana Favre |
Object Oriented Reuse through Algebraic Specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TOOLS (28) ![In: TOOLS 1998: 28th International Conference on Technology of Object-Oriented Languages and Systems, 23-26 November 1998, Melbourne, Australia, pp. 101-112, 1998, IEEE Computer Society, 0-7695-0053-6. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
27 | Jon. Hallett |
Formulating Update Messages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM SIGPLAN Notices ![In: ACM SIGPLAN Notices 30(7), pp. 41-44, 1995. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
Smalltalk |
27 | Heinz W. Schmidt, Jian Chen |
Reasoning about Concurrent Objects. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APSEC ![In: 2nd Asia-Pacific Software Engineering Conference (APSEC '95), December 6-9, 1995, Brisbane, Queensland, Australia, pp. 86-95, 1995, IEEE Computer Society, 0-8186-7171-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEKE ![In: SEKE'92, The 4th International Conference on Software Engineering and Knowledge Engineering, June, 15-20 1992, Capri, Italy, pp. 624-639, 1992, IEEE Computer Society, 0-8186-2830-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2305.05301, 2023. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Robotics Res. ![In: Int. J. Robotics Res. 42(9), pp. 689-699, August 2023. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASE ![In: 38th IEEE/ACM International Conference on Automated Software Engineering, ASE 2023, Luxembourg, September 11-15, 2023, pp. 1441-1453, 2023, IEEE, 979-8-3503-2996-4. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
21 | Arian Baloochestani, Leander Jehl |
Eiffel: Extending Formal Verification of Distributed Algorithms to Utility Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
BRAINS ![In: 5th Conference on Blockchain Research & Applications for Innovative Networks and Services, BRAINS 2023, Paris, France, October 11-13, 2023, pp. 1-7, 2023, IEEE, 979-8-3503-1782-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Parallel Distributed Syst. ![In: IEEE Trans. Parallel Distributed Syst. 33(10), pp. 4282-4294, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
21 | Amrita Roy Chowdhury 0001, Chuan Guo, Somesh Jha, Laurens van der Maaten |
EIFFeL: Ensuring Integrity for Federated Learning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CCS ![In: Proceedings of the 2022 ACM SIGSAC Conference on Computer and Communications Security, CCS 2022, Los Angeles, CA, USA, November 7-11, 2022, pp. 2535-2549, 2022, ACM, 978-1-4503-9450-5. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
21 | Amrita Roy Chowdhury 0001, Chuan Guo, Somesh Jha, Laurens van der Maaten |
EIFFeL: Ensuring Integrity for Federated Learning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2112.12727, 2021. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Vis. Comput. Graph. ![In: IEEE Trans. Vis. Comput. Graph. 26(10), pp. 2944-2960, 2020. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NSDI ![In: 16th USENIX Symposium on Networked Systems Design and Implementation, NSDI 2019, Boston, MA, February 26-28, 2019., pp. 17-32, 2019, USENIX Association. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
21 | Richard Davis 0001 |
Gustave Eiffel's wind tunnel. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Instrum. Meas. Mag. ![In: IEEE Instrum. Meas. Mag. 21(5), pp. 49-51, 2018. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1810.03060, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
21 | Victor Rivera, Jooyoung Lee, Manuel Mazzara |
Mapping Event-B Machines into Eiffel Programming Language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEDA ![In: Proceedings of 6th International Conference in Software Engineering for Defence Applications, SEDA 2018, Rome, Italy, June 7-8, 2018, pp. 255-264, 2018, Springer, 978-3-030-14686-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Empir. Softw. Eng. ![In: Empir. Softw. Eng. 22(3), pp. 967-995, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
21 | Victor Rivera, Jooyoung Lee, Manuel Mazzara, Leonard Johard |
Translating Event-B machines to Eiffel programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1706.04578, 2017. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Softw. Tools Technol. Transf. ![In: Int. J. Softw. Tools Technol. Transf. 16(6), pp. 727-751, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
21 | Marco Trudel |
C nach Eiffel: Automatische Übersetzung und objektorientierte Umstrukturierung von Legacy Quelltext. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Software Engineering ![In: Software Engineering 2014, Fachtagung des GI-Fachbereichs Softwaretechnik, 25. Februar - 28. Februar 2014, Kiel, Germany, pp. 83-84, 2014, GI, 978-388579-621-3. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP BibTeX RDF |
|
21 | Markku Sakkinen, Philippe Lahire, Ciprian-Bogdan Chirila |
Towards Fully-Fledged Reverse Inheritance in Eiffel. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Nord. J. Comput. ![In: Nord. J. Comput. 15(1), pp. 32-52, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP BibTeX RDF |
|
21 | Charles R. Severance |
Bertrand Meyer: Software Engineering and the Eiffel Programming Language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Computer ![In: Computer 45(9), pp. 6-8, 2012. The full citation details ...](Pics/full.jpeg) |
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 ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1206.5648, 2012. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AAG ![In: Advances in Architectural Geometry, AAG 2012, Paris, France, September 27-28, 2012., pp. 213-228, 2012, Springer, 978-3-7091-1250-2. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
21 | Emil Sekerinski, Tian Zhang |
Verification Rules for Exception Handling in Eiffel. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SBMF ![In: Formal Methods: Foundations and Applications - 15th Brazilian Symposium, SBMF 2012, Natal, Brazil, September 23-28, 2012. Proceedings, pp. 179-193, 2012, Springer, 978-3-642-33295-1. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
21 | Julian Tschannen, Carlo A. Furia, Martin Nordio, Bertrand Meyer 0001 |
Verifying Eiffel Programs with Boogie ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1106.4700, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP BibTeX RDF |
|
21 | Friedrich Steimann, Christian Kollee, Jens von Pilgrim |
A Refactoring Constraint Language and Its Application to Eiffel. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECOOP ![In: ECOOP 2011 - Object-Oriented Programming - 25th European Conference, Lancaster, UK, July 25-29, 2011 Proceedings, pp. 255-280, 2011, Springer, 978-3-642-22654-0. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
21 | Marco Trudel, Manuel Oriol, Carlo A. Furia, Martin Nordio |
Automated Translation of Java Source Code to Eiffel. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TOOLS (49) ![In: Objects, Models, Components, Patterns - 49th International Conference, TOOLS 2011, Zurich, Switzerland, June 28-30, 2011. Proceedings, pp. 20-35, 2011, Springer, 978-3-642-21951-1. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
21 | Bertrand Meyer 0001 |
Automatic Testing and Fixing for Eiffel - (Extended Abstract). ![Search on Bibsonomy](Pics/bibsonomy.png) |
TAIC PART ![In: Testing - Practice and Research Techniques, 5th International Academic and Industrial Conference, TAIC PART 2010, Windsor, UK, September 3-5, 2010. Proceedings, pp. 1-4, 2010, Springer, 978-3-642-15584-0. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
21 | Phillip J. Brooke, Richard F. Paige |
Cameo: an alternative model of concurrency for Eiffel. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Aspects Comput. ![In: Formal Aspects Comput. 21(4), pp. 363-391, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
21 | Ruihua Jin, Marco Piccioni |
Eiffel for .NET Binding for db4o. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICOODB ![In: Object Databases, First International Conference, ICOODB 2008, Berlin, Germany, March 13-14, 2008. Proceedings., pp. 161-166, 2008, Tribun EU, 978-80-7399-412-9. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP BibTeX RDF |
|
21 | Phillip J. Brooke, Richard F. Paige |
Exceptions in Concurrent Eiffel. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Object Technol. ![In: J. Object Technol. 6(10), pp. 111-126, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
21 | Frederic Merizen, Dominique Colnet, Philippe Ribet, Cyril Adrian |
Héritage non conforme en Eiffel. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LMO ![In: Actes des journéees Langages et Modèles à Objets, LMO'06. Nîmes, France, 22-24 mars, pp. 87-100, 2006, Hermès Lavoisier, 2-7462-1418-0. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP BibTeX RDF |
|
21 | Joseph R. Kiniry |
Exceptions in Java and Eiffel: Two Extremes in Exception Design and Application. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Advanced Topics in Exception Handling Techniques ![In: Advanced Topics in Exception Handling Techniques (the book grow out of ECOOP workshops), pp. 288-300, 2006, Springer, 3-540-37443-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSR ![In: Reuse of Off-the-Shelf Components, 9th International Conference on Software Reuse, ICSR 2006, Turin, Italy, June 12-15, 2006, Proceedings, pp. 203-216, 2006, Springer, 3-540-34606-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Object Technol. ![In: J. Object Technol. 4(7), pp. 97-114, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
21 | Wei Wang, Vassilios Tzerpos |
DPVK - An Eclipse Plug-in to Detect Design Patterns in Eiffel Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
eTX ![In: Proceedings of the Second Eclipse Technology Exchange: eTX and the Eclipse Phenomenon, eTX 2004, Barcelona, Spain, March 30, 2004, pp. 71-86, 2004, Elsevier. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
21 | Philippe Ribet, Cyril Adrian, Olivier Zendra, Dominique Colnet |
Conformance of agents in the Eiffel language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Object Technol. ![In: J. Object Technol. 3(4), pp. 125-143, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
21 | Karine Arnout, Eric Bezault |
How to get a Singleton in Eiffel. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Object Technol. ![In: J. Object Technol. 3(4), pp. 75-95, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
21 | Oleksandr Fuks, Jonathan S. Ostroff, Richard F. Paige |
SECG: The SCOOP-to-Eiffel Code Generator. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Object Technol. ![In: J. Object Technol. 3(10), pp. 143-161, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
21 | Miguel Oliveira e Silva |
Concurrent Object-Oriented Programming: The MP-Eiffel Approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Object Technol. ![In: J. Object Technol. 3(4), pp. 97-124, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
21 | Gilles Ardourel, Marianne Huchard |
Class-based Visibility from an MDA Perspective: From Access Graphs to Eiffel Code. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Object Technol. ![In: J. Object Technol. 3(4), pp. 177-195, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
21 | Richard F. Paige, Jonathan S. Ostroff |
ERC - An object-oriented refinement calculus for Eiffel. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Aspects Comput. ![In: Formal Aspects Comput. 16(1), pp. 51-79, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
21 | Peter Horan |
Eiffel Assertions and the External Structure of Classes and Objects. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Object Technol. ![In: J. Object Technol. 1(4), pp. 105-118, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
21 | Bertrand Meyer 0001 |
The Start of an Eiffel Standard. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Object Technol. ![In: J. Object Technol. 1(2), pp. 95-99, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
21 | Manu De Backer, Guido Dedene, Monique Snoeck |
An Encapsulated Eiffel Education Environment, based on Web Services. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Object Technol. ![In: J. Object Technol. 1(3), pp. 97-106, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|