標(biāo)題: Titlebook: VDM ‘90. VDM and Z - Formal Methods in Software Development; Third International D. Bj?rner,C. A. R. Hoare,H. Langmaack Conference proceed [打印本頁] 作者: lumbar-puncture 時(shí)間: 2025-3-21 16:19
書目名稱VDM ‘90. VDM and Z - Formal Methods in Software Development影響因子(影響力)
書目名稱VDM ‘90. VDM and Z - Formal Methods in Software Development影響因子(影響力)學(xué)科排名
書目名稱VDM ‘90. VDM and Z - Formal Methods in Software Development網(wǎng)絡(luò)公開度
書目名稱VDM ‘90. VDM and Z - Formal Methods in Software Development網(wǎng)絡(luò)公開度學(xué)科排名
書目名稱VDM ‘90. VDM and Z - Formal Methods in Software Development被引頻次
書目名稱VDM ‘90. VDM and Z - Formal Methods in Software Development被引頻次學(xué)科排名
書目名稱VDM ‘90. VDM and Z - Formal Methods in Software Development年度引用
書目名稱VDM ‘90. VDM and Z - Formal Methods in Software Development年度引用學(xué)科排名
書目名稱VDM ‘90. VDM and Z - Formal Methods in Software Development讀者反饋
書目名稱VDM ‘90. VDM and Z - Formal Methods in Software Development讀者反饋學(xué)科排名
作者: 圓木可阻礙 時(shí)間: 2025-3-22 00:09
https://doi.org/10.1007/3-540-52513-0Entwurfsmethodik; Spezifikationsmethodik; design; distributed systems; formal method; formalisation; progr作者: 中子 時(shí)間: 2025-3-22 01:30 作者: BIAS 時(shí)間: 2025-3-22 08:29
Anthony Hallorm length”) 12 Zoll und automatisches überspringen der Perforation zwischen zwei Papierseiten (“skip perforation”). Bei den meisten Druckern erfolgt die Einstellung an DIP-Schaltern, sie k?nnen aber auch, wie weiter unten beschrieben, vor jedem Ausdruck eine Kette von Steuerzeichen zur Initialisierung an den Drucker senden.作者: Awning 時(shí)間: 2025-3-22 11:24 作者: 異常 時(shí)間: 2025-3-22 15:58
An algebraic approach to refinement,ebraic tradition and illustrates them with a simple example. The basic ideas are that a specification is a structured theory and a refinement is a structured theory morphism. A final section summarizes some good and bad points of this approach.作者: 思想上升 時(shí)間: 2025-3-22 17:35 作者: 太空 時(shí)間: 2025-3-22 22:39
Refining data to processes,rate theories for ”programs as predicates” and ”programs as predicate transformers”, is generalized to parallel processes and is used to formulate syntactic verification conditions to check the correctness of reification by means of processes.作者: Fortuitous 時(shí)間: 2025-3-23 05:13
Modular extensions to Z,This paper suggests some mechanisms for supporting a modular approach to specifications written using .. The general idea is that a (system) specification must be a . which may be split into .. Chapters may . objects through import and export declarations, and it is possible to define . chapters which may be ..作者: Inoperable 時(shí)間: 2025-3-23 06:39 作者: Stress 時(shí)間: 2025-3-23 10:33 作者: 圓錐體 時(shí)間: 2025-3-23 16:08
Job ZwiersZum empirischen Nachweis von überrenditen bei Aktienemissionen bedient man sich sogenannter Ereignisstudien. Diese Technik wendet die empirische Kapitalmarktforschung seit einiger Zeit. an, um den Einflu? unternehmensspezifischer Ereignisse auf Aktienkurse zu analysieren.作者: frenzy 時(shí)間: 2025-3-23 20:27
978-3-540-52513-4Springer-Verlag Berlin Heidelberg 1990作者: BROTH 時(shí)間: 2025-3-23 23:11 作者: Firefly 時(shí)間: 2025-3-24 03:41
erschienen sind. Der Verlag stellt mit diesem Archiv Quellen für die historische wie auch die disziplingeschichtliche Forschung zur Verfügung, die jeweils im historischen Kontext betrachtet werden müssen. Dieser Titel erschien in der Zeit vor 1945 und wird daher in seiner zeittypischen politisch-ide作者: 金哥占卜者 時(shí)間: 2025-3-24 07:42 作者: pus840 時(shí)間: 2025-3-24 12:48 作者: poliosis 時(shí)間: 2025-3-24 17:33
Patrice Chalin,Peter Grogonoer weniger ausgepragten entzundlichen Ver- anderungen einer Acne vulgaris. Er leidet, wenngleich die Erkran- kung "ungefahrlich" ist, besonders psychisch, aus zwei Grunden: ? Hauptlokalisation der Akne ist das Gesicht, und die entstellen- den Hautveranderungen entwickeln sich ? in einem Lebensalter,作者: 兩種語言 時(shí)間: 2025-3-24 22:14 作者: 設(shè)想 時(shí)間: 2025-3-25 02:38 作者: alcoholism 時(shí)間: 2025-3-25 06:03 作者: 潰爛 時(shí)間: 2025-3-25 09:02 作者: Bronchial-Tubes 時(shí)間: 2025-3-25 13:41
Steve Kingebenste Anzeige zu machen, da? seine hohe Regierung im Einklange mit den von der K?niglich Preu?ischen, der K?niglich Ilalienischen und der Gro?herzoglich Badischen Regierung bereits kund gegebenen Anschauungen der Gotthard-Route den Vorzug vor allen denjenigen weitern Linien einr?umt, welche Behufs作者: Scintillations 時(shí)間: 2025-3-25 19:50 作者: POINT 時(shí)間: 2025-3-25 22:29
Augusto Sampaio,Silvio Meiratz“ ein aktuelles Thema ist. In dem Bemühen um ein gründlicher und besser — also: theoretisch — begründetes Verst?ndnis des Zusammenhangs zwischen gesellschaftlicher Existenz und ihren naturgegebenen Bedingungen — also: um eine umfassendere Begründung von Human?kologie — bot sich die Gelegenheit, im作者: abolish 時(shí)間: 2025-3-26 01:15 作者: 現(xiàn)代 時(shí)間: 2025-3-26 06:54 作者: circumvent 時(shí)間: 2025-3-26 10:37 作者: 易于 時(shí)間: 2025-3-26 13:22 作者: Arthritis 時(shí)間: 2025-3-26 20:23 作者: Ancestor 時(shí)間: 2025-3-26 23:19 作者: 不連貫 時(shí)間: 2025-3-27 03:39 作者: 做作 時(shí)間: 2025-3-27 06:58 作者: 護(hù)身符 時(shí)間: 2025-3-27 12:11 作者: overweight 時(shí)間: 2025-3-27 14:22
David Duke,Roger Dukeihrer Bedeutung für die Qualit?t einer organisatorischen Gestaltungsl?sung gleichberechtigt nebeneinander. Beide Sichten müssen im weiteren spezifiziert und operationalisiert werden, damit sie bei der L?sung konkreter Gestaltungsprobleme einen nutzbaren Gestaltungsrahmen bilden k?nnen. Zur Darstellu作者: Tinea-Capitis 時(shí)間: 2025-3-27 18:10
J. C. P. Woodcock,Carroll Morganehungen aufdecken und Interpretationen zulassen, jedoch nicht das notwendige Ma? an Interpretationssicherheit gew?hrleisten. Hierzu bedarf es der Zusatzinformation. Wichtige Informationsquellen für den Analysten sind Gesch?ftsberichte, HV-Reden und -Stenogramme, Zwischenberichte, Kapitalerh?hungspro作者: CULP 時(shí)間: 2025-3-27 23:01 作者: 軌道 時(shí)間: 2025-3-28 02:27 作者: 你敢命令 時(shí)間: 2025-3-28 09:39 作者: 清醒 時(shí)間: 2025-3-28 11:05 作者: 諂媚于人 時(shí)間: 2025-3-28 14:38
Peter Haastrup,Christian Gramnen, ist die Klassifikation sekund?rer Komedonen nicht so einfach wie die prim?rer Komedonen. Sekund?re Komedonen variieren in Gr??e und Form erheblich. Sie k?nnen wie geschlossene oder offene Komedonen aussehen. Ihre sichere Beurteilung ist nur histologisch m?glich.作者: cunning 時(shí)間: 2025-3-28 22:20 作者: 極大的痛苦 時(shí)間: 2025-3-29 02:33
Debora Weber-Wulff?lle durch den chirurgischen Eingriff befriedigend therapiert (Tabelle 5.1). Die in der Literatur angeführten Heilungsraten (?cure rates“) differieren nicht zuletzt wegen der unterschiedlichen Kriterien, die für eine solche Heilung aufgestellt worden sind. Eine v?llige Normalisierung der GH-Sekretion würde bedeuten:作者: 等待 時(shí)間: 2025-3-29 04:59
Z specification of an object manager,tation during the development, this paper may also be useful as a Z tutorial. We conclude that formal methods are necessary for responsible programming and that automated tools are needed to assist specification development.作者: CURT 時(shí)間: 2025-3-29 11:14
Programming with VDM domains,the specifications can then be used directly during program development. The system strongly supports reuse of software. The transformation of specifications into programs becomes easier, testing and debugging time is significantly shortened.作者: MUTE 時(shí)間: 2025-3-29 12:09 作者: 錢財(cái) 時(shí)間: 2025-3-29 15:40 作者: 憤慨點(diǎn)吧 時(shí)間: 2025-3-29 22:33 作者: 移動(dòng) 時(shí)間: 2025-3-30 00:56
0302-9743 engineering, Z refers to Zermelo, a mathematician whose name is associated with set theory. Many computing science, programming and software engineering proceedings are published regularly. The ones by VDM Europe have the distinguished mark that they are concerned with bringing real theory to apply作者: progestogen 時(shí)間: 2025-3-30 06:45
eils im historischen Kontext betrachtet werden müssen. Dieser Titel erschien in der Zeit vor 1945 und wird daher in seiner zeittypischen politisch-ideologischen Ausrichtung vom Verlag nicht beworben.978-3-662-01969-6978-3-662-02265-8作者: Seizure 時(shí)間: 2025-3-30 09:57
D. Kato,T. Kikuchi,R. Nakajima,J. Sawada,H. Tsuikie Serienschnitte manche Befunde unerkannt geblieben. Der histologische Schnitt eines Pr?parates kann an einer Stelle normal aussehen, w?hrend Weiterschnitte bereits erhebliche pathologische Ver?nderungen erkennen lassen. Asymmetrische Verh?ltnisse sind für Akneeffloreszenzen typisch.作者: 連鎖 時(shí)間: 2025-3-30 16:13
Augusto Sampaio,Silvio Meiraellschaftlicher Existenz und ihren naturgegebenen Bedingungen — also: um eine umfassendere Begründung von Human?kologie — bot sich die Gelegenheit, im Gespr?ch mit Juristen und Naturwissenschaftlern diesen Zusammenhang am Beispiel des Bodenschutzes genauer zu betrachten.作者: 姑姑在炫耀 時(shí)間: 2025-3-30 17:46
Conference proceedings 1990t we are building. The papers of these proceedings basically fall into four major groups: Applications, Methodology, Formalisations, and Foundations. The Methodology group has been further subdivided into five areas: Specification Methodology, Design Methodology, Modularity, Object Orientedness, and Processes, Concurrency and Distributed Systems.作者: 暫停,間歇 時(shí)間: 2025-3-30 21:29 作者: 極力證明 時(shí)間: 2025-3-31 02:40 作者: 黑豹 時(shí)間: 2025-3-31 08:56
Danny B. Langem neuen Datensatz und multivariater Regressionsanalysen untersucht er 98 M&A-Transaktionen b?rsennotierter europ?ischer Banken zwischen 1985 und 2000, beleuchtet die ?konomische Sinnhaftigkeit der Bankenkonsolidierung und entwickelt konkrete Hinweise für den künftigen Vollzug wertschaffender Akquisitionen und Zusammenschlüsse von Banken..作者: Supplement 時(shí)間: 2025-3-31 12:08 作者: Hyperalgesia 時(shí)間: 2025-3-31 14:30 作者: Somber 時(shí)間: 2025-3-31 17:55 作者: 無彈性 時(shí)間: 2025-3-31 23:15
Modal logic programming, applied as a high level executable specification language especially in such domains as real-time, process control, distributed programming. This paper surveys several works in this direction which have been done in recent years at Kyoto University.作者: capsaicin 時(shí)間: 2025-4-1 05:05
Correctness in the small, and a theorem prover; it is specified using VDM (as described in [1]) and implemented in Prolog. This paper shows how VDM was used as a natural specification tool and contains in appendices some key functions in VDM and their translation into Prolog.作者: MOT 時(shí)間: 2025-4-1 06:31 作者: 曲解 時(shí)間: 2025-4-1 13:02 作者: 遺傳 時(shí)間: 2025-4-1 14:49
