The technology of static program analysis, automated theorem proving, computer algebra systems, formula editors, automated planning and scheduling, plan rationale, argumentation software, argument analysis software, related document authoring and editing software as well as the features and ergonomics of such software are … Continue reading →