Every business analyst, architect, and project manager should receive training in classical logic. It will enable them to read and write requirements using formal methods. Formal methods is a proven approach that enables organizations to:
- automate testing
- express requirements that are precise, clear, and complete
- verify that systems satisfy or do not satisfy the requirements
- reduce costs
- shorten development cycles
Lack of familiarity with logic is the greatest obstacle to implementing formal methods. Our courses discuss formal methods in terms of language and logic, rather than mathematics; the concepts are the same. See our research abstract on Formal Methods for Business Professionals and our article: Recurring Evidence for the Necessity of Logic Education.
Requirements expressed using logic can be mechanically analyzed for consistency and compliance, and can serve as precise documentation that can be easily updated when requirements change. Training in logic is valuable and useful even when formal methods are not used.
5-day full course in Redmond, $2,200, Dec 9-13 2019 Register Now > >>
Location: Thinkspace Redmond (1/2 block from Redmond Transit Center), 8201 164th Ave NE #200, Redmond, WA.
2-day short course in Seattle, $850, Dec 16-17, 2019 Register Now > >>
Location: Surf Incubator, 999 3rd Ave Suite 700, Seattle, WA.
Instructors: Dr. Conor Mayo-Willson and teaching assistant Abe Miller.
The full course is recommended for those who are highly engaged in the requirements process. There are no prerequisites for either course. Both courses cover the same subject matter, which is a basic introduction to classical first-order logic; the short course has less depth.
10% discount for groups of 2 or more. For groups of 8 or more we can deliver onsite training at your location; contact us for details.