標(biāo)題: Titlebook: VDM ‘88. VDM - The Way Ahead; 2nd VDM-Europe Sympo Robin E. Bloomfield,Lynn S. Marshall,Roger B. Jone Conference proceedings 1988 Springer- [打印本頁] 作者: CHAFF 時間: 2025-3-21 19:32
書目名稱VDM ‘88. VDM - The Way Ahead影響因子(影響力)
書目名稱VDM ‘88. VDM - The Way Ahead影響因子(影響力)學(xué)科排名
書目名稱VDM ‘88. VDM - The Way Ahead網(wǎng)絡(luò)公開度
書目名稱VDM ‘88. VDM - The Way Ahead網(wǎng)絡(luò)公開度學(xué)科排名
書目名稱VDM ‘88. VDM - The Way Ahead被引頻次
書目名稱VDM ‘88. VDM - The Way Ahead被引頻次學(xué)科排名
書目名稱VDM ‘88. VDM - The Way Ahead年度引用
書目名稱VDM ‘88. VDM - The Way Ahead年度引用學(xué)科排名
書目名稱VDM ‘88. VDM - The Way Ahead讀者反饋
書目名稱VDM ‘88. VDM - The Way Ahead讀者反饋學(xué)科排名
作者: 鈍劍 時間: 2025-3-21 21:51
A three-valued logic for software specification and validation,tudy some of their basic properties..The second part of the paper is devoted to the development of a formal deductive system of inference rules for a three-valued logic. We use the method of semantic tableaux (slightly modified to deal with three-valued formulas) to develop a Gentzenstyle system of 作者: HPA533 時間: 2025-3-22 00:26 作者: 胰島素 時間: 2025-3-22 06:29
Understanding an informal description: Office documents architecture, an ISO standard,作者: 雪崩 時間: 2025-3-22 08:49
Report from the BSI panel for the standardisation of VDM (IST/5/50),作者: Encoding 時間: 2025-3-22 14:02
,Formal methods in standards—A report from the BCS working group,作者: 托運(yùn) 時間: 2025-3-22 18:45 作者: Fallibility 時間: 2025-3-22 23:12
Robin E. Bloomfield,Lynn S. Marshall,Roger B. Jone作者: constellation 時間: 2025-3-23 04:21
0302-9743 tion of VDM. The proceedings are of interest to all those concerned with the application of more rigorous approaches to software development and the associated 978-3-540-50214-2978-3-540-45955-2Series ISSN 0302-9743 Series E-ISSN 1611-3349 作者: 人類的發(fā)源 時間: 2025-3-23 08:21
of the possible approaches to the treatment of mucus hypersecretion and the interaction of these drugs with airway mucus. Written by leading experts in the field, each contribution provides a comprehensive review of its particular subject. Reflecting the latest advances in this important area of res作者: 熄滅 時間: 2025-3-23 10:36 作者: 發(fā)源 時間: 2025-3-23 17:29
J. R. Abrial on the modification of bronchial reactivity to direct and indirect challenges [7–15]. This chapter reviews what is known of the natriuretic peptides, their receptors and signal transduction pathways and summarise their functional effects on airways smooth muscle.作者: 宣傳 時間: 2025-3-23 19:24
S. J. Goldsacklationen bei akademischen Arbeitskr?ften von 1,1 bis 2,0, d.h. einer offenen Stelle steht im ersten Fall weniger, im zweiten Fall mehr als eine arbeitssuchende Kraft (rechnerisch!) gegenüber. Die Dauer der Arbeitsplatzsuche oszilliert um einen statistischen Mittelwert von 59 Wochen; sie betr?gt mini作者: resuscitation 時間: 2025-3-23 23:01 作者: myalgia 時間: 2025-3-24 03:15 作者: 使激動 時間: 2025-3-24 09:16
Donald I. Goodrface receptors on airway smooth muscle cells. Bronchoconstriction and bronchodilation may therefore be viewed in terms of receptor activation or blockade and the contractile state of airway smooth muscle is probably the resultant effect of interacting, excitatory, and inhibitory receptors.作者: Optometrist 時間: 2025-3-24 11:15
Maurice Naftalinement if the latter are strong. Thus it is not surprising that a very large number of sensory inputs to the central nervous system affect tracheobronchial smooth muscle tone. These reflexes have been studied mainly in experimental animals with inputs made as pure as possible, and motor responses iso作者: 微枝末節(jié) 時間: 2025-3-24 18:34 作者: Charitable 時間: 2025-3-24 21:24 作者: Spartan 時間: 2025-3-25 02:51
D. Andrews the chest wall. Airway narrowing is an important defence mechanism against inhaled irritants and particles. An abnormal constriction of the bronchial tree, such as in asthma and chronic bronchitis, will result in a diminished capacity of the lungs to oxygenate the blood, which will eventually restr作者: 手工藝品 時間: 2025-3-25 04:37 作者: 的’ 時間: 2025-3-25 09:19 作者: 獨(dú)白 時間: 2025-3-25 14:27
S. J. Goldsack (IBV Nr. 29 v. 20. Juli 1988). W?hrend aber die Zahl der Arbeitslosen aller Qualifikationsstufen seit fünf Jahren stagniert, expandierte im selben Zeitraum die Zahl der Arbeitslosen mit Hochschul- oder Fachhochschulausbildung um 32 Prozent (ANBA 5/1989). Aufgrund der mittlerweile erreichten Gr??eno作者: Scleroderma 時間: 2025-3-25 19:17 作者: BOGUS 時間: 2025-3-25 23:15
XinJie Jiang,YongSen Xun hat auch die Wundheilkunst ihren Anteil. Seit 100 Jahren Me?t ein eindrucksvoller Strom von M?glichkeiten und staunenswerten Erfolgen darüber durch unser Leben. Daran hat auch diese Klinik, die ihr Zentenarium feiert, gewichtig teilgenommen, auff?llig und unauff?llig, bleibend und ephemer, nur vor作者: Inordinate 時間: 2025-3-26 01:33
C. B. Jones,P. A. Lindsayten geordnet dargestellt. Dies umfa?t die strukturelle Entwicklung, die bauliche und personelle Ausstattung sowie die wissenschaftlichen und klinischen Schwerpunkte in den einzelnen Kliniken und Epochen. Alle ehemaligen und gegenw?rtigen Lehrstuhlinhaber des HNO-Fachgebietes und ihre habilitierten M作者: 集中營 時間: 2025-3-26 06:34 作者: 無辜 時間: 2025-3-26 12:17
G. T. Scullardbalen Konzepts" mit dem System der Akkreditierung und Zertifizierung eine europ?ische Verwaltungsstruktur geschaffen. Deren tragendes Element bilden Private, die als Benannte Stellen im Wege der Zertifizierung über die Marktzulassung von Produkten entscheiden. Die mitgliedsstaatlichen Verwaltungen b作者: Keshan-disease 時間: 2025-3-26 13:48 作者: 項目 時間: 2025-3-26 20:42 作者: Axillary 時間: 2025-3-26 23:46 作者: progestin 時間: 2025-3-27 04:22 作者: 連接 時間: 2025-3-27 07:49 作者: disparage 時間: 2025-3-27 13:26 作者: 打擊 時間: 2025-3-27 16:24 作者: 過剩 時間: 2025-3-27 20:20
NUSL: An executable specification language based on data abstraction,dule construct, it is convenient to use NUSL to write large specifications. Because the language is executable, a specification in NUSL may be viewed as a prototype of the specified system and be executed on the supporting system..The supporting system provides static checking and dynamic execution facilities.作者: 松馳 時間: 2025-3-27 23:40
0302-9743 ment Method, is a formal method for software engineering. It is being applied to an increasing number of projects by companies throughout Europe and there is an active international research programme supporting this process. "VDM - The Way Ahead" is the second of a series of symposia sponsored by t作者: 無法解釋 時間: 2025-3-28 05:11
Clive Rugglesregulating airways smooth muscle contractility. This chapter will examine some of the ways in which cartilage can influence the contractile properties of airways smooth muscle. The chapter updates our earlier work in this area [1].作者: Autobiography 時間: 2025-3-28 10:14
XinJie Jiang,YongSen Xuunser Leben. Daran hat auch diese Klinik, die ihr Zentenarium feiert, gewichtig teilgenommen, auff?llig und unauff?llig, bleibend und ephemer, nur vorübergehend, und damit habe ich schon die Blickwinkel eingestellt, die ich Sie bitte, mit mir auszuleuchten [16].作者: Efflorescent 時間: 2025-3-28 14:22
Structuring for the VDM specification language,les may . and . constructs. A parameterised module may be . by another module. We define an abstract syntax and give a compositional denotational semantics. Context Conditions are discussed informally, but are not set out in any detail.作者: Cubicle 時間: 2025-3-28 14:59 作者: 必死 時間: 2025-3-28 22:04 作者: Defraud 時間: 2025-3-28 23:05
NUSL: An executable specification language based on data abstraction,cation language is to be used. This paper describes the specification language NUSL which has a supporting system..NUSL is an applicative executable specification language, centered around the concept of data abstraction, with module construct in it. Both the algebraic and the model-oriented specifi作者: Aspirin 時間: 2025-3-29 05:35 作者: 條街道往前推 時間: 2025-3-29 08:06 作者: Critical 時間: 2025-3-29 15:26
The VIP VDM Specification Language,ation constructs for structuring specifications, and with constructs for expressing temporal aspects of the concurrent execution of operations which interfere via state variables. VVSL was designed and is being used in the ESPRIT project 1283: VIP..The modularisation and parameterisation constructs 作者: instulate 時間: 2025-3-29 15:48 作者: 不能逃避 時間: 2025-3-29 19:50 作者: 離開就切除 時間: 2025-3-30 00:00
Towards a formal definition of GKS and other graphics standards,sor to GKS, within the context of a Computer Graphics Reference Model. Either way (or both), there is a growing body of work which should aid the generally still slow progress towards the formal development and expression of future international graphics standards.作者: Grandstand 時間: 2025-3-30 06:41
Specification of an operating system kernel forest and VDM compared,its both the effects of actions and the circumstances in which they are to be invoked to be defined. This paper uses the example of a real time operating system kernel to compare the specifications in VDM with those in MAL.作者: 規(guī)章 時間: 2025-3-30 10:27
The formal definition of modula-2 and its associated interpreter,ta IV, together with a rigorously verified interpreter derived directly from the definition. In the process of producing a good quality document of the formal definition of Modula-2, two by-products will also be developed and applied. They are a VDM structure editor and an environment to generate IAT.X files from the VDM structure editor.作者: FOVEA 時間: 2025-3-30 12:59 作者: PANG 時間: 2025-3-30 18:22
The use of VDM within the Alvey Flagship project,ronment which might not otherwise have been considered in a formal methods project. Hopefully this use of a declarative environment will give us great benefits in terms of fine-grain concurrency when we are able to develop our software on the Flagship parallel hardware.作者: ascetic 時間: 2025-3-30 21:47
Correctness for beginners,Stepwise refinement can be formalised in a natural way by regarding specifications as unimplemented program components. We present a graphical notation for specifications and their refinement rules which supports this approach. The resulting development style is proposed as an appropriate model for introductory programming instruction.作者: 碎石頭 時間: 2025-3-31 01:08
