formal methods model
formal methods model网络翻译
形式化 方法模型 （ formal methods model ）的主要活动是生成计算机软件形式化的数学规格说明。形式化方法使软件开发人员可以应用严格的数学符号来说明、开发和验证基于计...
形式方法模型形式方法模型（formal methods model） 2.2 典型的软件过程模型 2.2 典型的软件过程模型 2.2 典型的软件过程模型 2.2 典型的软件过程模型 2.3 面向对象的软件过程模型统...
形式化方法模型... 基于构件的开发模型（Component- 形式化方法模型（Formal Methods Model） 数据字典（DD） ...
formal methods model双语例句
This approach has led to more formal efforts to achieve software process maturity, such as the Capability maturity Model (CMM), and agile methods such as Extreme Programming and Scrum.
这种方式已经取得了关于软件过程成熟度的比较正式的成果，如能力成熟度模型(CMM)，和敏捷方法，如极限编程和Scrum。
So we express the AOP using UML and formal methods, and establish the Aspect-Oriented Software Design Model correspondingly to model real-time systems.
因此，我们利用UML和形式化方法来设计面向方面程序，并建立相应的面向方面软件设计模型来设计实时系统。
Since formal methods can be used to model and analyze concurrent systems, it is natural to consider applying formal methods for the modeling and development of Web Service.
形式化方法已被用于基于消息通讯的并发系统的建模和分析。
相关单词
- mythologyn. 神话，神话故事；错误的信念，谬误；神话学
- municipalityn. 市政当局；自治市
- mountebankn. 江湖郎中，骗子 vi. 行骗；走江湖卖假药
- milkmann. 牛奶商；送奶工人；挤奶员工 n. （Milkman）人名；（英）米尔克曼
- midgetn. 侏儒；（非正式）矮子，小东西；（修饰语）少年（业余运动）的 adj. 极小的，小型的 n. （Midget）（美、加、澳）密德杰特（人名）
- metropolisn. （国或地区的）首都，首府；大都会，大城市；教会省份的首领；殖民地的起源城市或国家 【名】 （Metropolis）（英）梅特罗波利斯（人名）
- meteorologyn. 气象状态，气象学
- merry go round旋转木马
- maturityn. （思想行为、作品等）成熟；发育成熟，长大成人；到期；（债券等）偿还期；（保险单、证券等）有固定到期日的票据
- matriculationn. 入学考试；大学入学许可；录取入学
- mathematiciann. 数学家 善作数字计算的人
- marketingn. 促销，营销 v. 推销，促销；出售；做买卖（market 的现在分词形式）
- manifestationn. 表现，显现；表现形式；（鬼魂或神灵）出现，显灵；示威运动
- mailmann. 邮差，邮递员
- futurologistn. 未来学家