標(biāo)題: Titlebook: A Knowledge-Based Approach to Program Understanding; Salwa K. Abd-El-Hafiz,Victor R. Basili Book 1995 Kluwer Academic Publishers 1995 C pr [打印本頁] 作者: Suture 時(shí)間: 2025-3-21 19:36
書目名稱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é)科排名
作者: Musket 時(shí)間: 2025-3-21 21:43
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.作者: 委托 時(shí)間: 2025-3-22 02:09
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作者: 拒絕 時(shí)間: 2025-3-22 04:53
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作者: Asymptomatic 時(shí)間: 2025-3-22 12:06
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作者: Decibel 時(shí)間: 2025-3-22 16:48
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作者: Highbrow 時(shí)間: 2025-3-22 19:25 作者: 割讓 時(shí)間: 2025-3-22 23:10 作者: Metamorphosis 時(shí)間: 2025-3-23 05:02 作者: 拉開這車床 時(shí)間: 2025-3-23 09:09 作者: Infinitesimal 時(shí)間: 2025-3-23 12:42 作者: Intervention 時(shí)間: 2025-3-23 15:41
Energy, Environment, and Sustainabilityn 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 programm作者: 方舟 時(shí)間: 2025-3-23 20:06 作者: Melodrama 時(shí)間: 2025-3-24 02:02 作者: amenity 時(shí)間: 2025-3-24 05:13
Hiren Dave,Bharatkumar Sutaria,Brijesh Patelses and their application to the following example are given in the remainder of this chapter [64]. The loop in this example is general with a composite condition. It searches for a course number, ., in a course number data base, .. If the course number is not found, the . stays false}. If found, th作者: 車床 時(shí)間: 2025-3-24 07:50
Energy, Environment, and Sustainabilitytion 1.1. The resulting predicate logic annotations are unambiguous and have a sound mathematical basis which allows correctness conditions to be stated and verified, if desired. The analysis approach does not rely on real-time user-supplied information and can analyze non-adjacent loop parts. The f作者: Exposure 時(shí)間: 2025-3-24 13:25 作者: DALLY 時(shí)間: 2025-3-24 17:53 作者: 放縱 時(shí)間: 2025-3-24 22:55
Energy, Environment, and Sustainabilityw the presented program understanding approach can assist both activities. We then focus on an application that is not as traditional. We explain how the approach can be used in assisting formal software development using VDM and Z. This application is possible because specifications in the form of 作者: CYN 時(shí)間: 2025-3-24 23:56
,Dual Fuel (Gas–Liquid Diesel),cognize functional abstractions of programs. In this Chapter, a summary of the approach is presented and its contributions and limitations are highlighted. Suggestions for future work are also presented.作者: MIRTH 時(shí)間: 2025-3-25 03:52 作者: COMMA 時(shí)間: 2025-3-25 07:48 作者: 鳴叫 時(shí)間: 2025-3-25 15:26 作者: visceral-fat 時(shí)間: 2025-3-25 15:48
Dulari Hansdah,Prabha Chand,S. Muruganble Pascal source code. There are a total of 39 modules (functions and procedures). A complete listing of the requirements, specifications, design, and code documents is given elsewhere 67. In this program, there are 77 loops that cover all the classes in our taxonomy.作者: Inscrutable 時(shí)間: 2025-3-25 23:01
Energy, Environment, and Sustainabilityw the presented program understanding approach can assist both activities. We then focus on an application that is not as traditional. We explain how the approach can be used in assisting formal software development using VDM and Z. This application is possible because specifications in the form of predicate logic annotations are generated.作者: 無脊椎 時(shí)間: 2025-3-26 01:29
,Dual Fuel (Gas–Liquid Diesel),cognize functional abstractions of programs. In this Chapter, a summary of the approach is presented and its contributions and limitations are highlighted. Suggestions for future work are also presented.作者: SYN 時(shí)間: 2025-3-26 07:34
The Springer International Series in Engineering and Computer Sciencehttp://image.papertrans.cn/a/image/141310.jpg作者: 可憎 時(shí)間: 2025-3-26 12:11
https://doi.org/10.1007/978-1-4615-2279-9C programming language; automation; computer; computer science; development; documentation; logic programm作者: poliosis 時(shí)間: 2025-3-26 16:11 作者: amphibian 時(shí)間: 2025-3-26 18:15
Book 1995Program 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 corr作者: inchoate 時(shí)間: 2025-3-26 21:46 作者: Acetaminophen 時(shí)間: 2025-3-27 01:32
D. Siva Krishna Reddy,Pankaj Kumariculties involving repeated program state modifications. Moreover, interest in this topic can be simply attributed to reported evidence that loops used in a program have an effect on its understandability [19].作者: Surgeon 時(shí)間: 2025-3-27 08:52 作者: 破譯 時(shí)間: 2025-3-27 09:50 作者: preservative 時(shí)間: 2025-3-27 14:06
https://doi.org/10.1007/978-981-16-1513-9ting events are then analyzed, using plans stored in a knowledge base, to deduce their individual predicate logic annotations. Finally, the annotation of the whole loop is synthesized from the annotations of its events 60.作者: LATHE 時(shí)間: 2025-3-27 19:06 作者: 徹底檢查 時(shí)間: 2025-3-27 23:13 作者: 武器 時(shí)間: 2025-3-28 03:04
Background,nsideration is to select the components such as the valve. There are three basic types of valves are used in the fluid power system. These are directional control valves (DCV), pressure control valves (PCV), and flow control valves (FCV). The directional control valves control the direction of the f作者: 暫停,間歇 時(shí)間: 2025-3-28 08:07
Overview and Basic Definitions,s can distinguish between polyethylene and PVC? After all, most people name any polymer as ‘‘Nylon. /I Is there any distinction between polymers and plastics? This introductory textbook tries to answer these questions and many others. It endeavors to provide the basic information required in modem l作者: archenemy 時(shí)間: 2025-3-28 13:52
Analysis of Flat Loops,ed for many decades with exceptional success to provide accurate information about the structure of materials. Although powder data usually lack the three-dimensionality of a diffraction image, the fundamental nature of the method is easily appreciated from the fact that each powder diffraction patt作者: 克制 時(shí)間: 2025-3-28 16:01 作者: Inexorable 時(shí)間: 2025-3-28 18:49 作者: cultivated 時(shí)間: 2025-3-29 01:06
Prototype Implementation,ples and a rigorous treatment of topics.Fundamentals of Power Electronics, Third Edition, is an up-to-date and authoritative text and reference book on power electronics. This new edition retains the original objective and philosophy of focusing on the fundamental principles, models, and technical r作者: Affectation 時(shí)間: 2025-3-29 04:07 作者: debacle 時(shí)間: 2025-3-29 08:13 作者: 歪曲道理 時(shí)間: 2025-3-29 14:03 作者: 向下五度才偏 時(shí)間: 2025-3-29 17:15 作者: 種類 時(shí)間: 2025-3-29 19:47
