Formal development method based on real-time language method and aspect-oriented
基于实时语言和面向方面的形式化开发方法

Aspect-oriented Software Development and real-time Language Programming can reduce the complexity of realtime software. The formal methods can increase dependability of Software Development. The aspect-oriented formal development method AOSDBRTL was established. The real-time language PEARL was used in implementing stage and the A0- RT-Z - the Aspect-Oriented formalism based on RT-Z was used in designing stage. AOSDBRTL was a seamless process on the phases of the software development.