標(biāo)題: Titlebook: Advanced Lectures on Software Engineering; LASER Summer School Peter Müller Textbook 2010 Springer-Verlag Berlin Heidelberg 2010 Action.LA [打印本頁] 作者: Diverticulum 時(shí)間: 2025-3-21 17:34
書目名稱Advanced Lectures on Software Engineering影響因子(影響力)
書目名稱Advanced Lectures on Software Engineering影響因子(影響力)學(xué)科排名
書目名稱Advanced Lectures on Software Engineering網(wǎng)絡(luò)公開度
書目名稱Advanced Lectures on Software Engineering網(wǎng)絡(luò)公開度學(xué)科排名
書目名稱Advanced Lectures on Software Engineering被引頻次
書目名稱Advanced Lectures on Software Engineering被引頻次學(xué)科排名
書目名稱Advanced Lectures on Software Engineering年度引用
書目名稱Advanced Lectures on Software Engineering年度引用學(xué)科排名
書目名稱Advanced Lectures on Software Engineering讀者反饋
書目名稱Advanced Lectures on Software Engineering讀者反饋學(xué)科排名
作者: inclusive 時(shí)間: 2025-3-21 21:25
Fine-Grain Concurrency,Level4 118 Level5 119 Characteristics of process control computer systems 119 A survey of process control computer hardware 120 Communication codes and circuits 138 Channe1 capacity 138 Types of connection and communication hardware 140 Practical suggestions and recommendations 152 Rcferences 153 Pa作者: JIBE 時(shí)間: 2025-3-22 04:14
,SCOOP – A Contract-Based Concurrent Object-Oriented Programming Model,e Projekte gescheitert oder haben zumindest den ?gro?en Wurf“ verfehlt – wie die folgenden Beispiele illustrieren. Da führt ein gro?er Finanzdienstleistungskonzern eine Initiative zur Prozessoptimierung durch, ohne dabei die relevanten Kennzahlen zur Messung der Prozess-Performance zu definieren. Mi作者: 忍受 時(shí)間: 2025-3-22 04:58 作者: 指數(shù) 時(shí)間: 2025-3-22 10:08 作者: 合群 時(shí)間: 2025-3-22 16:07 作者: CAND 時(shí)間: 2025-3-22 20:44 作者: 去掉 時(shí)間: 2025-3-22 23:11 作者: Cholecystokinin 時(shí)間: 2025-3-23 03:39
Advanced Lectures on Software Engineering978-3-642-13010-6Series ISSN 0302-9743 Series E-ISSN 1611-3349 作者: 怕失去錢 時(shí)間: 2025-3-23 07:34 作者: 種類 時(shí)間: 2025-3-23 10:34 作者: audiologist 時(shí)間: 2025-3-23 15:28 作者: 形狀 時(shí)間: 2025-3-23 19:43
Lin Wang,Ammar Hawbani,Xingfu Wangng object-oriented concepts for the concurrent context. Simplicity is the main objective of SCOOP. The model guarantees the absence of data races in any execution of a SCOOP program. This article is a technical description of SCOOP as defined by Nienaltowski [11] and Meyer [7,9,10].作者: Infantry 時(shí)間: 2025-3-24 01:45 作者: 多山 時(shí)間: 2025-3-24 04:09 作者: SPASM 時(shí)間: 2025-3-24 08:18 作者: integral 時(shí)間: 2025-3-24 12:46 作者: addict 時(shí)間: 2025-3-24 16:54
Yi-Hua Zhu,Chaoran Zhu,Xianzhong Tianlion transistors. Gordon Moore outlined a roadmap for chip level integration in 1965, which has become known as Moore’s Law. It predicts that the density of transistors in a silicon chip will double every process generation. It has become the heartbeat of the semiconductor industry.作者: 自制 時(shí)間: 2025-3-24 21:47
Jiewei Lan,Xiyun Liu,Hong Luo,Peng Liconsists of a compiler that emits run-time checks for many contracts and a static program verifier that attempts to prove automatically that an implementation satisfies its specification. These lecture notes teach the use of the Spec# system, focusing on specification and static verification.作者: NICE 時(shí)間: 2025-3-25 00:42
Yi-Hua Zhu,Chaoran Zhu,Xianzhong Tianer set lattice, and apply the latter to the verification of a general forward search algorithm and a generalization of Dijkstra’s shortest path algorithm. We use these examples to argue that the verification of even simple, widely used algorithms can depend on a fair amount of background theory, human insight, and sophisticated mechanical support.作者: orthopedist 時(shí)間: 2025-3-25 06:33 作者: apiary 時(shí)間: 2025-3-25 11:30
Textbook 2010show the absence of certain kinds of errors or that a program satisfies its specification. Such high levels of software quality can be achieved by software verification, that is, by proving the correctness of a program with respect to its specification. Software verification has seen tremendous prog作者: Dorsal 時(shí)間: 2025-3-25 14:41 作者: 賞心悅目 時(shí)間: 2025-3-25 16:27 作者: 令人悲傷 時(shí)間: 2025-3-25 22:31
0302-9743 n concurrency and transactions, the SCOOP model for concurrent object-oriented programming, the Spec# programming and verification system, verification in the prototype verification system PVS, and multi-core chip design.978-3-642-13009-0978-3-642-13010-6Series ISSN 0302-9743 Series E-ISSN 1611-3349 作者: GILD 時(shí)間: 2025-3-26 01:46 作者: Synovial-Fluid 時(shí)間: 2025-3-26 06:15 作者: 公社 時(shí)間: 2025-3-26 09:14 作者: Temporal-Lobe 時(shí)間: 2025-3-26 16:04 作者: HILAR 時(shí)間: 2025-3-26 17:43
9樓作者: seruting 時(shí)間: 2025-3-26 23:56
9樓作者: 決定性 時(shí)間: 2025-3-27 01:41
9樓作者: Freeze 時(shí)間: 2025-3-27 06:01
10樓作者: HALO 時(shí)間: 2025-3-27 10:11
10樓作者: 裝勇敢地做 時(shí)間: 2025-3-27 16:31
10樓作者: 付出 時(shí)間: 2025-3-27 17:57
10樓
