標(biāo)題: Titlebook: Refinement Techniques in Software Engineering; First Pernambuco Sum Ana Cavalcanti,Augusto Sampaio,Jim Woodcock Textbook 2006 Springer-Verl [打印本頁] 作者: Disaster 時(shí)間: 2025-3-21 18:34
書目名稱Refinement Techniques in Software Engineering影響因子(影響力)
書目名稱Refinement Techniques in Software Engineering影響因子(影響力)學(xué)科排名
書目名稱Refinement Techniques in Software Engineering網(wǎng)絡(luò)公開度
書目名稱Refinement Techniques in Software Engineering網(wǎng)絡(luò)公開度學(xué)科排名
書目名稱Refinement Techniques in Software Engineering被引頻次
書目名稱Refinement Techniques in Software Engineering被引頻次學(xué)科排名
書目名稱Refinement Techniques in Software Engineering年度引用
書目名稱Refinement Techniques in Software Engineering年度引用學(xué)科排名
書目名稱Refinement Techniques in Software Engineering讀者反饋
書目名稱Refinement Techniques in Software Engineering讀者反饋學(xué)科排名
作者: Fierce 時(shí)間: 2025-3-21 21:01 作者: 玩忽職守 時(shí)間: 2025-3-22 00:31 作者: BOON 時(shí)間: 2025-3-22 07:51 作者: 驚惶 時(shí)間: 2025-3-22 12:37
Using the Compliance Notation in Industry,le, is not the most cost effective use of a limited budget. Evidence does show that safety failures tend to arise instead from requirements or design decisions [205]; however, low-level implementation decisions can also have a large impact on higher level decisions. For example, the removal of a def作者: aptitude 時(shí)間: 2025-3-22 15:04 作者: famine 時(shí)間: 2025-3-22 17:14
Developing and Reasoning About Probabilistic Programs in , ,norance of) which of two program fragments will be executed. By introducing . nondeterminism into ., we provide a means with which also probabilistic programs can be rigorously developed and reasoned about作者: 阻止 時(shí)間: 2025-3-23 01:15 作者: 僵硬 時(shí)間: 2025-3-23 04:34
0302-9743 ce and to the promotion of international scienti?c collaboration. The main theme in 2004 was re?nement (or rei?cation). Re?nement describes the veri?able relationship between a speci?cation and its implementation; it also describes the process of discoveringappropriateimplementations,givena speci?ca作者: Rotator-Cuff 時(shí)間: 2025-3-23 06:51 作者: 香料 時(shí)間: 2025-3-23 10:06 作者: 串通 時(shí)間: 2025-3-23 17:25
Real-Time and Fault-Tolerant Systems,on the theories of sequential programming, such as those of Dijkstra’s calculus of weakest preconditions [81], Hoare Logic [114], Morgan’s refinement calculus [192] and Hoare and He’s UTP [117]. These theories are discussed and used in Chapter 4 and Chapter 6.作者: Urgency 時(shí)間: 2025-3-23 20:39
Using the Compliance Notation in Industry,e the ground-based function during flight [88]. When assessing the safety impact of requirement and design decisions there are always worries about the accuracy of the documentation and whether some decisions have not been recorded, or left implicit.作者: Pantry 時(shí)間: 2025-3-23 23:56
Lecture Notes in Computer Sciencehttp://image.papertrans.cn/r/image/824679.jpg作者: reject 時(shí)間: 2025-3-24 04:22
https://doi.org/10.1007/11889229concurrency; formal method; logic; model checking; object; object-oriented programming; program generation作者: 刺激 時(shí)間: 2025-3-24 08:38 作者: 他姓手中拿著 時(shí)間: 2025-3-24 11:41
978-3-540-46253-8Springer-Verlag Berlin Heidelberg 2006作者: 土產(chǎn) 時(shí)間: 2025-3-24 17:06
Refinement Techniques in Software Engineering978-3-540-46254-5Series ISSN 0302-9743 Series E-ISSN 1611-3349 作者: 假裝是我 時(shí)間: 2025-3-24 19:29 作者: 轎車 時(shí)間: 2025-3-25 02:56
Using CSP,This is a tutorial on .:?a language for modelling patterns of behaviour. It explores the design of the language, and shows how it may be used to construct descriptions of behavioural properties and distributed systems. It explains also how the use of the language may be supported by verification tools.作者: Erythropoietin 時(shí)間: 2025-3-25 06:08
roles, drawing from in-depth interviews with 15 purposively chosen couples, to represent variations in family type, mothers’ work status and age of children, supplemented with checklist data of 120 couples. The paper further examines fathers’ and mothers’ rationale for sharing of parental roles, dra作者: 無價(jià)值 時(shí)間: 2025-3-25 10:48 作者: figurine 時(shí)間: 2025-3-25 13:41 作者: 比目魚 時(shí)間: 2025-3-25 19:11 作者: PAC 時(shí)間: 2025-3-25 20:27 作者: 耐寒 時(shí)間: 2025-3-26 02:42
Zhiming Liu,Mathai Josephrs, he was in pain. He had hurt his back in a work-related accident and was still recovering. “Es algo que no se lo deseo a nadie” [It’s something I don’t wish upon anyone], he began. Eventually he would come to talk about another kind of pain that previously had been too raw to share, one provoked 作者: 控訴 時(shí)間: 2025-3-26 04:38 作者: Morbid 時(shí)間: 2025-3-26 09:45
Phil Clayton,Colin O’Halloranmake a powerful contribute to grow this line of research.PolWhen Emilio López made his way to Atlanta, Georgia from México’s third most populated city, where he had grown up, worked, married and had two daughters, he was in pain. He had hurt his back in a work-related accident and was still recoveri作者: 心胸開闊 時(shí)間: 2025-3-26 13:23 作者: blister 時(shí)間: 2025-3-26 17:23 作者: AV-node 時(shí)間: 2025-3-26 21:57 作者: 閑聊 時(shí)間: 2025-3-27 04:17 作者: Parley 時(shí)間: 2025-3-27 05:57 作者: 人類學(xué)家 時(shí)間: 2025-3-27 09:55
Jim Daviess, laws and economic arrangements that separate families. The fathers also remind us that whileMexican immigrants support the Mexican economy to the tune of 24 billion dollars a year through remittances, and help fuel the U.S. economy through their underpaid labor, the fathers see themselves as much作者: 兵團(tuán) 時(shí)間: 2025-3-27 15:14 作者: Exterior 時(shí)間: 2025-3-27 20:56 作者: insecticide 時(shí)間: 2025-3-28 00:28
Ana Cavalcanti,Jim Woodcocks, laws and economic arrangements that separate families. The fathers also remind us that whileMexican immigrants support the Mexican economy to the tune of 24 billion dollars a year through remittances, and help fuel the U.S. economy through their underpaid labor, the fathers see themselves as much作者: 終止 時(shí)間: 2025-3-28 04:39
Textbook 2006nts of the school. The revision was inspired by the synergy generated by the opportunity for the lecturers to present and discuss their work among themselves, and with the school’s attendees. The editors have tried to produce a coherent view of the topic by harmonizing these contributions, smoothing作者: Tidious 時(shí)間: 2025-3-28 09:26 作者: inveigh 時(shí)間: 2025-3-28 13:13 作者: 運(yùn)動(dòng)的我 時(shí)間: 2025-3-28 18:36 作者: V洗浴 時(shí)間: 2025-3-28 20:56
