Karine Arnout

Learn More
Reliability is a key concern in the current state of software industry. Producing software without defects is still very difficult. Therefore it is crucial to benefit from high-level language mechanisms such as assertions. Nevertheless contracts are mostly a specificity of the Eiffel language. This observation convinced ISE to build a new product, the(More)
The Event Library is a simple library that provides a solution to the common problems in event-driven programming. Its careful design facilitates further extensions, in order to satisfy users' advanced needs. It has been implemented in Eiffel, taking advantage of the advanced mechanisms of this language. In this paper, we present the architecture of the(More)
Goals of expressiveness and flexibility in typed object-oriented programming suggest a " covariant " type policy, where routine redefinitions can change the types of both arguments and results in the same direction as the inheritance hierarchy. Unfortunately, a careless covariant policy, when combined with polymorphism, genericity and dynamic binding —(More)
Using Design by Contract™ provides a low-cost solution to unit-testing, which is usually unaffordable — and not carried out — in the industry. If contracts — preconditions, postconditions, class invariants — are systematically associated with classes, they provide an invaluable source of information for producing systematic tests, directly based on the(More)