Formalisation of Techniques: Chopping down the Methodology Jungle

机译：技术形式化：切断方法论丛林

获取原文

页面导航

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

摘要

Formalization of techniques in the context of information system developmentmethodologies is discussed. When such methodologies are developed, the primary goal is applicability. After the methodology has proven itself in practice, the methodology will be applied in more sophisticated situations, pushing the methodology to its limits. In those cases, informal definitions are known to be inappropriate. Some typical problems are addressed and a procedure for proper formalization is described. The predicator model is presented as an extended example. Some experiences with this approach to formalization are described.

著录项

作者
Vanderweide, T. P.; Terhofstede, A. H. M.;
展开▼
作者单位

展开▼
年度 1990
页码
总页数 23
原文格式 PDF
正文语种 eng
中图分类工业技术;
关键词
Computer techniques; Formalism; Information systems; Terminology; Computersystems design; Models; Semantics;

机译：计算机技术;形式主义;信息系统;术语;计算机系统设计;模型;语义学;

相似文献

外文文献
中文文献
专利

1. Successful New Methodology for Isotachophoretic Technique Determination of Mercury [J] . Kluska Mariusz, Komasinska Magdalena, Marciniuk-Kluska Anna Journal of liquid chromatography and related technologies . 2015,第1a4期

机译：等速电泳技术测定汞的成功新方法
2. A comparative study of non-chopping rotation and axial rotation versus quick chop phacoemulsification techniques. [J] . Zeng M, Liu X, Zhang X, Ophthalmic surgery, lasers & imaging: the official journal of the International Society for Imaging in the Eye . 2009,第3期

机译：非斩波旋转和轴向旋转与快速斩波超声乳化技术的比较研究。
3. Formalisation and classification of grammar and template-mediated techniques to model and ontology verbalisation [J] . Zola Mahlaza, C. Maria Keet International journal of metadata, semantics and ontologies . 2020,第3期

机译：语法和模板介导技术的形式化与分类模型和本体语言
4. A current feedback instrumentation amplifier with chopping and dynamic element matching techniques and employing the current-reuse technique in input/feedback stages [C] . Tzu-Ying Chen, Yi-Lin Tsai, Tsung-Hsien Lin International Symposium on VLSI Design, Automation, and Test . 2017

机译：一种具有斩波和动态元件匹配技术的电流反馈仪表放大器，并在输入/反馈阶段采用了电流重用技术
5. Pattern recognition software development methodology (PRSDM) based on design pattern recognition techniques and agile methodologies. [D] . Darwiesh, Moeen. 2008

机译：基于设计模式识别技术和敏捷方法的模式识别软件开发方法（PRSDM）。
6. Comparison of power-free-chop and phaco-chop techniques for moderate nuclei [O] . Lin Yao, Haiqing Bai 2020

机译：中功率核的无功率斩波和超声速斩波技术比较
7. Navigating the Methodology Jungle -- The communicative role of modelling techniques in information system development [O] . Hoppenbrouwers S.J.B.A., Proper H.A., Reijswoud V.E. van 2005

机译：导航方法论丛林-建模技术在信息系统开发中的沟通作用

Formalisation of Techniques: Chopping down the Methodology Jungle

摘要

著录项

相似文献

相关主题

期刊订阅