-
形式化方法在构件组装实时系统中的应用研究
¥37.0(7.4折)定价:¥50.0"随着软件系统复杂性的增加、规模的扩大,以及软件开发机构对开发成本、开发周期要求的提高,继面向对象开发方法之后,基于构件的软件开发( Component - Based Software Development, 简称CBSD)方法[1,2), 即将外部开发的构件集成到具体应用环境中来构建面向特定应用的软件系统,已经成为当前软件领域的主流技术和研究热点。这种CBSD的思想将制造业中的组装生产模式引人软件开发中,为软件装配定制提供了理论