找回密碼
 To register

QQ登錄

只需一步,快速開始

掃一掃,訪問微社區(qū)

打印 上一主題 下一主題

Titlebook: A Knowledge-Based Approach to Program Understanding; Salwa K. Abd-El-Hafiz,Victor R. Basili Book 1995 Kluwer Academic Publishers 1995 C pr

[復(fù)制鏈接]
查看: 32606|回復(fù): 47
樓主
發(fā)表于 2025-3-21 19:36:38 | 只看該作者 |倒序瀏覽 |閱讀模式
期刊全稱A Knowledge-Based Approach to Program Understanding
影響因子2023Salwa K. Abd-El-Hafiz,Victor R. Basili
視頻videohttp://file.papertrans.cn/142/141310/141310.mp4
學(xué)科分類The Springer International Series in Engineering and Computer Science
圖書封面Titlebook: A Knowledge-Based Approach to Program Understanding;  Salwa K. Abd-El-Hafiz,Victor R. Basili Book 1995 Kluwer Academic Publishers 1995 C pr
影響因子Program understanding plays an important role in nearly all software related tasks. It is vital to the development, maintenance and reuse activities. Program understanding is indispensable for improving the quality of software development. Several development activities such as code reviews, debugging and some testing approaches require programmers to read and understand programs. Maintenance activities cannot be performed without a deep and correct understanding of the component to be maintained. Program understanding is vital to the reuse of code components because they cannot be utilized without a clear understanding of what they do. If a candidate reusable component needs to be modified, an understanding how it is designed is also required. of This monograph presents a· knowledge-based approach to the automation of program understanding. This approach generates rigorous program documentation mechanically by combining and building on strengths of a practical program decomposition method, the axiomatic correctness notation, and the knowledge- based analysis approaches. More specifically, this approach documents programs by generating first order predicate logic annotations of the
Pindex Book 1995
The information of publication is updating

書目名稱A Knowledge-Based Approach to Program Understanding影響因子(影響力)




書目名稱A Knowledge-Based Approach to Program Understanding影響因子(影響力)學(xué)科排名




書目名稱A Knowledge-Based Approach to Program Understanding網(wǎng)絡(luò)公開度




書目名稱A Knowledge-Based Approach to Program Understanding網(wǎng)絡(luò)公開度學(xué)科排名




書目名稱A Knowledge-Based Approach to Program Understanding被引頻次




書目名稱A Knowledge-Based Approach to Program Understanding被引頻次學(xué)科排名




書目名稱A Knowledge-Based Approach to Program Understanding年度引用




書目名稱A Knowledge-Based Approach to Program Understanding年度引用學(xué)科排名




書目名稱A Knowledge-Based Approach to Program Understanding讀者反饋




書目名稱A Knowledge-Based Approach to Program Understanding讀者反饋學(xué)科排名




單選投票, 共有 0 人參與投票
 

0票 0%

Perfect with Aesthetics

 

0票 0%

Better Implies Difficulty

 

0票 0%

Good and Satisfactory

 

0票 0%

Adverse Performance

 

0票 0%

Disdainful Garbage

您所在的用戶組沒有投票權(quán)限
沙發(fā)
發(fā)表于 2025-3-21 21:43:44 | 只看該作者
Introduction,variations of these macroscopic variables can be derived directly from the Boltzmann equation without solving it. These differential equations are known as the ., and their solutions, under certain assumptions, give us directly the macroscopic variables.
板凳
發(fā)表于 2025-3-22 02:09:55 | 只看該作者
Background,ls the amount of fluid flow (flow rates) in hydraulic and pneumatic circuits. The speed of the cylinder mainly depends on the amount of fluid that passes through the tubing or piping. This type of task is accomplished by the flow control valve such as a one-way control valve or non-return throttle v
地板
發(fā)表于 2025-3-22 04:53:54 | 只看該作者
Overview and Basic Definitions,of plastics, through shaping and forming, presents a significant challenge to polymer engineering. All this is broadly discussed, ending with modem issues like composites, ecology and future prediction, followed by up-to-date informa- tion and data about old as well as novel high performance polymers. The tex978-1-4899-1824-6978-1-4899-1822-2
5#
發(fā)表于 2025-3-22 12:06:34 | 只看該作者
Analysis of Flat Loops, option for a reliable determination of the crystal structure of such materials..Powder diffraction data are customarily recorded in literally the simplest possible fashion, where the scattered intensity is measured as a function of a single independent variable — the Bragg angle. What makes the pow
6#
發(fā)表于 2025-3-22 16:48:26 | 只看該作者
Discussion of the Analysis Approach,ter. The first class on converters has been called a way of enticing control and electronics students into the power area via the "back door". The power electronics field is quite broad, and includes fundamentals in the areas of ? Converter circuits and electronics ? Control systems ? Magnetics ? Po
7#
發(fā)表于 2025-3-22 19:25:03 | 只看該作者
8#
發(fā)表于 2025-3-22 23:10:46 | 只看該作者
9#
發(fā)表于 2025-3-23 05:02:20 | 只看該作者
10#
發(fā)表于 2025-3-23 09:09:46 | 只看該作者
 關(guān)于派博傳思  派博傳思旗下網(wǎng)站  友情鏈接
派博傳思介紹 公司地理位置 論文服務(wù)流程 影響因子官網(wǎng) 吾愛論文網(wǎng) 大講堂 北京大學(xué) Oxford Uni. Harvard Uni.
發(fā)展歷史沿革 期刊點評 投稿經(jīng)驗總結(jié) SCIENCEGARD IMPACTFACTOR 派博系數(shù) 清華大學(xué) Yale Uni. Stanford Uni.
QQ|Archiver|手機(jī)版|小黑屋| 派博傳思國際 ( 京公網(wǎng)安備110108008328) GMT+8, 2025-10-19 09:55
Copyright © 2001-2015 派博傳思   京公網(wǎng)安備110108008328 版權(quán)所有 All rights reserved
快速回復(fù) 返回頂部 返回列表
霍山县| 呼和浩特市| 酒泉市| 濮阳县| 大渡口区| 舒城县| 荥经县| 瑞安市| 东莞市| 兴山县| 淮滨县| 炎陵县| 文昌市| 巨野县| 滁州市| 商河县| 丹棱县| 荆门市| 化隆| 治多县| 榆中县| 淮滨县| 微博| 聂荣县| 高青县| 且末县| 镇雄县| 绥化市| 孟村| 沐川县| 凉城县| 万源市| 渭南市| 浦江县| 富平县| 凤翔县| 福海县| 兴隆县| 绍兴市| 兴山县| 开封市|