• AES Topics
  •  
  •  
  • Automated reasoning techniques

  • Automated software specification

  • Automated software design and synthesis

  • Category and Graph - theoretic approaches

  • Computer-supported cooperative work

  • Domain modeling and meta-modeling

  • Human computer interaction

  • Knowledge acquisition

  • Maintenance and evolution

  • Modeling language semantics

  • Ontologies and methodologies

  • Process and workflow management

  • Program understanding

  • Re-engineering

  • Reflection- and Metadata approaches

  • Requirements engineering

  • Reuse

  • Software architectures

  • Testing

  • Tutoring, help, documentation systems

  • Verification and validation