首页> 外文OA文献 >The Steam Boiler Case Study: Competition of Formal Program Specification and Development Methods.

【2h】

The Steam Boiler Case Study: Competition of Formal Program Specification and Development Methods.

机译：蒸汽锅炉案例研究：正式程序规范和开发方法的竞争。

页面导航

著录项
引文网络
相似文献
相关主题

著录项

作者
Jean-raymond Abrial; Egon Börger; Hans Langmaack;
展开▼
作者单位

展开▼
年度 1996
总页数
原文格式 PDF
正文语种
中图分类

相似文献

外文文献
中文文献
专利

1. Formal specification of MPI 2.0: Case study in specifying a practical concurrent programming API [J] . Guodong Li, Robert Palmer, Michael DeLisi, Science of Computer Programming . 2011,第2期

机译：MPI 2.0的正式规范：指定实用的并发编程API的案例研究
2. Chromatin programming by developmentally regulated transcription factors: lessons from the study of haematopoietic stem cell specification and differentiation [J] . FEBS Letters . 2016,第22期

机译：通过发育调控的转录因子进行染色质编程：造血干细胞规格和分化研究的教训
3. Chromatin programming by developmentally regulated transcription factors: lessons from the study of haematopoietic stem cell specification and differentiation [J] . Obier Nadine, Bonifer Constanze FEBS letters. . 2016,第22期

机译：染色质由发育规范的转录因子编程：血液化干细胞规格研究的课程和分化
4. Development Program for Heat Balance Analysis Fuel to Steam Efficiency Boiler And Data Wireless Transfer [C] . NATTAPONG PHANTHUNA, WARUNEE SRISONGKRAM, SUNYA PASUK, International Conference on Electronics, Hardware, Wireless and Optical Communications . 2009

机译：热平衡分析燃料的开发计划到蒸汽效率锅炉和数据无线传输
5. PROBLEM DOMAIN AND DEVELOPMENTAL STRATEGIES -- A STUDY ON THE LOGIC OF COMPETITION AND DEVELOPMENT OF SCIENTIFIC PROGRAMS (THEORY CHANGES, DEVELOPMENT IN SCIENCE, COMPETITION, CARTESION OPTICS, HUYGENS' AND NEWTON'S OPTICS). [D] . FU, DAIWIE. 1986

机译：问题领域与发展战略-科学程序（理论的改变，科学的发展，竞争的，光学的，惠更斯的和牛顿的光学）的竞争和发展的逻辑研究。
6. Fostering Effective Early Learning (FEEL) through a professional development programme for early childhood educators to improve professional practice and child outcomes in the year before formal schooling: study protocol for a cluster randomised controlled trial [O] . Edward Melhuish, Steven J. Howard, Iram Siraj, 2016

机译：通过针对幼儿教育工作者的专业发展计划促进有效的早期学习（FEEL）以在正式入学前一年改善专业实践和儿童成绩：一项整群随机对照试验的研究方案
7. Algebraic Methods for Specification and Formal Development of Programs [O] . Donald Sannella, Andrzej Tarlecki 1999

机译：规范和程序正式开发的代数方法
8. Equational Programming (A Study in Executable Algebraic Formal Specification) [R] . Goguen, J. A., Meseguer, J. 1986

机译：等式编程（可执行代数形式规范的研究）

The Steam Boiler Case Study: Competition of Formal Program Specification and Development Methods.

著录项

引文网络

相似文献

相关主题

期刊订阅