Set Theory 0.30.d "sets (agent specifications)"
Replace recursive, functional specifications by logical, agent-based ones.
Milestone information
- Project:
- Set Theory
- Series:
- incremental
- Version:
- 0.30.d
- Code name:
- sets (agent specifications)
- Released:
- Registrant:
- Rosivaldo Fernandes Alves
- Release registered:
- Active:
- Yes. Drivers can target bugs and blueprints to this milestone.
Activities
- Assigned to you:
- No blueprints or bugs assigned to you.
- Assignees:
- No users assigned to blueprints and bugs.
- Blueprints:
- No blueprints are targeted to this milestone.
- Bugs:
- No bugs are targeted to this milestone.
Download files for this release
Release notes
0.30.d:
• Specifications, properties, implementation and tests were rewritten as much as possible to leverage from using agents.
• Several new features, intended to be used instead of in-line agents, were specified, implemented and tested.
• Documentation:
◦ Still no diagram included (please see the reason in previous release);
◦ EiffelStudio still can not render right some samples of code that use class (instance-free) features, causing the classes that have such kind of code be rendered incompletely on automatic documentation (e.g. STI_SET).
0.30.c:
• Some agent-oriented features were added to classes that model sets and n-tuples; all of such features were specified, implemented and tested.
• Overall refactoring has heavily reorganized the cluster hierarchy, in order to ease visual (i.e. via diagrams) documenting.
• Documentation:
◦ Though the automatic HTML documentation has been updated (file:/
0.30.b:
• Implementation-
0.30.a:
• General refactoring removed redundant code, saving some 1910 lines of code.
• Documentation:
◦ due too a bug (not yet understood) in EiffelStudio’s documentation generator, the system HTML documentation (file:/
0.30:
• Implemented features: "sets" clusters, which consist of
◦ sts_sets cluster: minimal specification of core concepts in set theory;
◦ stp_sets_properties cluster: extended specification of core concepts in set theory;
◦ sti_sets cluster: implementation of core concepts in set theory, grounded on previous clusters;
◦ stt_sets_tests cluster: test suites for the implementation in sti_sets.
• Pending features:
◦ numbers-related clusters: numeric sets, i.e. N, Z, R and C, specified, implemented and tested according to all previous clusters.
Major releases ahead
Once the current release is consolidated, I will add to the project the clusters “relations”, “functions” and “operations”.
Changelog
0 blueprints and 0 bugs targeted
There are no feature specifications or bug tasks targeted to this milestone. The project's maintainer, driver, or bug supervisor can target specifications and bug tasks to this milestone to track the things that are expected to be completed for the release.