標題: Titlebook: KORSO: Methods, Languages, and Tools for the Construction of Correct Software; Final Report Manfred Broy,Stefan J?hnichen Book 1995 Springe [打印本頁] 作者: Consonant 時間: 2025-3-21 16:14
書目名稱KORSO: Methods, Languages, and Tools for the Construction of Correct Software影響因子(影響力)
書目名稱KORSO: Methods, Languages, and Tools for the Construction of Correct Software影響因子(影響力)學科排名
書目名稱KORSO: Methods, Languages, and Tools for the Construction of Correct Software網(wǎng)絡(luò)公開度
書目名稱KORSO: Methods, Languages, and Tools for the Construction of Correct Software網(wǎng)絡(luò)公開度學科排名
書目名稱KORSO: Methods, Languages, and Tools for the Construction of Correct Software被引頻次
書目名稱KORSO: Methods, Languages, and Tools for the Construction of Correct Software被引頻次學科排名
書目名稱KORSO: Methods, Languages, and Tools for the Construction of Correct Software年度引用
書目名稱KORSO: Methods, Languages, and Tools for the Construction of Correct Software年度引用學科排名
書目名稱KORSO: Methods, Languages, and Tools for the Construction of Correct Software讀者反饋
書目名稱KORSO: Methods, Languages, and Tools for the Construction of Correct Software讀者反饋學科排名
作者: Frequency-Range 時間: 2025-3-21 21:42
Manfred Broy,Martin Wirsing hydrogen into helium is the primary source of the energy radiated by the Sun and other main sequence stars. A joint paper with Ray Lyttleton included this temperature-sensitive process explicitly in the energy equation, effectively vindicating the essentials of the theory of homogeneous gaseous sta作者: 大量 時間: 2025-3-22 00:45
Stefan Gastinger,Rolf Hennicker,Robert Stablarkable scientist.Includes supplementary material: In this Brief, Joe Jeffers uncovers the life and works of two-time Nobel Laureate Frederick Sanger. Following Sanger’s early life to retirement, Jeffers describes how this celebrated British biochemist became the first person to determine the amino 作者: Endemic 時間: 2025-3-22 06:26 作者: growth-factor 時間: 2025-3-22 10:31 作者: 畢業(yè)典禮 時間: 2025-3-22 12:59
U. Wolter,K. Didrich,F. Cornelius,M. Klar,R. Wess?ly,H. Ehrigchieve artificial transmutation in order to permit society to benefit from atomic energy. But appalled by the abuse during World War I of such scientific achievements as the nitrogen fixation process, he tried to draw attention to the potential misuse of nature’s gifts and refrained from such furthe作者: ARY 時間: 2025-3-22 20:09
Jochen Burghardtrom uranium minerals of the new element radium by M. and Mme. Curie have brought many changes of outlook upon science. Isolated questions of the most extraordinary diversity have been profitably reconsidered. It is only necessary to cite at random a few of the special problems in individual sciences作者: Inflammation 時間: 2025-3-22 23:28 作者: Wallow 時間: 2025-3-23 04:29 作者: Ardent 時間: 2025-3-23 07:35
F. W. von Henke,A. Dold,H. Rue?,D. Schwier,M. Streckernfirmation as a classification system appeared from several directions by a replacement of the concept of atomic weight by that of atomic number, a modification to which Soddy contributed greatly. In the second part of his book ., subtitled . 1914), he published a three–dimensional helical represent作者: evince 時間: 2025-3-23 13:39
Jacques Loeckx,J?rg Zeyerrom uranium minerals of the new element radium by M. and Mme. Curie have brought many changes of outlook upon science. Isolated questions of the most extraordinary diversity have been profitably reconsidered. It is only necessary to cite at random a few of the special problems in individual sciences作者: PHONE 時間: 2025-3-23 17:12 作者: 只有 時間: 2025-3-23 21:10 作者: 延期 時間: 2025-3-24 01:53 作者: Anthropoid 時間: 2025-3-24 02:25 作者: bronchodilator 時間: 2025-3-24 10:27
Wolfgang Reifory of European thought is the context in which we shall seek to view it here. If any man of the eighteenth century had the vocation and the strength to solve the problem for his time, and to confer on . the aims and standards of universal human reason, then it was Frederick. It can be said that his作者: Synapse 時間: 2025-3-24 11:06 作者: DEMUR 時間: 2025-3-24 17:11 作者: Cocker 時間: 2025-3-24 20:03 作者: 阻擋 時間: 2025-3-25 01:47 作者: hemoglobin 時間: 2025-3-25 05:28
Design of modular software systems with reuse,applications. The approach uses the representation of the development process of software as a graph and instantiates the notion of components as nodes and the notion of causal relations between these components as edges of the graph. A formal method for the systematic reuse of components is propose作者: Credence 時間: 2025-3-25 11:00
AVL trees revisited: A case study in Spectrum,ich is organized in four stages: requirement specification, design specification, executable specification and functional program. The concept of AVL trees serves as example for presenting this approach.作者: 隱士 時間: 2025-3-25 13:47 作者: laparoscopy 時間: 2025-3-25 18:48
A fine-grain sort discipline and its application to formal program construction,s presented in more detail: A sort discipline is introduced to describe regular sets of ground constructor terms as extensional sorts. It is extended to cope with regular sets of ground substitutions, thereby allowing to compute different sorts for terms with different variable bindings. An algorith作者: 代替 時間: 2025-3-25 23:24
,TROLL light — The language and its development environment,r work focuses on the specification language TROLL . which allows to describe the part of the world to be modeled as a community of concurrently existing and communicating objects. Our specification language comes along with an integrated, open development environment. The task of this environment i作者: 消耗 時間: 2025-3-26 00:10 作者: 虛假 時間: 2025-3-26 05:34 作者: eucalyptus 時間: 2025-3-26 11:07 作者: Cytology 時間: 2025-3-26 16:12 作者: 陳腐的人 時間: 2025-3-26 20:28
,Seduct — A proof compiler for first order logic, obligations arising during the process of software verification. We will mainly describe those features of . which distinguish this theorem prover from other theorem provers and which make it especially suited for software verification.作者: lethal 時間: 2025-3-26 22:10 作者: HPA533 時間: 2025-3-27 02:37
The Kiv-approach to software verification,ns and stepwise refinement by program modules. The approach is implemented in . (.), and supports the entire design process starting from formal specifications and ending with verified code. Its main characteristics are a strict decompositional design discipline for modular systems, a powerful proof作者: 國家明智 時間: 2025-3-27 06:00
978-3-540-60589-8Springer-Verlag Berlin Heidelberg 1995作者: 香料 時間: 2025-3-27 10:56 作者: 吃掉 時間: 2025-3-27 15:42
Lecture Notes in Computer Sciencehttp://image.papertrans.cn/k/image/541676.jpg作者: Glutinous 時間: 2025-3-27 20:30
Event automata as a generic model of reactive systems,hes the underlying mathematics, and provides some ideas about appropriate specification techniques. The framework will be instantiated by various, conceptually quite different examples ranging from interleaving semantics and process calculi to true concurrency semantics and object-oriented methods.作者: 顯微鏡 時間: 2025-3-28 01:17
AVL trees revisited: A case study in Spectrum,ich is organized in four stages: requirement specification, design specification, executable specification and functional program. The concept of AVL trees serves as example for presenting this approach.作者: alabaster 時間: 2025-3-28 02:51 作者: 營養(yǎng) 時間: 2025-3-28 06:52 作者: 斷言 時間: 2025-3-28 12:14 作者: interrupt 時間: 2025-3-28 14:46
,Traverdi — Transformation and verification of distributed systems,systems (correctness proofs) are part of the approach. The emphasis was on developing prototype tools to support such activities. But also questions of theoretical nature concerning specification formalisms and verification techniques have been tackled.作者: 邊緣 時間: 2025-3-28 19:30 作者: 平庸的人或物 時間: 2025-3-28 22:54 作者: 序曲 時間: 2025-3-29 04:35 作者: carbohydrate 時間: 2025-3-29 09:24 作者: 搖晃 時間: 2025-3-29 15:02
Peter Pepper,Ralph Betschko,Sabine Dick,Klaus Didrich作者: PHON 時間: 2025-3-29 18:35
KORSO: Methods, Languages, and Tools for the Construction of Correct SoftwareFinal Report作者: Visual-Acuity 時間: 2025-3-29 21:56 作者: affluent 時間: 2025-3-30 00:19 作者: GULF 時間: 2025-3-30 07:18 作者: 悲痛 時間: 2025-3-30 09:29
R. Hettler,D. Nazareth,F. Regensburger,O. Slotosch Sanger’s colleagues and family members. This brief provides a rigorous yet concise view of Sanger on a personal and scientific level and is suitable for biochemists, historians or the interested layperson.978-3-319-54707-7978-3-319-54709-1Series ISSN 2191-5407 Series E-ISSN 2191-5415 作者: 招募 時間: 2025-3-30 15:01 作者: 禁止 時間: 2025-3-30 19:04 作者: hematuria 時間: 2025-3-31 00:42
Jochen Burghardtnnel and the electrification of the atmosphere in the neighbourhood of mountain tops. The explanation of all the various manifestations of energy associated with radioactivity has been found in the discovery of naturally occurring processes of transmutation progressing continuously and invariably wi作者: Palatial 時間: 2025-3-31 01:59 作者: 阻擋 時間: 2025-3-31 05:45 作者: 悠然 時間: 2025-3-31 10:11 作者: Dri727 時間: 2025-3-31 16:40
Jacques Loeckx,J?rg Zeyernnel and the electrification of the atmosphere in the neighbourhood of mountain tops. The explanation of all the various manifestations of energy associated with radioactivity has been found in the discovery of naturally occurring processes of transmutation progressing continuously and invariably wi
