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

Assert

書目名稱VDM ‘87. VDM - A Formal Method at Work影響因子(影響力)




書目名稱VDM ‘87. VDM - A Formal Method at Work影響因子(影響力)學(xué)科排名




書目名稱VDM ‘87. VDM - A Formal Method at Work網(wǎng)絡(luò)公開度




書目名稱VDM ‘87. VDM - A Formal Method at Work網(wǎng)絡(luò)公開度學(xué)科排名




書目名稱VDM ‘87. VDM - A Formal Method at Work被引頻次




書目名稱VDM ‘87. VDM - A Formal Method at Work被引頻次學(xué)科排名




書目名稱VDM ‘87. VDM - A Formal Method at Work年度引用




書目名稱VDM ‘87. VDM - A Formal Method at Work年度引用學(xué)科排名




書目名稱VDM ‘87. VDM - A Formal Method at Work讀者反饋




書目名稱VDM ‘87. VDM - A Formal Method at Work讀者反饋學(xué)科排名

NATTY

確保

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)

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

記成螞蟻

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

親愛

,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

食料

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

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

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