Refinement-After-Hiding: A Small Case Study

机译：精炼 - 隐藏后：一个小案例研究

获取原文

页面导航

摘要
著录项
相似文献
相关主题

摘要

This report describes an application of refinement-after-hiding and its associated method of verification to a small case study based on a banking system.

著录项

作者
Burton, J.;
展开▼
作者单位

展开▼
年度 2005
页码 p.1-36
总页数 36
原文格式 PDF
正文语种 eng
中图分类工业技术 ;
关键词
Case study; Mathematical models; Equations; Foreign technology; Newcastle upon Tyne (United Kingdom); Verification; Algebraic verification; Specifications; Implementation;

机译：案例研究;数学模型;方程;国外技术;泰恩河畔纽卡斯尔（英国）;验证;代数验证;规范;实施;

相似文献

外文文献
中文文献
专利

1. In Response to Letter to the Editor Regarding: A 10‐Year Study of the Etiopathogenesis of Cysts With a Study of Seromucinous Glands in Vocal Folds A 10‐Year Study of the Etiopathogenesis of Cysts With a Study of Seromucinous Glands in Vocal Folds [J] . Nerurkar Nupur Kapoor, Chitnis Trishna, Gupta Vani Krishana, The Laryngoscope: A Medical Journal for Clinical and Research Contributions in Otolaryngology, Head and Neck Medicine and Surgery, Facial Plastic and Reconstructive Surgery .. . 2020 ,第6期

机译：为了回应编辑的信函：对囊肿的血清膀胱囊囊肿的10年性研究，折叠囊肿的10年性研究，具有声音褶皱的血清膀胱腺体的研究
2. In Reference to A 10‐Year Study of the Etiopathogenesis of Cysts With a Study of Seromucinous Glands in Vocal Folds A 10‐Year Study of the Etiopathogenesis of Cysts With a Study of Seromucinous Glands in Vocal Folds [J] . Lechien Jerome R., Finck Camille The Laryngoscope: A Medical Journal for Clinical and Research Contributions in Otolaryngology, Head and Neck Medicine and Surgery, Facial Plastic and Reconstructive Surgery .. . 2020 ,第6期

机译：关于对囊肿的肠球菌病毒发生的10年性研究，声带唾液腺体折叠了10年的囊肿的病因源性囊状腺体在声带褶皱中的研究
3. Comparison of On-Site Versus Remote Mobile Device Support in the Framingham Heart Study Using the Health eHeart Study for Digital Follow-up: Randomized Pilot Study Set Within an Observational Study Design [J] . Nicole L Spartano, Honghuang Lin, Fangui Sun, JMIR mHealth and uHealth . 2019 ,第9期

机译：使用Healt Eheart Digital跟进的健康Eheart学习在Framingham心脏研究中的现场与远程移动设备支持的比较：在观察研究设计中，随机试验研究设定
4. Study on Micro Pneumatic Drive for Safety Study on Micro Pneumatic Drive for Safety Study on Micro Pneumatic Drive for Safety Study on Micro Pneumatic Drive for Safety Study on Micro Pneumatic Drive for Safety Active Catheter [C] . Koji IKUTA, Hironobu ICHIKAWA, Takahiro YAMAMOTO, 日本ロボット学会学術講演会 . 2001

机译：微气动驱动安全性研究微气动驱动安全研究的微观气动驱动安全性研究安全性研究安全性导管微气动驱动安全性研究的安全性研究
5. Subjectivity, second/foreign language pragmatic use, and instruction: Evidence of accommodation and resistance. Study I. Emulating and resisting pragmatic norms: Learner subjectivity and foreign language pragmatic use. Study II. Centering second language (SL) speakers' experience: A study of SL speakers' resistance to pragmatic norms of the SL community. Study III. Web-based curriculum for pragmatics instruction in Japanese as a foreign language: An explicit awareness-raising approach. [D] . Ishihara, Noriko. 2006

机译：主观性，第二/外语的语用和用法：适应和抵制的证据。研究I.模拟和抵制实用规范：学习者的主观性和外语的实用性。研究二。以讲第二语言的人的经历为中心：研究讲第二语言者对SL社区的实用规范的抵制。研究III。基于网络的日语作为外语的语用学教学课程：一种明确的提高认识的方法。
6. Virtualized clinical studies to assess the natural history and impact of gut microbiome modulation in non-hospitalized patients with mild to moderate COVID-19 a randomized open-label prospective study with a parallel group study evaluating the physiologic effects of KB109 on gut microbiota structure and function: a structured summary of a study protocol for a randomized controlled study [O] . John P. Haran, Jose C. Pinero, Yan Zheng, 2021

机译：虚拟化的临床研究评估肠道微生物组调制在非住院患者中的自然历史和影响以温和至中度Covid-19 A随机开放标签并行组研究评估KB109对肠道微生物群结构的生理作用和功能：随机对照研究的研究方案的结构化概述
7. The theory and practice of refinement-after-hiding [O] . Burton Jonathan 2004

机译：隐藏后细化的理论与实践
8. Theory and Practice of Refinement-After-Hiding [R] . Burton, J. 2005

机译：精制 - 隐藏后的理论与实践

Refinement-After-Hiding: A Small Case Study

摘要

著录项

相似文献

相关主题

期刊订阅