Set Theory
Set Theory SET THEORY Rosivaldo Fernandes Alves rosivaldo.fa@gmail.com September 23, 2017 Abstract This software project, called set_theory ( https://code.launchpad.net/~rosivaldo.fa/set-theory/trunk ), aims to provide the Eiffel (programming language) Community with a rich and expressive library of classes modeled upon the concepts of set theory . Initially, the project is limited to present a specification of such a library, i.e. every class and feature is deferred , with no concrete implementation yet. Why to do so? The idea is to release the specification into public domain, as an open source project, and let the community use, correct, modify, enrich and implement the specification as they wish. It is also an exercise of the Eiffel method ability to allow the developer to use the Eiffel language as a tool from the very beginning of development cycle, namely the specification/analysis/design activity. Although no implementation has been done, every...