標(biāo)題: Titlebook: High-Integrity System Specification and Design; Jonathan P. Bowen,Michael G. Hinchey Book 1999 Springer-Verlag London 1999 communication.c [打印本頁] 作者: 遠(yuǎn)見 時(shí)間: 2025-3-21 18:58
書目名稱High-Integrity System Specification and Design影響因子(影響力)
書目名稱High-Integrity System Specification and Design影響因子(影響力)學(xué)科排名
書目名稱High-Integrity System Specification and Design網(wǎng)絡(luò)公開度
書目名稱High-Integrity System Specification and Design網(wǎng)絡(luò)公開度學(xué)科排名
書目名稱High-Integrity System Specification and Design被引頻次
書目名稱High-Integrity System Specification and Design被引頻次學(xué)科排名
書目名稱High-Integrity System Specification and Design年度引用
書目名稱High-Integrity System Specification and Design年度引用學(xué)科排名
書目名稱High-Integrity System Specification and Design讀者反饋
書目名稱High-Integrity System Specification and Design讀者反饋學(xué)科排名
作者: etiquette 時(shí)間: 2025-3-21 21:45 作者: 多節(jié) 時(shí)間: 2025-3-22 01:03
Formal Approaches to Computing and Information Technology (FACIT)http://image.papertrans.cn/h/image/426615.jpg作者: custody 時(shí)間: 2025-3-22 05:01 作者: glans-penis 時(shí)間: 2025-3-22 09:45
Formal Methods,Although they are widely cited as one of those techniques that can result in high-integrity systems [31], and are being mandated more and more in certain applications (see Part 6), formal methods remain one of the most controversial areas of current software engineering practice [119].作者: 不來 時(shí)間: 2025-3-22 13:40 作者: mortgage 時(shí)間: 2025-3-22 20:22
CASE,Just as mechanization made the Industrial Revolution in Britain possible at the beginning of the 19th century, so too is mechanization in system development seen as a means to increased productivity and a ‘Systems Revolution’.作者: Impugn 時(shí)間: 2025-3-22 23:25 作者: 壓迫 時(shí)間: 2025-3-23 03:50
Object-Orientation,t paradigm became popular. Over the last decade we have seen the emergence of many object-oriented programming languages, and extensions to existing languages to support object-oriented programming (e.g., C++, Object Pascal).作者: Aerate 時(shí)間: 2025-3-23 08:35 作者: 高談闊論 時(shí)間: 2025-3-23 11:08
ating the tables. Babbage had also designed (but never built) a forerunner of the modern printer, which would also reduce the number of errors admitted during the transcription of the results. Nowadays, a system implemented to perform the function of Babbage‘s engine 978-3-540-76226-3978-1-4471-3431-2作者: Friction 時(shí)間: 2025-3-23 15:10 作者: Ossification 時(shí)間: 2025-3-23 21:51
Book 1999 of errors made by humans calculating the tables. Babbage had also designed (but never built) a forerunner of the modern printer, which would also reduce the number of errors admitted during the transcription of the results. Nowadays, a system implemented to perform the function of Babbage‘s engine 作者: 洞穴 時(shí)間: 2025-3-24 00:46
ions, and carefully selected exercises, this textbook is suitable for introductory courses, seminars, and distance learning programs on approximation for undergraduate students..978-3-030-05228-7Series ISSN 0939-2475 Series E-ISSN 2196-9949 作者: Entreaty 時(shí)間: 2025-3-24 03:31 作者: Synapse 時(shí)間: 2025-3-24 06:37
Ken Orr,Chris Gane,Edward Yourdon,Peter P. Chen,Larry L. Constantine,John R. Cameronrs, providing up-to-date information and several results which may be useful to a wide readership including graduate students and researchers working in mathematics, physics, economics, operational research, and their interconnections..978-3-030-60624-4978-3-030-60622-0作者: sigmoid-colon 時(shí)間: 2025-3-24 13:39 作者: foodstuff 時(shí)間: 2025-3-24 15:18
Grady Booch,Robert G. Fichman,Chris F. Kemererrs, providing up-to-date information and several results which may be useful to a wide readership including graduate students and researchers working in mathematics, physics, economics, operational research, and their interconnections..978-3-030-60624-4978-3-030-60622-0作者: Suppository 時(shí)間: 2025-3-24 21:08
C. A. R. Hoare,Leslie Lamports manuscript: spherical harmonics, the Hardy-Littlewood maximal function, the Marcinkiewicz multiplier theorem, the Riesz transform, and doubling weights are all familiar tools to researchers in this area..978-1-4939-0131-9978-1-4614-6660-4Series ISSN 1439-7382 Series E-ISSN 2196-9922 作者: CAMP 時(shí)間: 2025-3-25 01:09 作者: 饒舌的人 時(shí)間: 2025-3-25 04:03
Lesley Semmens,Robert France,Tom Dockerhe generous support. We wish to thank members of the Department of Mathematics and Statistics at MeMorial University who willingly helped with the planning and 978-94-009-6468-6978-94-009-6466-2Series ISSN 1389-2185 作者: 擺動(dòng) 時(shí)間: 2025-3-25 11:03
Specification and Design,Whatever the cause of the error, the costs of software maintenance (rectifying errors and adapting the system to meet changing requirements or changes in the environment) have risen dramatically over recent years. Alarmingly, these costs now greatly exceed the original programming costs.作者: BATE 時(shí)間: 2025-3-25 13:40 作者: 共同時(shí)代 時(shí)間: 2025-3-25 19:49 作者: 捕鯨魚叉 時(shí)間: 2025-3-25 20:09 作者: Influx 時(shí)間: 2025-3-26 03:58 作者: 極深 時(shí)間: 2025-3-26 06:17 作者: insurrection 時(shí)間: 2025-3-26 10:49
Object-Orientation,t paradigm became popular. Over the last decade we have seen the emergence of many object-oriented programming languages, and extensions to existing languages to support object-oriented programming (e.g., C++, Object Pascal).作者: 創(chuàng)新 時(shí)間: 2025-3-26 14:53
Real-Time and Safety-Critical Systems,ts in a timely manner (typically within milliseconds — a response time of the same order of magnitude as the time of computation — otherwise, for example, a payroll system could be considered ‘real-time’ since employees expect to be paid at the end of each month). Many real-time systems are . system作者: Germinate 時(shí)間: 2025-3-26 19:14
Integrating Methods,ng each technique in a manner to maximize its benefits [53]. It is possible to integrate the use of formal methods with other less formal techniques. Indeed, often, formal methods provide little more than a mathematical notation, perhaps with some tool support. Combining such a notation with a metho作者: fibroblast 時(shí)間: 2025-3-26 23:41 作者: 清真寺 時(shí)間: 2025-3-27 01:19 作者: 碌碌之人 時(shí)間: 2025-3-27 05:35
Frederick P. Brooks Jr.,David HarelContains a large number of examples and exercises.This textbook offers an accessible introduction to the theory and numerics of approximation methods, combining classical topics of approximation with recent advances in mathematical signal processing, and adopting a constructive approach, in which th作者: Isometric 時(shí)間: 2025-3-27 12:02
Ken Orr,Chris Gane,Edward Yourdon,Peter P. Chen,Larry L. Constantine,John R. Camerontheory, polynomial inequalities, extremal problems, predicti.This contributed volume focuses on various important areas of mathematics in which approximation methods play an essential role. It features cutting-edge research on a wide spectrum of analytic inequalities with emphasis on differential an作者: maintenance 時(shí)間: 2025-3-27 15:23
Anthony Hall,Jonathan P. Bowen,Michael G. Hinchey,Jeannette M. Wing,C. A. R. Hoaretheory, polynomial inequalities, extremal problems, predicti.This contributed volume focuses on various important areas of mathematics in which approximation methods play an essential role. It features cutting-edge research on a wide spectrum of analytic inequalities with emphasis on differential an作者: Flounder 時(shí)間: 2025-3-27 21:37 作者: Apraxia 時(shí)間: 2025-3-27 22:57
C. A. R. Hoare,Leslie Lamportful research material for both experts and advanced graduate.This monograph records progress in approximation theory and harmonic analysis on balls and spheres, and presents contemporary material that will be useful to analysts in this area.? While the first part of the book contains mainstream mate作者: Allowance 時(shí)間: 2025-3-28 03:31
Jonathan Ostroff,Susan Gerhart,Dan Craigen,Ted Ralston,Nancy G. Leveson,Jonathan Bowen,Victoria Stavful research material for both experts and advanced graduate.This monograph records progress in approximation theory and harmonic analysis on balls and spheres, and presents contemporary material that will be useful to analysts in this area.? While the first part of the book contains mainstream mate作者: 動(dòng)物 時(shí)間: 2025-3-28 08:12
Lesley Semmens,Robert France,Tom Docker2-September 2, 1983. This volume consists of the Proceedings of that Institute. These Proceedings include the main invited talks and contributed papers given during the Institute. The aim of these lectures was to bring together Mathematicians, Physicists and Engineers working in the field. The lectu作者: FANG 時(shí)間: 2025-3-28 12:36 作者: DUST 時(shí)間: 2025-3-28 17:17
ASR-Induced Damage Detected by Site Air-Permeability Testsincrease in permeability happened before cracks became noticeable, probably detecting incipient micro-cracking. On the contrary, once the structure becomes visibly cracked, the vacuum-based test method either could not be applied or did not prove particularly useful, due to the resulting heterogeneity.作者: 核心 時(shí)間: 2025-3-28 21:56
Ekbert Hering,Rolf Martin,Martin StohrerDer Begriff des Substituenten, der bereits bei der Besprechung der Stammsysteme in Form der Radikale vielfach verwendet worden ist, nimmt naturgem?? im folgenden eine zentrale Stellung ein und bedarf deshalb einer erweiterten Definition.作者: exostosis 時(shí)間: 2025-3-28 23:43 作者: 實(shí)施生效 時(shí)間: 2025-3-29 06:45
https://doi.org/10.1007/978-3-031-45410-3Real-time computing; predictable scheduling algorithms; aperiodic task scheduling; critical control app
