Last Updated: 2014 July 25
Case Studies
- Agents and tuples
Examples of how functions and procedures are passed in Eiffel in a
type safe manner.
- Assertion study
Shows that assertions can call user routines. Shows that assertions
are not executed within routines called from assertions.
- Banks A sequence of 5 versions of
a bank system showing the use of global variables, adaptor pattern,
singleton pattern. Shows the use of contracts and testing with eSpec.
- Dictionary A dictionary system
mapping keys to values. Shows the use of contracts. Two test
systems are demonstrated.
- dictionary_espec_test -- tests the dictionary using eSpec
- dictionary_min_out_test -- tests the dictionary using a minimal
output test.
- Testing with eSpec A minimal
system that shows the fundamentals of testing using eSpec.
- Expanded class studyTwo
definitions of a complex number class, one expaned the other not,
shows how to use expanded classes and the properties of using
expanded classes.
- Sparse Matrix Contains the
specification (a pdf file) and solutionof a simple sparse matrix
system that was an exercise in EECS 1030, 2011 and 3311 in earlier
years. Shows the use of agents and tuples, contracts and minimal
output tests.
- Twin study Some examples using
strings that show the notions of shallow copy, one-level copy
(twinning or cloning), and deep copy (deep twinning or deep cloning).