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影响因子(影响力)学科排名




书目名称VDM ‘87. VDM - A Formal Method at Work网络公开度




书目名称VDM ‘87. VDM - A Formal Method at Work网络公开度学科排名




书目名称VDM ‘87. VDM - A Formal Method at Work被引频次




书目名称VDM ‘87. VDM - A Formal Method at Work被引频次学科排名




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




书目名称VDM ‘87. VDM - A Formal Method at Work年度引用学科排名




书目名称VDM ‘87. VDM - A Formal Method at Work读者反馈




书目名称VDM ‘87. VDM - A Formal Method at Work读者反馈学科排名

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.

勉强

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