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 software testing
- express requirements that are precise, clear, and complete
- verify that systems satisfy or do not satisfy the requirements
- reduce costs
- shorten development cycles
- simplify maintenance, change, and integration
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 Formal Methods for Business Professionals.
Requirements expressed using logic can also serve as precise documentation that can be easily updated when requirements change. Formal methods can be implemented using free tools such as TLA+, which we will demonstrate and discuss in each course. 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 98052>
2-day short course in Seattle, $850, Dec 16-17, 2019 Register Now > >>
Location: Surf Incubator, 999 3rd Ave Suite 700, Seattle, WA 98104>
The full course is recommended for those who are highly engaged in the requirements process. There are no prerequisites for either course. Both courses are led by highly-rated instructors with university teaching experience. Both courses cover the same subject matter in first-order classical 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.