Suggested Topics within your search.
Showing 1 - 19 results of 19 for search '"Vienna Development Method"', query time: 2.22s Refine Results
  1. 1
    Development of a Tool for Extended Place/Transition Net-Based Mutation Testing and Its Application Example
    by Tomohiko Takagi, Shogo Morimoto, Tetsuro Katayama
    Published 2017-08-01
    Subjects: “...Vienna Development Method...”
    Get full text
    Article
  2. 2
    Hybrid subnet-based node failure recovery formal procedure in wireless sensor and actor networks
    by Hamra Afzaal, Nazir Ahmad Zafar, Fahad Alhumaidan
    Published 2017-04-01
    “..., and gateways as composite objects in Vienna Development Method—specification language. The dynamic model...”
    Get full text
    Article
  3. 3
    Prototype of a Decision Table Generation Tool from the Formal Specification
    “... Development Method) to write the formal specification. We applied some general specifications to the prototype...”
    Get full text
    Article
  4. 4
    Application of Pairwise Testing into BWDM which is a Test Case Generation Tool for the VDM++ Specification
    “...Verification tool for Vienna Development Method (BWDM) is a test case generation tool for the VDM...”
    Get full text
    Article
  5. 5
    Proposal of an Algorithm to Generate VDM++ Specification Based on its Grammar by Using Word Lists Extracted from the Natural Language Specification
    “...The natural language includes ambiguous expressions. Vienna Development Method (VDM) is one...”
    Get full text
    Article
  6. 6
    Semântica e uma ferramenta para o método SADT
    by Ribeiro, Adagenor Lobato
    Published 2010
    “... - Vienna Development Method; as well as an execution proposal of specifications through simulation...”
    Get full text
    Others
  7. 7
    Semântica e uma ferramenta para o método SADT
    by Ribeiro, Adagenor Lobato
    Published 2010
    “... - Vienna Development Method; as well as an execution proposal of specifications through simulation...”
    Get full text
    Others
  8. 8
    Semântica e uma ferramenta para o método SADT
    by Ribeiro, Adagenor Lobato
    Published 2010
    “... - Vienna Development Method; as well as an execution proposal of specifications through simulation...”
    Get full text
    Others
  9. 9
    Algorithm and Formal Model of Recovering Network Connectivity in Battlefield Surveillance
    by Nazir Ahmad Zafar, Hamra Afzaal
    Published 2017-03-01
    “... by developing formal specification using Vienna Development Method-Specification Language (VDM-SL). Invariants...”
    Get full text
    Article
  10. 10
    Hoare logic and VDM : machine-checked soundness and completeness proofs
    by Kleymann, Thomas
    Published 1998
    “... and the operation decomposition rules of the Vienna Development Method (VDM) with respect to operational semantics...”
    Get full text
  11. 11
    Robotic Design Choice Overview Using Co-Simulation and Design Space Exploration
    “... components. The proposed co-modeling method utilizes the Vienna development method (VDM) and MATLAB...”
    Get full text
    Article
  12. 12
    Formal Modeling of IoT-Based Distribution Management System for Smart Grids
    View Fulltext in Publisher
    Article
  13. 13
    Reconfigurable integrated modular avionics
    by Omiecinski, Tomasz Adam
    Published 1999
    “... is formally specified with the use of the Vienna Development Method. The safety properties of the scheme...”
    Get full text
  14. 14
    On the mechanisation of the logic of partial functions
    by Lovert, Matthew James
    Published 2013
    “... is the logic underlying the Vienna Development Method. LPF is a non-classical three-valued logic designed...”
    Get full text
  15. 15
    Um sistema de apoio à gerência de redes locais
    by Dotti, Fernando Luis
    Published 2010
    “..., foi utilizado o método denotacional VDM (Vienna Development Method), [BJ078] e PON861. Para a...”
    Get full text
    Others
  16. 16
    Um sistema de apoio à gerência de redes locais
    by Dotti, Fernando Luis
    Published 2010
    “..., foi utilizado o método denotacional VDM (Vienna Development Method), [BJ078] e PON861. Para a...”
    Get full text
    Others
  17. 17
    Um sistema de apoio à gerência de redes locais
    by Dotti, Fernando Luis
    Published 2010
    “..., foi utilizado o método denotacional VDM (Vienna Development Method), [BJ078] e PON861. Para a...”
    Get full text
    Others
  18. 18
    An Object-oriented methodology for modern user interface development.
    Published 1991
    “... Development Method (VDM) --- p.A8 === Chapter A3.1 --- An Overview of VDM --- p.A8 === Chapter A3.2...”
    Get full text
    Get full text
    Others
  19. 19
    The Harvest Coach Architecture: Embedding Deviation-Tolerance in a Harvest Logistic Solution
    “... domain and embeds them into the Vienna developed method (VDM) model at the core of our harvest logistics...”
    Get full text
    Article
Search Tools: Get RSS Feed — Email this Search