Filters








3,978 Hits in 3.5 sec

VDMTools

Unknown
2008 SIGPLAN notices  
The paper presents the components of VDMTools and reports recent experience using them for the development of large models.  ...  Three dialects of the language are supported: the ISO standard VDM specification language with support for modular structuring, the extension VDM++ which supports objectoriented structuring and concurrency  ...  Applying VDM involves developing a system model expressed in a (formal) modeling language.  ... 
doi:10.1145/1361213.1361214 fatcat:hfbpugkzarevxa4syihfat2xae

Experience of introducing the Vienna development method into an industrial organisation [chapter]

M. I. Jackson, B. T. Denvir, R. C. Shaw
1985 Lecture Notes in Computer Science  
This is necessary to support the development of large specifications by different analysts, possibly in different teams.  ...  The membership is drawn from all actively involved units (i.e. those who are applying VDM or who have sent individuals on VDM courses).  ... 
doi:10.1007/3-540-15199-0_27 fatcat:ocrbu3m64fdp3azaktasgxcnci

Software Evolution Strategy Evaluation: Industrial Case Study Applying Value-Based Decision Model

Tero Tilus, Jussi Koskinen, Jarmo J. Ahonen, Heikki Lintinen, Henna Sivula, Irja Kankaanpää
2006 Business Information Systems  
VDM has been applied in case of a production-use, large-scale industrial legacy system. Results producedb y VDM, VDM's evaluation, and system evolution strategy recommendations are presented.  ...  An industrial case study applying Value-Based D ecision Model (VDM) for software evolution strategy evaluations is presented.  ...  VDM: Value-Based Decision Model VDM [20] is a model developed by Visaggio. It supports the selection of the most suitable software evolution strategy to be applied.  ... 
dblp:conf/bis/TilusKALSK06 fatcat:5m44mw5qyzbhdazqbrj3baz3ae

Page 154 of None Vol. 168, Issue 1 [page]

1952 None  
This assay of VDM activity depends largely upon a reduction in the sensitivity of vessels in the mesentery of the anesthetized but unshocked test rat to topically applied epi nephrine (8).  ...  In any case, the specific relationship of VDM to the development of irreversi bility cannot be tirmly established on the basis of the rat mesentery test.  ... 

Performance Evaluation of A Testing Framework Using QuickCheck and Hadoop

Yusuke Wada, Shigeru Kusakabe
2012 Journal of Information Processing  
During model development, we can test executable specifications in VDM-SL and VDM++.  ...  We observed effect to coverage and evaluated scalability in testing large amounts of data for executable specifications in our approaches.  ...  Coverage Generally speaking, higher test coverage rate leads to higher confidence in developing software. This also applies to our approach.  ... 
doi:10.2197/ipsjjip.20.340 fatcat:iyq24bxzcvbaliljm24kft32jy

What Top-Level Software Engineers Tackle after Learning Formal Methods: Experiences from the Top SE Project [chapter]

Fuyuki Ishikawa, Kenji Taguchi, Nobukazu Yoshioka, Shinichi Honiden
2009 Lecture Notes in Computer Science  
Because of the Japanese companies: CSK (VDM Toolbox) and Sony/Felica (application to chips on so large number of mobile phones)Many students chose Domain-Specific supportTheir comments were like "I like  ...  program Tackle problems in a certain project by choosing and applying learnt methods/tools Domain-specific finer-grained supportTackle problems in applying learnt methods/tools by developing domain-specific  ... 
doi:10.1007/978-3-642-04912-5_5 fatcat:yk6nabuivvactpfdcy66hetpy4

Atomic resolution structural and analytical characterization of layered precipitates in special alloys for high-temperature applications

2019 Proceedings International  
The VDM 780 Premium alloy has been recently developed [1] in order to push even further the temperature limits of the widely used Alloy 718.  ...  Alloy 718) are largely used nowadays for manufacturing metallic components like gas turbine engine disc components for land-based power generation and aircraft propulsion to be exploited at high temperatures  ...  The VDM 780 Premium alloy has been recently developed [1] in order to push even further the temperature limits of the widely used Alloy 718.  ... 
doi:10.33263/proceedings11.00080010 fatcat:wf2jejt2ybd6tlsca7akaaznpy

The evolution of VDM tools from the 1990s to 2015 and the influence of CAMILA

Peter Gorm Larsen, John Fitzgerald
2016 Journal of Logical and Algebraic Methods in Programming  
We briefly compare the VDM tool story with the approaches taken by other formalisms that have been applied in industry.  ...  The Vienna Development Method (VDM) is one of the most mature formal methods, with a history of cost-effective industrial deployment.  ...  VDM and its tools have benefitted from the contributions of many research  ... 
doi:10.1016/j.jlamp.2015.10.001 fatcat:epvsksks2vd7ja5hka2owuh5uq

