標題: Titlebook: Reliability, Quality and Safety of Software-Intensive Systems; IFIP TC5 WG5.4 3rd I Dimitris Gritzalis Book 1997 IFIP International Federat [打印本頁] 作者: deflate 時間: 2025-3-21 16:53
書目名稱Reliability, Quality and Safety of Software-Intensive Systems影響因子(影響力)
書目名稱Reliability, Quality and Safety of Software-Intensive Systems影響因子(影響力)學科排名
書目名稱Reliability, Quality and Safety of Software-Intensive Systems網(wǎng)絡公開度
書目名稱Reliability, Quality and Safety of Software-Intensive Systems網(wǎng)絡公開度學科排名
書目名稱Reliability, Quality and Safety of Software-Intensive Systems被引頻次
書目名稱Reliability, Quality and Safety of Software-Intensive Systems被引頻次學科排名
書目名稱Reliability, Quality and Safety of Software-Intensive Systems年度引用
書目名稱Reliability, Quality and Safety of Software-Intensive Systems年度引用學科排名
書目名稱Reliability, Quality and Safety of Software-Intensive Systems讀者反饋
書目名稱Reliability, Quality and Safety of Software-Intensive Systems讀者反饋學科排名
作者: grieve 時間: 2025-3-21 23:06
Motivated Humans for Reliable Software Productsd absence of team work all contribute to the demotivation of the software engineer. Trying to introduce a new tool or a new technique to a demotivated staff is simply a waste of time. Thus, it is of paramount importance to realize that in the labor intensive software development world, the focus mus作者: 幼兒 時間: 2025-3-22 01:22 作者: Ancestor 時間: 2025-3-22 08:13 作者: Wordlist 時間: 2025-3-22 12:43 作者: 相容 時間: 2025-3-22 15:22
1868-4238 ware that safety is an issue. Therefore, there is a growing evidence for encouraging greater understanding of safety and reliability requirements issues, right 978-1-4757-6399-7978-0-387-35097-4Series ISSN 1868-4238 Series E-ISSN 1868-422X 作者: jovial 時間: 2025-3-22 20:37
Barbara Kitchenham,Alberto Pasquini,Uwe Anders,J?rgen B?egh,Stephano de Panfilis,Stephen Linkmanche Freizeitleiter/in steht im Mittelpunkt der nachfolgenden empirischen Analyse in Kapitel 7. Kapitel 4.5 setzt sich mit seiner/ihrer Rolle und den an ihn/sie gestellten Anforderungen respektive Qualifizierungen auseinander. Abschlie?end wird das in der fachlichen Diskussion wenig berücksichtigte F作者: debble 時間: 2025-3-22 21:48
I. Tervonen,J. Kokkoniemi,G. Smithche Freizeitleiter/in steht im Mittelpunkt der nachfolgenden empirischen Analyse in Kapitel 7. Kapitel 4.5 setzt sich mit seiner/ihrer Rolle und den an ihn/sie gestellten Anforderungen respektive Qualifizierungen auseinander. Abschlie?end wird das in der fachlichen Diskussion wenig berücksichtigte F作者: Banquet 時間: 2025-3-23 04:35 作者: Breach 時間: 2025-3-23 06:39 作者: Bmd955 時間: 2025-3-23 12:05 作者: comely 時間: 2025-3-23 17:52 作者: 討人喜歡 時間: 2025-3-23 20:16
J. Y. Cotronis,Z. Tsiatsoulisysen wertvolle Hinweise für Politik, Organisationen und Fach?ffentlichkeit liefern. Das Wissen über Beendigungs- und Hinderungsgründe gibt Aufschluss darüber, wie man Personen im Engagement halten oder sie gegebenenfalls zukünftig für ein Engagement gewinnen kann.作者: 的是兄弟 時間: 2025-3-23 23:15 作者: Brain-Waves 時間: 2025-3-24 03:56 作者: Control-Group 時間: 2025-3-24 07:42
Book 1997ith requirements in the areas of safety and reliability - especially for distributed, real-time and embedded systems. Thus, much research work is under progress in these fields, since software process improvement impinges directly on achieved levels of quality, and many application experiments aim t作者: GRACE 時間: 2025-3-24 11:52 作者: 嗎啡 時間: 2025-3-24 17:32
ProveIt: a C program correctness proverd proved by using a knowledge base. Any programs for which the knowledge base is insufficient give rise, in the usual ways, to augmentation of the knowledge base. ProveIt is itself written in C++ and was debugged using CodeWarrior on the Macintosh.作者: MIRTH 時間: 2025-3-24 19:44
Specification composition for the verification of message passing program compositionifications of program components, using coloured Petri nets, which are then composed to obtain the specification of the application. The composition is controlled by the same script that is used to compose the application.作者: Ischemic-Stroke 時間: 2025-3-25 03:14 作者: 火光在搖曳 時間: 2025-3-25 05:42
Pythia: A regression test selection tool based on textual differencings from the old and the new version of the program, has been implemented in a tool called Pythia. A novel characteristic of Pythia, which is capable of analyzing large software systems written in C, is that it has been implemented primarily through the integration of standard, well known, UNIX. programs.作者: Between 時間: 2025-3-25 08:36
An assessment of the number of paths needed for control flow testinglower bound and an experimental upper bound are presented. Their ability of circumventing the incidence of infeasible paths is discussed and the lower and upper bounds of the cost and effort for test data generation analysed.作者: Forehead-Lift 時間: 2025-3-25 12:14 作者: 動脈 時間: 2025-3-25 15:54 作者: 陳列 時間: 2025-3-25 21:08 作者: exquisite 時間: 2025-3-26 04:09
An assessment of the number of paths needed for control flow testinga for exercising certain program structural characteristics. Methods that try to generate test data based on a minimum number of paths fail to estimate a lower bound in advance. When some of the paths they generate are infeasible, this situation is worsened. Thus, the generation of the test paths is作者: 慷慨不好 時間: 2025-3-26 07:34 作者: 儀式 時間: 2025-3-26 09:55
A quality-intensive approach to software developmenty viewpoint. Our approach is based on the GRCM (goal-rule-checklist-metric) model and on the use of three supporting tools, a graphical editor, the QuestMap tool and the Quality Training tool. We also illustrate our approach and the use of supporting tools in an example of a beer pump system.作者: gerontocracy 時間: 2025-3-26 15:32 作者: 該得 時間: 2025-3-26 19:51
Motivated Humans for Reliable Software Productsment has resulted in concluding that the vast majority of problems encountered while developing software are more people oriented rather than technology based. Therefore, for there to be any improvements in the reliability of software, it may be wise to revisit some of the people issues, otherwise, 作者: 使混合 時間: 2025-3-26 22:54
Specification composition for the verification of message passing program compositionle applications are built by composing reusable executable program components designed with scalable communication interfaces. We define reusable specifications of program components, using coloured Petri nets, which are then composed to obtain the specification of the application. The composition i作者: CAND 時間: 2025-3-27 03:38
Prescriptive specification checking for hazard prevention in computer-controlled safety-critical sysms. Based on this analysis, a set of prescriptive specifications are derived to guard the consistency between the computer controller and the physical system to be controlled. The feasibility and effectiveness of this approach is demonstrated by a comprehensive case study.作者: Costume 時間: 2025-3-27 08:05
Object-oriented Safety Monitor Synthesisumed that the valid object model of an application extended with relevant safety aspects is available. The method comprises four steps: identification, reduction, implantation and tuning of a safety monitor. The identification step selects this part of the object model which constitutes a preliminar作者: gusher 時間: 2025-3-27 12:54
Modification of Safety Critical Systems: An Assessment of three Approachesption of the system under consideration, the paper naturally falls into two parts. The first one is a description of two modifications, how they were implemented and how they were analysed for safety. The second one contains a discussion of the three methods used — FTA, FMECA and Code analysis. We h作者: Coeval 時間: 2025-3-27 16:25
Security of World Wide Web Search Engines available information. This has made the World Wide Web one of the key fields for companies advertisement. On the other hand, advertisement on the web depends crucially on its ., i.e. on the possibility to be noticed by as many users as possible. The backbone of information management in the WWW is作者: periodontitis 時間: 2025-3-27 17:53 作者: 過時 時間: 2025-3-28 00:01
978-1-4757-6399-7IFIP International Federation for Information Processing 1997作者: 過分 時間: 2025-3-28 02:35
Reliability, Quality and Safety of Software-Intensive Systems978-0-387-35097-4Series ISSN 1868-4238 Series E-ISSN 1868-422X 作者: 浪蕩子 時間: 2025-3-28 08:53 作者: Emasculate 時間: 2025-3-28 12:31
https://doi.org/10.1007/978-0-387-35097-4Area; DEX; design; development; distributed systems; form; modeling; quality assurance; safety-critical syst作者: 揉雜 時間: 2025-3-28 15:27
Selected Legal Issues Related to Internet UseThis paper aims at giving a survey of legal problems related to Internet, ranging from privacy and copyright issues which gain a new level of importance through WWW to liability problems and criminal law issues.作者: Harrowing 時間: 2025-3-28 21:33
A quality-intensive approach to software developmenty viewpoint. Our approach is based on the GRCM (goal-rule-checklist-metric) model and on the use of three supporting tools, a graphical editor, the QuestMap tool and the Quality Training tool. We also illustrate our approach and the use of supporting tools in an example of a beer pump system.作者: 劇毒 時間: 2025-3-29 01:02
Prescriptive specification checking for hazard prevention in computer-controlled safety-critical sysms. Based on this analysis, a set of prescriptive specifications are derived to guard the consistency between the computer controller and the physical system to be controlled. The feasibility and effectiveness of this approach is demonstrated by a comprehensive case study.作者: Anticonvulsants 時間: 2025-3-29 06:00 作者: 大氣層 時間: 2025-3-29 10:57 作者: 陪審團每個人 時間: 2025-3-29 14:17 作者: 種屬關系 時間: 2025-3-29 17:16
R. J. Kusters,R. van Solingen,J. J. M. Trienekens,H. Wijnandst freiwillig engagieren? Im vorliegenden Kapitel werden nicht-engagierte Menschen betrachtet und ihr Verh?ltnis zum freiwilligen Engagement analysiert: Waren aktuell nicht-engagierte Menschen in einem früheren Lebensabschnitt einmal freiwillig engagiert und, wenn ja, welche Gründe haben dazu geführt作者: 砍伐 時間: 2025-3-29 23:23 作者: Enervate 時間: 2025-3-30 03:10 作者: 召集 時間: 2025-3-30 04:59
J. Y. Cotronis,Z. Tsiatsoulist freiwillig engagieren? Im vorliegenden Kapitel werden nicht-engagierte Menschen betrachtet und ihr Verh?ltnis zum freiwilligen Engagement analysiert: Waren aktuell nicht-engagierte Menschen in einem früheren Lebensabschnitt einmal freiwillig engagiert und, wenn ja, welche Gründe haben dazu geführt作者: SAGE 時間: 2025-3-30 10:46 作者: 吞吞吐吐 時間: 2025-3-30 15:20
Massimo Marchiorirte zweite Welle des Freiwilligensurveys 2004 ist ein Schritt zu einer repr?sentativen Dauerbeobachtung der Entwicklung des bürgerschaftlichen Engagements in Deutschland. 36 Prozent aller Bürgerinnen und Bürger ab 14 Jahren engagieren sich freiwillig – das sind mehr als 23,4 Millionen Menschen. Im V作者: 子女 時間: 2025-3-30 19:39
Nanometer-Scale Structure Formation on Solid Surfaces,d in this section. We do not attempt to present a detailed review with reference to huge number of articles, but give a few examples of each category with emphasis on the initial works or fundamental studies.
