標(biāo)題: Titlebook: VDM ‘87. VDM - A Formal Method at Work; VDM-Europe Symposium Dines Bj?rner,Cliff B. Jones,Erich J. Neuhold Conference proceedings 1987 Spri [打印本頁(yè)] 作者: Assert 時(shí)間: 2025-3-21 17:39
書(shū)目名稱(chēng)VDM ‘87. VDM - A Formal Method at Work影響因子(影響力)
書(shū)目名稱(chēng)VDM ‘87. VDM - A Formal Method at Work影響因子(影響力)學(xué)科排名
書(shū)目名稱(chēng)VDM ‘87. VDM - A Formal Method at Work網(wǎng)絡(luò)公開(kāi)度
書(shū)目名稱(chēng)VDM ‘87. VDM - A Formal Method at Work網(wǎng)絡(luò)公開(kāi)度學(xué)科排名
書(shū)目名稱(chēng)VDM ‘87. VDM - A Formal Method at Work被引頻次
書(shū)目名稱(chēng)VDM ‘87. VDM - A Formal Method at Work被引頻次學(xué)科排名
書(shū)目名稱(chēng)VDM ‘87. VDM - A Formal Method at Work年度引用
書(shū)目名稱(chēng)VDM ‘87. VDM - A Formal Method at Work年度引用學(xué)科排名
書(shū)目名稱(chēng)VDM ‘87. VDM - A Formal Method at Work讀者反饋
書(shū)目名稱(chēng)VDM ‘87. VDM - A Formal Method at Work讀者反饋學(xué)科排名
作者: NATTY 時(shí)間: 2025-3-21 23:00 作者: 確保 時(shí)間: 2025-3-22 01:28
Mícheál Mac an Airchinnighce between spasticity and voluntary muscle activation which is crucial for an improvement of motor performance during gait. Seven patients have been neurophysiologically evaluated by the use of a Cibex apparatus measuring torque and movement velocity of the lower limbs simultaneously with static and dynamic recordings of the EMG.作者: 勉強(qiáng) 時(shí)間: 2025-3-22 05:06
Experience using VDM in STC,troduction of formal methods into system and software design is no exception. Before the widespread use of formal methods can be achieved, it will be necessary for the IT industry to convince itself that the methods are genuinely usable in an industrial context, can be made to fit within the market 作者: 記成螞蟻 時(shí)間: 2025-3-22 10:44
Experience with VDM in NORSK DATA, multi-target compiler system has been developed using the Vienna Development Method (VDM) and its specification language, . A common intermediate language has been derived from the denotational semantic specifications of the source languages and the compiling algorithms have been developed. The for作者: osculate 時(shí)間: 2025-3-22 15:09 作者: 親愛(ài) 時(shí)間: 2025-3-22 19:43
,The stepwise development of software development graphs — Meta-programming VDM developments,- diagram" of fig.3..As a planning aid, drawing such simple sequences of boxes as shown in fig. 3. really is of no help. In this paper we shall carefully develop an example, so-called software development graph. Thus from a graph like fig. 3. we shall arrive at a graph like that of fig. 9, which is 作者: 食料 時(shí)間: 2025-3-22 22:42
VDM as a specification method for telecommunications software, start by changeing low level specifications while still keeping them close to the implementation language and to a smoothly extended environment..So use and adaption to a given context of "the Method" have been of interest here. Our message was: create libraries of specified programs close to the a作者: FELON 時(shí)間: 2025-3-23 02:19
Support environments for VDM, an environment giving support in the syntactic generation of formal objects, such as specifications..The IPSE 2.5 system is an attempt to produce an industrial scale system to support the use of formal methods over the whole of a software development life cycle.作者: entail 時(shí)間: 2025-3-23 08:29
Development and application of a META IV compiler,icated enough to extend that method to a fully automated one is described. After the introduction of a compilable subset of . the implementation of fixpoints and implicitly defined sets, maps and tuples will be discussed. Another issue is the question how to manage I/O for a compiled . specification作者: 勤勞 時(shí)間: 2025-3-23 13:40 作者: Servile 時(shí)間: 2025-3-23 16:25
Denotational engineering or from denotations to syntax,d syntax is only a user-visible representation of these mechanisms, we suggest that denotations be developed in the first place and that syntax be derived from them later. That viewpoint is opposite to the traditional (descriptive) style where denotational techniques are used in assigning a meaning 作者: 憤世嫉俗者 時(shí)間: 2025-3-23 19:31
A type model for VDM,tricting the use of Scott domain theory to the provision of types for the continuous functions and . mappings. An objective of this work was to give a simple account of recursively defined data types not involving the full apparatus surrounding the use of Scott domain theory. To do this, various “ty作者: 我怕被刺穿 時(shí)間: 2025-3-24 01:59 作者: Nibble 時(shí)間: 2025-3-24 03:24
,A formal semantics for a DataFlow Machine — Using VDM, an extension of the traditional VDM methods..The semantics is defined in terms of two fixed-point expressions over a relational domain. Some general and specific properties of such a semantics are presented.作者: 擁擠前 時(shí)間: 2025-3-24 07:58
Experience using VDM in STC,DM to develop real systems and the benefits which we feel have been achieved. At the same time, some limitations of the existing methods have been noted, giving pointers for further development of the technology.作者: doxazosin 時(shí)間: 2025-3-24 12:18 作者: 自傳 時(shí)間: 2025-3-24 17:26 作者: 索賠 時(shí)間: 2025-3-24 19:11 作者: 高深莫測(cè) 時(shí)間: 2025-3-25 01:25
VDM as a specification method for telecommunications software,rea of application and the implementation language..Things reported on here are still in their infancy and the author would like to thank all those who have and will answer his bothering questions about telephones.作者: 效果 時(shí)間: 2025-3-25 04:34
Development and application of a META IV compiler,. The automatic generation of a compiler for the example language PLO [Wir 77] will show that the new . compiler enables automatic transformation of . compiler specifications into executable programs.作者: 身心疲憊 時(shí)間: 2025-3-25 11:24 作者: STRIA 時(shí)間: 2025-3-25 14:16 作者: 燒烤 時(shí)間: 2025-3-25 17:31 作者: reject 時(shí)間: 2025-3-25 20:29 作者: defendant 時(shí)間: 2025-3-26 02:07 作者: 啟發(fā) 時(shí)間: 2025-3-26 07:14
R. J. Crispinapplications of the very active research area named spatial database systems. Consequently following the database approach, a GIS has to be seamless, i.e. store the complete area of interest (e.g. the whole world) in one database map. For exhibiting acceptable performance a seamless GIS has to use s作者: 變化 時(shí)間: 2025-3-26 08:39
Jan Storbank Pedersene spatial database system, integrating in a single model both alphanumeric and geometric data, is discussed. Such a database system, GéoSabrina, has been developed as an extension of an already existing relational database system. The system supports spatial data with corresponding spatial operators作者: 責(zé)問(wèn) 時(shí)間: 2025-3-26 12:58 作者: Platelet 時(shí)間: 2025-3-26 20:45 作者: gruelling 時(shí)間: 2025-3-27 00:52 作者: DEMUR 時(shí)間: 2025-3-27 01:35 作者: 吹牛大王 時(shí)間: 2025-3-27 08:57 作者: Statins 時(shí)間: 2025-3-27 11:05 作者: 國(guó)家明智 時(shí)間: 2025-3-27 16:39
Manfred Ha?1]. This ushered in the era of ablative therapy for arrhythmias. The rationale of ablation is that irreversible alteration can be brought on to a discrete anatomical substrate responsible for arrhythmia generation and/or perpetuation.作者: Flustered 時(shí)間: 2025-3-27 17:48
Andrzej Bliklekcrosses, or data on a sample of relatives drawn from a random mating population. For the former kind of data a ten-parameter model is proposed that subsumes, as special cases, one-locus, two-locus, polygenic, or mixed major locus/polygenic inheritance for a quantitative trait For the latter kind of作者: 防御 時(shí)間: 2025-3-28 01:51
Cydney Minkowitz,Peter Hendersonto treatment with external techniques of irradiation. and can be freed of internal pressure only through fluid-drainage operations, they have long been the targets of stereotactic operational treatment. principally using the method of implanting radioactive gold-198 and yttrium-90 (Talairach and Szi作者: CHOKE 時(shí)間: 2025-3-28 04:24 作者: RAG 時(shí)間: 2025-3-28 09:00 作者: 引起 時(shí)間: 2025-3-28 12:40 作者: Vo2-Max 時(shí)間: 2025-3-28 15:15
Peter Haff,Anders Olsen22 cases), bilateral cryodentatolysis (48 cases), associated cryopulvinarectomy and bilateral cryodentatolysis (10 cases), Foerster’s posterior rhizotomy (14 cases), selective posterior rhizotomy (24 cases), and functional posterior rhizotomy (62 cases).作者: FRAUD 時(shí)間: 2025-3-28 21:44
Kevin D. Joness at a dead end in this country” (the U.S.). At that time, many colleagues all over the world not only shared this pessimistic evaluation but were inclined to think that the era of stereotactic surgery as such was over, and that societies for stereotactic and functional neurosurgery continued to exi作者: 提升 時(shí)間: 2025-3-29 02:06
Thomas Letschertound efficiently (with as few disk accesses - or I/Os - as possible). The problem is arguably one of the most fundamental problems in spatial databases. Many indexes have been proposed for the problem and its variants.The R-tree for example can be used to solve the more general version of the problem where the data is rectangles.作者: PAC 時(shí)間: 2025-3-29 05:16 作者: amputation 時(shí)間: 2025-3-29 08:43
Manfred Ha?1]. This ushered in the era of ablative therapy for arrhythmias. The rationale of ablation is that irreversible alteration can be brought on to a discrete anatomical substrate responsible for arrhythmia generation and/or perpetuation.作者: Ardent 時(shí)間: 2025-3-29 12:24
D. Senospects. The follow-up of this new approach will be presented in 19 cases with at least 6 months control, and up to 42 months. The very favorable effects observed in the first series could be confirmed and extended to a larger group of patients during a longer period.作者: Definitive 時(shí)間: 2025-3-29 15:56 作者: coddle 時(shí)間: 2025-3-29 21:43
Kevin D. Joness at a dead end in this country” (the U.S.). At that time, many colleagues all over the world not only shared this pessimistic evaluation but were inclined to think that the era of stereotactic surgery as such was over, and that societies for stereotactic and functional neurosurgery continued to exist essentially because of intellectual inertia.作者: Brain-Imaging 時(shí)間: 2025-3-30 01:06 作者: 恃強(qiáng)凌弱的人 時(shí)間: 2025-3-30 07:33 作者: 暴露他抗議 時(shí)間: 2025-3-30 08:37 作者: follicular-unit 時(shí)間: 2025-3-30 14:52 作者: gimmick 時(shí)間: 2025-3-30 17:48 作者: Duodenitis 時(shí)間: 2025-3-30 22:15
VDM ‘87. VDM - A Formal Method at Work978-3-540-47740-2Series ISSN 0302-9743 Series E-ISSN 1611-3349 作者: Stable-Angina 時(shí)間: 2025-3-31 04:51 作者: Laconic 時(shí)間: 2025-3-31 07:24
S?ren PrehnA change point problem for certain conditional sample functionals is considered. This type of functionals includes the strength of a bundle of parallel filaments as a special case. The consistency along with a first order representation of the proposed procedure is established under appropriate regularity conditions.作者: OPINE 時(shí)間: 2025-3-31 11:10
B. Q. MonahanWe consider the rectilinear Steiner tree problem for . points that lie on a bounded number of horizontal lines. We present a specific dynamic programming algorithm to construct a Steiner minimal tree for such a set of points, with time complexity ..10.) and space complexity . (.5.).作者: 玉米 時(shí)間: 2025-3-31 15:02
Lecture Notes in Computer Sciencehttp://image.papertrans.cn/v/image/980037.jpg作者: 整頓 時(shí)間: 2025-3-31 19:19 作者: electrolyte 時(shí)間: 2025-3-31 23:51 作者: Ingredient 時(shí)間: 2025-4-1 03:45 作者: 平 時(shí)間: 2025-4-1 06:12 作者: ABOUT 時(shí)間: 2025-4-1 12:17 作者: CYT 時(shí)間: 2025-4-1 18:18
R. J. Crispinof GIS operations. The fruitfulness of this combination is based on the fact that spatial access methods efficiently provide the data at the time when computational geometry algorithms need it for processing. Additionally, this combination avoids page faults and facilitates the parallelization of th