VDMS: Efficient Big-Visual-Data Access for Machine Learning Workloads [article]

Luis Remis, Vishakha Gupta-Cledat, Christina Strong, Ragaad Altarawneh
2018 arXiv   pre-print
VDMS differs from existing large scale photo serving, video streaming, and textual big-data management systems due to its primary focus on supporting machine learning and data analytics pipelines that  ...  We introduce the Visual Data Management System (VDMS), which enables faster access to big-visual-data and adds support to visual analytics.  ...  development of VDMS evolves, we will be able to achieve similar levels of expressiveness compared to more mature query languages.  ... 
arXiv:1810.11832v3 fatcat:qlfsf6m3crelxlpjeandtmwvs4

Formalism Challenges of the Cougaar Model Driven Architecture [chapter]

Shawn A. Bohner, Boby George, Denis Gračanin, Michael G. Hinchey
2004 Lecture Notes in Computer Science  
As part of its research and evolution, Cougaar is being studied for application to large, logistics-based applications for the Department of Defense (DoD).  ...  assembly in the large and transformation in the small.  ...  We would like to acknowledge the efforts, ideas, and support that we received from our research team including Todd Carrico, Sandy Ronston, Tim Tschampel, and H. L a y Singh.  ... 
doi:10.1007/978-3-540-30960-4_5 fatcat:qd6onigponb6tprv7rhwfrdwwm

Proving consistency of VDM models using HOL

Sander D. Vermolen, Jozef Hooman, Peter Gorm Larsen
2010 Proceedings of the 2010 ACM Symposium on Applied Computing - SAC '10  
We have developed a tool that automatically translates a large subset of VDM and its associated proof obligations, which ensure model consistency, to the theorem prover HOL.  ...  Hence, it is important to have access to efficient proof support which is able to automate a large part of the consistency proofs.  ...  Acknowledgments The authors wish to thank Nick Battle, John Fitzgerald, and Frits Vaandrager for their valuable comments and support when carrying out this work.  ... 
doi:10.1145/1774088.1774608 dblp:conf/sac/VermolenHL10 fatcat:7cjhplghnvgela5nv4vui7a4ke

Hepatorenal Factors in Circulatory Homeostasis

EPHRAIM SHORR, BENJAMIN W. ZWEIFACH, ROBERT F. FURCHGOTT, SILVIO BAEZ
1951 Circulation  
This is in direct accord with the logical development of our concept. Knisely has called attention to the large number of sphincters in the vascular bed of the liver.”  ...  and precapillaries to topically applied epinephrine.  ... 
doi:10.1161/01.cir.3.1.42 pmid:14792729 fatcat:43wvcd4aqfhcrkkrluqggase6u

GMCAO simulation tool development [article]

Valentina Viotto, Elisa Portaluri, Roberto Ragazzoni, Carmelo Arcidiacono, Maria Bergomi, Marco Dima, Jacopo Farinato, Davide Greggio, Demetrio Magrin
2018 arXiv   pre-print
We developed a simulator, which numerically combines, in a Layer-Oriented fashion, the measurements of a given number of wavefront sensors, each dedicated to one reference star, to optimize the performance  ...  Several details, including, for instance, how the number and conjugation heights of the VDMs are chosen in the simulation code, are briefly given.  ...  CONCLUSIONS We implemented a code to estimate the performance of a GMCAO system, applied to a general telescope, and tested it with the E-ELT parameters, in different fields.  ... 
arXiv:1808.00360v1 fatcat:xlt54cjc35eqvk4elllp6jsjqm

Combining VDM-SL specifications with C++ code [chapter]

Brigitte Fröhlich, Peter Gorm Larsen
1996 Lecture Notes in Computer Science  
The integration of code is supported by an extension to the IFAD VDM-SL Toolbox such that heterogeneous models can be interpreted.  ...  In both cases it may be felt that it is not worth spending time on developing a detailed formal specification of the entire system.  ...  We are grateful to the support of the European Commission (Comett Grant) for Brigitte FrShlich's stay at IFAD.  ... 
doi:10.1007/3-540-60973-3_87 fatcat:7afsnzsyffh37emeybn56pvrym

Page 65 of Circulation Vol. 3, Issue 1 [page]

1951 Circulation  
. * Kidney covered loosely with fish skin to prevent development of collateral circulation. ) Death Coma | 65 Coma | 57 Death | mm.  ...  Subsequent blood samples showed a progressive increase in VDM content. At death, the liver contained large amounts of VDM and had completely lost its inac- tivating capacity.  ... 
« Previous Showing results 1 — 15 out of 3,978 results