Filters








1,833 Hits in 4.7 sec

Eiffel: Object-oriented design for software engineering [chapter]

Bertrand Meyer, Jean-Marc Nerson, Masanobu Matsuo
ESEC '87  
A book on object-oriented design and the Eiffel approach is in preparation [15] .  ...  The definition of object-oriented design which serves as the basis for this discussion is the following: object-orientexl design is the construction of software systems as structured collections of abstract  ... 
doi:10.1007/bfb0022115 dblp:conf/esec/MeyerNM87 fatcat:pojs2l7gzvbgzc2jfiu6xezjlq

Eiffel: programming for reusability and extendibility

B Meyer
1987 SIGPLAN notices  
Furthermore, Eiffel combines the object-oriented heritage with a strong software engineering influence, through facilities for information hiding, expression of formal program properties (assertions, invariants  ...  -Object-oriented design To achieve reusability and extendibility, the principles of object-oriented design seem to provide the best known technical answer to date.  ... 
doi:10.1145/24686.24694 fatcat:22rzmyfudnhlhl4acjio2222jy

Eiffel as a Framework for Verification [chapter]

Bertrand Meyer
2008 Lecture Notes in Computer Science  
This position paper describes the goals of the Eiffel approach, presents current Eiffel-based verification techniques using contracts for run-time checks for testing and debugging, and outlines ongoing  ...  The Eiffel method and language integrate a number of ideas originating from work on program verification.  ...  Application areas Advances in programming languages, especially object-oriented principles and techniques, have profoundly influenced the production of software.  ... 
doi:10.1007/978-3-540-69149-5_32 fatcat:fbneu5r3grfa5fjqlnvuw23gou

Bertrand Meyer: Software Engineering and the Eiffel Programming Language

Charles Severance
2012 Computer  
formal software engineering and rich object-oriented programming.  ...  A NEW TOOL Because Eiffel provided the full breadth of object-oriented features and had formal software engineering support throughout, it provided an environment that addressed the entire software development  ... 
doi:10.1109/mc.2012.299 fatcat:xabuabv5gze7jpljo56ly7amve

An Interactive 3D Graphics Class Library in EIFFEL [chapter]

Russell Turner, Enrico Gobbetti, Francis Balaguer, Angelo Mangili
1995 Object-Oriented Programming for Graphics  
An object-oriented design is presented for building interactive 3D graphics applications.  ...  The design takes the form of a library of classes written in Eiffel, an object oriented language with multiple inheritance, static typing, dynamic binding, garbage collection, and assertion checking.  ...  Seen from a software-engineering viewpoint, the design of interactive 3D applications can benefit from object-oriented techniques in several ways.  ... 
doi:10.1007/978-3-642-79192-5_19 dblp:conf/oographics/TurnerGBM92 fatcat:l4ucnoeczbhshaep4xxbgml6ce

Eiffel: A language and environment for software engineering

Bertrand Meyer
1988 Journal of Systems and Software  
My interest in object-oriented languages comes from a more traditional software engineering perspective.  ...  Section 1.2 gives an overview of the design criteria for Eiffel. Section 2 introduces some of the basic concepts of object-oriented design.  ...  A description of what happened may be of interest to readers concerned with the methodological principles of object-oriented software specification and design and, more specifically, with finding guidelines  ... 
doi:10.1016/0164-1212(88)90022-2 fatcat:tkt7nnjobnfidlq3ahjo73zvwu

DPVK - An Eclipse Plug-in to Detect Design Patterns in Eiffel Systems

Wei Wang, Vassilios Tzerpos
2004 Electronical Notes in Theoretical Computer Science  
Meanwhile, patterns can also indicate the design rationale behind the system's implementation. Usage of design patterns improves the understandability of object-oriented designs.  ...  Open access under CC BY-NC-ND license. lution to a common design problem. A pattern can be reused as a building block for better software construction and designer communication.  ...  BON [20] is a notation for analysis and design of object-oriented systems, which emphasizes seamlessness, reversibility and software contracting.  ... 
doi:10.1016/j.entcs.2004.02.049 fatcat:g6jwufftrbfklcrncotmeu77ii

The Design Of Eiffel Programs: Quantitative Evaluation Using The Mood Metrics

Fernando Brito e Abreu, Rita Esteves, Miguel Goulão
1996 Zenodo  
The main mechanisms of the Object-Oriented paradigm are supposed to help produce better and cheaper software.  ...  This paper reviews a set of metrics called MOOD, suited for evaluating the use of those mechanisms. A MOOD-to-Eiffel binding is introduced.  ...  A former paper [Abreu94] proposed the MOOD (Metrics for Object Oriented Design) set of metrics.  ... 
doi:10.5281/zenodo.1216932 fatcat:qbtbm6m5hfcwnksuhlli6opfoe

Specification-Driven Design with Eiffel and Agents for Teaching Lightweight Formal Methods [chapter]

Richard F. Paige, Jonathan S. Ostroff
2004 Lecture Notes in Computer Science  
Eiffel is an object-oriented programming language and method [12] ; it provides constructs typical of the object-oriented paradigm, including classes, objects, inheritance, associations, composite ("expanded  ...  This approach demonstrates how formal methods techniques fit with industrial software engineering practice.  ...  Our approach has evolved over time, from simply using the Eiffel programming language to teach object-oriented techniques, to a whole-view approach for teaching software engineering, wherein formal techniques  ... 
doi:10.1007/978-3-540-30472-2_7 fatcat:j33knyxssvdnvbfafomayubi7q

Translating Event-B machines to Eiffel programs [article]

Victor Rivera, JooYoung Lee, Manuel Mazzara, Leonard Johard
2017 arXiv   pre-print
Design-by-Contract (natively supported by Eiffel), while still making use of all features of O-O programming.  ...  Formal modelling languages play a key role in the development of software since they enable users to prove correctness of system properties.  ...  Eiffel Eiffel is an Object-Oriented programming language that natively supports the Design-by-Contract methodology. e behaviour of classes is specified by equipping them with contracts.  ... 
arXiv:1706.04578v1 fatcat:qqwsojktvnhrhnz7c33ah3l5xe

Automated Translation of Java Source Code to Eiffel [chapter]

Marco Trudel, Manuel Oriol, Carlo A. Furia, Martin Nordio
2011 Lecture Notes in Computer Science  
Reusability is an important software engineering concept actively advocated for the last forty years.  ...  This paper presents a solution for the reuse of Java code within Eiffel programs based on a source-to-source translation from Java to Eiffel.  ...  Thanks to Mike Hicks and Bertrand Meyer for their support and advice, and to Louis Rose for comments on a draft of this paper.  ... 
doi:10.1007/978-3-642-21952-8_4 fatcat:fzjef5vn6jbetexg5k6m6hivly

ERC ? An object-oriented refinement calculus for Eiffel

Richard F. Paige, Jonathan S. Ostroff
2004 Formal Aspects of Computing  
ERC -An object-oriented refinement calculus for Eiffel 53 to handle full expanded types as defined in Eiffel.  ...  Since contracts can be used to specify software, Eiffel can also be used as a notation for analysis and design.  ...  Acknowledgements Thanks to the referees for their extremely detailed, thorough comments, patience, and excellent ideas. They surpassed the call of duty with their reviews.  ... 
doi:10.1007/s00165-003-0024-3 fatcat:rewvkkjbb5drxjrdjqcawectmi

Cameo: an alternative model of concurrency for Eiffel

Phillip J. Brooke, Richard F. Paige
2008 Formal Aspects of Computing  
More broadly, work that combines object-oriented specification, concurrency, and formal specification is predominantly focused on Circus [WC02] and TCOZ [MD02] .  ...  Cameo: an alternative model of concurrency for Eiffel. Formal Abstract. We present a new concurrency model for the Eiffel programming language.  ...  Acknowledgments We thank the anonymous referees, Jeremy Jacob and the CORDIE attendees for their helpful comments and discussions.  ... 
doi:10.1007/s00165-008-0096-1 fatcat:ezs5x6ecdrg2fnbek67xntpyju

Class-based Visibility from an MDA Perspective: From Access Graphs to Eiffel Code

Gilles Ardourel, Marianne Huchard
2004 Journal of Object Technology  
Encapsulation is one of the main principles in object-oriented software construction.  ...  Mapping to a Platform-Specific Model (PSM) is illustrated with the Eiffel Access Graph Adapter and rules for generating code from this PSM are presented.  ...  ACKNOWLEDGEMENTS The authors would like to thank Thérèse Libourel for fruitful discussions about UML extensions and Jean Privat for his help in the development of Eiffel-specific tools.  ... 
doi:10.5381/jot.2004.3.4.a10 fatcat:pmrotcquxfgx7nr7vuj4gfxchq

E-Tester: a Contract-Aware and Agent-Based Unit Testing Framework for Eiffel

Jonathan S. Ostroff, Richard F. Paige, David Makalsky, Phillip J. Brooke
2005 Journal of Object Technology  
Eiffel is an object-oriented programming language and method [12] ; it provides constructs typical of the object-oriented paradigm, including classes, objects, inheritance, associations, composite ("expanded  ...  The BON modelling language [18] is a language designed to work seamlessly and reversibly with Eiffel.  ...  Design-by-Contract Design-by-Contract (DbC) is a lightweight formal technique for engineering software systems with significant requirements for reliability and robustness.  ... 
doi:10.5381/jot.2005.4.7.a4 fatcat:bforgcdrbzawfhmm464p666oba
« Previous Showing results 1 — 15 out of 1,833 results