All

What are you looking for?

All
Projects
Results
Organizations

Quick search

  • Projects supported by TA ČR
  • Excellent projects
  • Projects with the highest public support
  • Current projects

Smart search

  • That is how I find a specific +word
  • That is how I leave the -word out of the results
  • “That is how I can find the whole phrase”

Modeling System Requirements Using Use Cases and Petri Nets

The result's identifiers

  • Result code in IS VaVaI

    <a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216305%3A26230%2F16%3APU121632" target="_blank" >RIV/00216305:26230/16:PU121632 - isvavai.cz</a>

  • Result on the web

    <a href="http://www.thinkmind.org/index.php?view=article&articleid=icsea_2016_6_40_10186" target="_blank" >http://www.thinkmind.org/index.php?view=article&articleid=icsea_2016_6_40_10186</a>

  • DOI - Digital Object Identifier

Alternative languages

  • Result language

    angličtina

  • Original language name

    Modeling System Requirements Using Use Cases and Petri Nets

  • Original language description

    The fundamental problem associated with software development is a correct identification, specification and subsequent implementation of the system requirements. To requirement specifications, designers often creates use case diagrams from Unified Modeling Language (UML). These models are then developed by further UML models. To validate requirements, its executable form has to be obtained or the prototype has to be developed. It can conclude in wrong requirement implementations and incorrect validation process. The approach presented in this work focuses on formal requirement modelling combining the classic models for requirements specification (use case diagrams) with models having a formal basis (Petri Nets). Created models can be used in all development stages including requirements specification, verification, and implementation. All design and validation steps are carries on the same models, which avoids mistakes caused by model implementation.

  • Czech name

  • Czech description

Classification

  • Type

    D - Article in proceedings

  • CEP classification

  • OECD FORD branch

    20206 - Computer hardware and architecture

Result continuities

  • Project

    <a href="/en/project/LQ1602" target="_blank" >LQ1602: IT4Innovations excellence in science</a><br>

  • Continuities

    P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)<br>S - Specificky vyzkum na vysokych skolach

Others

  • Publication year

    2016

  • Confidentiality

    S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

Data specific for result type

  • Article name in the collection

    ThinkMind ICSEA 2016, The Eleventh International Conference on Software Engineering Advances

  • ISBN

    978-1-61208-498-5

  • ISSN

  • e-ISSN

  • Number of pages

    6

  • Pages from-to

    160-165

  • Publisher name

    Xpert Publishing Services

  • Place of publication

    Řím

  • Event location

    Řím

  • Event date

    Aug 21, 2016

  • Type of event by nationality

    WRD - Celosvětová akce

  • UT code for WoS article