Assignments for software companies active in business rules, enterprise software, artificial intelligence, robotics or COTS products that need interim product development or roadmap development.
1999 – 2003 | Valens – internal project
Silvie Spreeuwenberg2017-10-05T12:48:49+02:00Design and implementation of a methodology “proof by processing” to verify a knowledge base. This methodology is implemented in a tool “Valens” which can detect logical faults like inconsistency, incompleteness and redundancy.