標(biāo)題: Titlebook: Achieving Quality Software; Including Its Applic David J. Smith Book 1995Latest edition David J. Smith 1995 design.documentation.formal met [打印本頁(yè)] 作者: 棕櫚等 時(shí)間: 2025-3-21 19:07
書(shū)目名稱(chēng)Achieving Quality Software影響因子(影響力)
作者: Corporeal 時(shí)間: 2025-3-21 21:05
https://doi.org/10.1007/978-1-4757-0426-6d a means of sequencing stored instructions), relies on those stored instructions in order to function. This is called a Von Neumann architecture and applies to the vast majority of computers and to what is currently known as programmable electronics.作者: Indecisive 時(shí)間: 2025-3-22 00:34
https://doi.org/10.1007/978-1-4757-0426-6s, shut-down and control systems in process plant, medical electronics, aircraft controls, machine-tool control, nuclear plant and weapons-systems control. The consequences of failure are often severe.作者: Creatinine-Test 時(shí)間: 2025-3-22 08:33
https://doi.org/10.1007/978-981-13-6408-2emphasized at the expense of the rest of the life cycle. This is understandable since the programmer enjoys communicating with the computer and the means of doing this is by coding instructions via a mutually understood language.作者: 協(xié)議 時(shí)間: 2025-3-22 09:01
https://doi.org/10.1007/978-1-4757-0426-6d a means of sequencing stored instructions), relies on those stored instructions in order to function. This is called a Von Neumann architecture and applies to the vast majority of computers and to what is currently known as programmable electronics.作者: Measured 時(shí)間: 2025-3-22 14:28
https://doi.org/10.1007/978-1-4757-0426-6s, shut-down and control systems in process plant, medical electronics, aircraft controls, machine-tool control, nuclear plant and weapons-systems control. The consequences of failure are often severe.作者: 他去就結(jié)束 時(shí)間: 2025-3-22 17:33 作者: 漫不經(jīng)心 時(shí)間: 2025-3-23 00:12 作者: 變形詞 時(shí)間: 2025-3-23 05:08
http://image.papertrans.cn/a/image/143865.jpg作者: 陰謀 時(shí)間: 2025-3-23 09:26
https://doi.org/10.1007/978-3-030-53976-4The popular perception of quality is somewhat subjective and still perpetuates the idea that the more elaborate and complex products somehow offer a higher level of quality than their humbler counterparts. There is, therefore, a temptation to equate sophistication, instead of simplicity of function, with good quality.作者: ABOUT 時(shí)間: 2025-3-23 11:08 作者: 價(jià)值在貶值 時(shí)間: 2025-3-23 14:27
https://doi.org/10.1007/978-981-13-6408-2It is a theme of this book that the difficulties in validating the correctness of software far outweigh those of proving the integrity of hardware. Indeed, the failure of an aircraft’s programmable flight control system is of such great importance that the question of certification has long been of concern.作者: infatuation 時(shí)間: 2025-3-23 18:36 作者: 背景 時(shí)間: 2025-3-23 22:53
https://doi.org/10.1007/978-981-13-6408-2The term ‘formal methods’ has been much used and much abused. It covers a number of methodologies and techniques from the mathematical statement of requirements through formalized design methodologies (Chapter 9) to the automated validation of code (Chapter 11). Thus, formal methods can be applied throughout the life cycle.作者: hair-bulb 時(shí)間: 2025-3-24 02:41
Congenital Disorders of the LarynxSoftware design is the process which translates the requirements specification into a detailed representation of a software system. Good software design is essential for reliable and understandable software. Many techniques, with associated tools, have been developed to support software design. Some of the major ones will be described here.作者: 歡樂(lè)中國(guó) 時(shí)間: 2025-3-24 07:53
https://doi.org/10.1007/978-981-13-6408-2The design cycle emphasizes the feedback feature whereby each stage is reviewed (tested) for conformance with the previous stage. This chapter deals with the techniques for carrying out those checks.作者: 偉大 時(shí)間: 2025-3-24 14:31
Congenital Disorders of the LarynxIn section 10.1.3 it was explained that static analysis was one particular technique for the review and analysis of source code. Indeed some of the tools available are powerful and enable the technique to be integrated into the design process. A practical example is given in this chapter.作者: Fibrin 時(shí)間: 2025-3-24 15:43
https://doi.org/10.1007/978-981-13-6408-2During development, a number of management aspects need to be considered, such as estimating methods, security issues, subcontracted software and integrity assessments as well as specific initiatives.作者: 延期 時(shí)間: 2025-3-24 20:18
Achieving fault tolerance in designto bring together into a single textbook all of the MRA techniques in clinical practice today and will be a valuable resource for practicing radiologists and other physicians involved in the diagnosis and treat978-1-4939-4057-8978-1-4419-1686-0作者: Ascribe 時(shí)間: 2025-3-25 00:45 作者: GILD 時(shí)間: 2025-3-25 07:08 作者: Sinus-Rhythm 時(shí)間: 2025-3-25 08:00
Software failures and the life cyclehe component or structure is used. This fact places a responsibility on everyone concerned with testing components. The authority which chooses the metod of applying magnetic particle inspection must ensure that the techniques of the method are clearly defined and are practical in operation. The met作者: 音樂(lè)學(xué)者 時(shí)間: 2025-3-25 13:36
Review and test at any point in the Brillouin zone, as well as providing much valuable additional information about magnon interactions. An important supplementary technique is provided by the absorption of electromagnetic waves, which, however, only determines the magnon energies at certain high symmetry points w作者: guardianship 時(shí)間: 2025-3-25 19:07
Languages and processorst a decreased resonance signal in proton-decoupled spectra, due to the competition from other relaxation mechanisms arising either from anisotropy in the chemical shift or from diffusional motion both of the translational and rotational variety. Two applications of this phenomenon are discussed. Fir作者: Connotation 時(shí)間: 2025-3-25 22:58
itories for the optimization of the MRA technique;..- a broad overview of the principal indications for which contrast-enhanced MR angiography is ideally suited;..- the typical MR imaging findings associated with various pathologies;..- the appropriateness of contrast-enhanced MRA as compared with o作者: chisel 時(shí)間: 2025-3-26 01:09 作者: Factorable 時(shí)間: 2025-3-26 06:58
Metrics and modellingechniques typically utilizes a source of mechanical waves and an imaging technology to assess the propagation of these waves. The availability of practical noninvasive elastography techniques for quantifying tissue stiffness and increased awareness of mechanical property changes that occur in pathol作者: PHONE 時(shí)間: 2025-3-26 09:52
Book 1995Latest editionhniques are available which enable the engineer to develop systems comprising purely hardware components to a prescribed reliability and performance. Software, however, is fundamentally different in a number of ways, and does not lend itself to equivalent analysis. A major problem with software is i作者: 大量 時(shí)間: 2025-3-26 15:55
lished techniques are available which enable the engineer to develop systems comprising purely hardware components to a prescribed reliability and performance. Software, however, is fundamentally different in a number of ways, and does not lend itself to equivalent analysis. A major problem with software is i978-94-010-4243-7978-94-011-0549-1作者: 百科全書(shū) 時(shí)間: 2025-3-26 20:30 作者: 怕失去錢(qián) 時(shí)間: 2025-3-26 23:31
The meaning of quality in softwarerated that one can reconstruct the particles core size distribution from the measured MPS spectrum. However, using MPS as an analytical instrument for the characterization of magnetic nanoparticle samples includes systematic errors. First, previous reports on MPS-based core size estimation only take作者: 激怒 時(shí)間: 2025-3-27 01:37 作者: 現(xiàn)暈光 時(shí)間: 2025-3-27 05:29 作者: EXUDE 時(shí)間: 2025-3-27 11:20
Languages and processorsduce greatly the detectability of the .C nuclear magnetic resonance signal. Along with increasing sample size and utilizing time-averaging techniques, the signal-to-noise is significantly enhanced with proton decoupling techniques. This benefit arises from multiplet collapse and a nuclear Overhauser作者: 思考才皺眉 時(shí)間: 2025-3-27 16:37
Achieving fault tolerance in designxperts in their respective fields.Addresses both the technic.Magnetic Resonance Angiography: Principles and Applications. is a comprehensive text covering magnetic resonance angiography (MRA) in current clinical use. The first part of the book focuses on techniques, with chapters on contrast-enhance作者: 者變 時(shí)間: 2025-3-27 21:02 作者: 悅耳 時(shí)間: 2025-3-27 23:04 作者: filicide 時(shí)間: 2025-3-28 04:43
Metrics and modellingnown until only recently. In medicine, the evaluation of the mechanical properties of tissues was limited to subjective palpation of superficial structures, and elastic properties of deeper tissues could only be evaluated during surgery. The mechanical properties of soft tissues are related to the c作者: JEER 時(shí)間: 2025-3-28 07:38 作者: 使混合 時(shí)間: 2025-3-28 12:49 作者: JOG 時(shí)間: 2025-3-28 15:40
Book 1995Latest editionry reason to believe will continue into the foreseeable future. The drivers of this trend include cost, flexibility, rich functionality and certain reliability and safety advantages. However, as explained in this book, these advantages have to be carefully weighed against a number of dis- advantages作者: 起皺紋 時(shí)間: 2025-3-28 22:29
7樓作者: parallelism 時(shí)間: 2025-3-28 23:50
8樓作者: ineluctable 時(shí)間: 2025-3-29 04:12
8樓作者: 上下連貫 時(shí)間: 2025-3-29 10:42
8樓作者: antenna 時(shí)間: 2025-3-29 15:15
8樓作者: Regurgitation 時(shí)間: 2025-3-29 15:53
9樓作者: Frisky 時(shí)間: 2025-3-29 21:30
9樓作者: outrage 時(shí)間: 2025-3-30 03:00
9樓作者: Overstate 時(shí)間: 2025-3-30 07:49
10樓作者: CT-angiography 時(shí)間: 2025-3-30 08:15
10樓作者: 法律 時(shí)間: 2025-3-30 16:06
10樓作者: 可耕種 時(shí)間: 2025-3-30 18:33
10樓
