TOWARD THE MATURITY OF SOFTWARE ENGINEERING: UNIVERSAL, FORMAL, AND MATHEMATICAL DEFINITION FOR VALUE AND OPERATION AS TWO BASIC CONCEPTS OF COMPUTING

BERNARIDHO I HUTABARAT; KETUT E PURNAMA; MOCHAMAD HARIADI

首页> 外文期刊>Journal of Theoretical and Applied Information Technology >TOWARD THE MATURITY OF SOFTWARE ENGINEERING: UNIVERSAL, FORMAL, AND MATHEMATICAL DEFINITION FOR VALUE AND OPERATION AS TWO BASIC CONCEPTS OF COMPUTING

【24h】

TOWARD THE MATURITY OF SOFTWARE ENGINEERING: UNIVERSAL, FORMAL, AND MATHEMATICAL DEFINITION FOR VALUE AND OPERATION AS TWO BASIC CONCEPTS OF COMPUTING

机译：迈向软件工程的成熟度：价值和运营的通用，形式和数学定义是计算的两个基本概念

获取原文

掌桥外文数据库（机构版） >>

开具论文收录证明 >>

文献代查 >>

页面导航

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

摘要

The presence of informal and redundant definitions of basic concepts of computing / programming prohibits the advances of software engineering. This problem is not addressed by all literatures of software engineering about formal methods. A paper by the p

机译：对计算/编程基本概念的非正式和冗余定义的出现阻碍了软件工程的发展。所有有关形式化方法的软件工程文献都没有解决此问题。 p的论文

著录项

来源
《Journal of Theoretical and Applied Information Technology》 |2013年第3期|共页
作者
BERNARIDHO I HUTABARAT; KETUT E PURNAMA; MOCHAMAD HARIADI;
展开▼
作者单位

展开▼
收录信息
原文格式 PDF
正文语种
中图分类计算技术、计算机技术;
关键词

相似文献

外文文献
中文文献
专利

1. TOWARD THE MATURITY OF SOFTWARE ENGINEERING: UNIVERSAL, FORMAL, AND MATHEMATICAL DEFINITION FOR VALUE AND OPERATION AS TWO BASIC CONCEPTS OF COMPUTING [J] . BERNARIDHO I HUTABARAT, KETUT E PURNAMA, MOCHAMAD HARIADI Journal of Theoretical and Applied Information Technology . 2013,第3期

机译：迈向软件工程的成熟度：价值和运营的通用，形式和数学定义是计算的两个基本概念
2. TOWARD THE MATURITY OF SOFTWARE ENGINEERING: UNIVERSAL, FORMAL, AND MATHEMATICAL DEFINITION FOR TYPE AND OBJECT AS TWO DISJOINT BASIC CONCEPTS [J] . BERNARIDHO I HUTABARAT, KETUT E PURNAMA, MOCHAMAD HARIADI Journal of Theoretical and Applied Information Technology . 2013,第3期

机译：迈向软件工程的成熟度：类型和对象的通用，形式和数学定义，是两个基本概念的分离
3. Specific Cases of Attributive Metagrammars Application in Formal Structural-Linguistic Description of Alternate Designs and in Layout Programming of Extensible Telecommunication Networks Part 1. Attribute Metagrammars. Basic Concepts and Definitions [J] . O.I. Atakishchev, A.A. Zhuk, I.S. Zakharov, Telecommunications and Radio Engineering . 2005,第1a6期

机译：在替代设计的形式结构语言描述和可扩展电信网络的布局编程中，定语元语法的特殊情况（第1部分）属性元语法。基本概念和定义
4. Formal and conceptual definitions of the hybrid model of distributed computings in networks [C] . Dubravin Aleksey V., Zinkin Sergey /A/., Paschenko Dmitry V. International Siberian Conference on Control and Communications . 2015

机译：网络中分布式计算混合模型的形式和概念定义
5. THE EFFECTIVENESS OF CONCRETE AND FORMAL INSTRUCTION WITH CONCRETE AND FORMAL OPERATIONAL BASIC MATHEMATICS STUDENTS (MINORITY). [D] . COLLINS, MARIAN LYNETT. 1984

机译：混凝土和正式教学对混凝土和正式操作基础数学学生（少数）的效果。
6. Formal Definitions of Unbounded Evolution and Innovation Reveal Universal Mechanisms for Open-Ended Evolution in Dynamical Systems [O] . Alyssa Adams, Hector Zenil, Paul C. W. Davies, -1

机译：无限进化和创新的形式定义揭示了动态系统中开放式进化的通用机制
7. Basic Definitions and Concepts of Systems Approach, Mathematical Modeling and Information Technologies in Sports Science [O] . A. Lopatiev, M. Pityn, A. Demichkovskyi 2017

机译：体育科学系统方法的基本定义和概念，数学建模和信息技术
8. Phase II: Frequency Domain Analysis of Low-Frequency Oscillations in Large Electric Power Systems. Volume 1. Basic Concepts, Mathematical Models, and Computing Methods. Final Report [R] . Byerly, R. T., Sherman, D. E., Bennon, R. J. 1982

机译：第二阶段：大型电力系统中低频振荡的频域分析。第1卷。基本概念，数学模型和计算方法。总结报告

TOWARD THE MATURITY OF SOFTWARE ENGINEERING: UNIVERSAL, FORMAL, AND MATHEMATICAL DEFINITION FOR VALUE AND OPERATION AS TWO BASIC CONCEPTS OF COMPUTING

摘要

著录项

相似文献

相关主题

期刊订阅