- Agent-Oriented Software Development
Methodology:
 CAMLE:
Caste-centric Agent-oriented Modelling Language and Environment
SLABS:
Formal specification of agent-based systems
AquaIS:
Agent-oriented software quality management
Automation of software test
Foundation of Software Testing
Testing
Safety Critical Software
- Automated tools for software
engineering and their underlying theory and methods, such as
Formal
definition of modeling languages
Formal
specification of software design patterns
Model-based
analysis of software architectural designs
Automated Requirements Analysis Tools
Theory
and Methods of Program Transformation
Orthogonal
Program Expansion
Implementation
of Functional Language
|
