Annotation ASE focuses on the automation aspects of formal methods, software process, humen-computer interaction, requirements engineering, reverse engineering, testing, verification and validation, while still including an active AI and knowledge-based research focus. |