Mascot:一种实时软件的开发方法

一、引言随着航空电子系统综合规模的增大,其中的软件也变得更加复杂,难于驾驶。要克服这种困难,必须选用合适的程序设计方法学来指导航空电子软件的开发,并且要有相应的软件开发环境来支持方法学的应用。近十年来,涌现了几十种软件设计方法。