ARTICLES

Filter  
Active filters 0
Remove
  

Refine your searches by:

Collections
Administration - Business
Electrical and electronic
Computing
Computing
Architecture and Urbanism
Agronomy and forestry
Biology
Social Sciences
Education
Statistics
all records (21)

Languages
Spanish
English
Portuguese

Countries
USA
Denmark
Indonesia
Spain
Peru
Australia
Austria
Belgium
Brazil
Colombia
all records (14)

Years
2020
2019
2018
2017
2016
2015
2013
2012
2011
2010
all records (18)

Filter  
 
64  Articles
1 of 7 pages  |  10  records  |  more records»
Only a few formal methods include descriptions of the network topology that the modelled system is deployed onto. In VDM Real-Time (VDM-RT) this has been enabled for distributed systems that have a static structure. However, when modelling dynamic systems... see more

All formally defined languages need to be given an unambiguous semantics such that the meaning of all models expressed using the language is clear. In this technical report a semantic model is provided for the Real-Time dialect of the Vienna Development M... see more

When a system specified using the Vienna Development Method (VDM) is realised using code-generation, no guarantees are currently made about the correctness of the generated code. In this technical report, we improve code-generation of  VDM models by ... see more

Progress report for the qualification exam report for PhD Student Kenneth Lausdahl. Initial work on enhancing tool support for the formal method VDM and the concept of unifying a abstract syntax tree with the ability for isolated extensions is described. ... see more

Scheduling is a classic problem in lecturing. Rooms, lecturers, times and scheduling constraints must be managed well to get an optimal schedule. University of Boyolali (UBY) also encounter the same scheduling problems. The problem was tried to be solved ... see more


Eduardo de Gregorio-GodeoSaarbrücken, Alemania: VDM, 2009

La reseña no presenta resumen.

Diesel Engine yang beroperasi pada salah satu pembangkit listrik di wilayah Sulawesi mengalami kerusakan pada turbocharger, indikasi sebelum kejadian unit trip/shutdown dan terindikasi di sistem Module Bearing Display Module (BDM) turbin dan kompresor dis... see more

1 of 7 pages  |  10  records  |  more records»