Vše

Co hledáte?

Vše
Projekty
Výsledky výzkumu
Subjekty

Rychlé hledání

  • Projekty podpořené TA ČR
  • Významné projekty
  • Projekty s nejvyšší státní podporou
  • Aktuálně běžící projekty

Chytré vyhledávání

  • Takto najdu konkrétní +slovo
  • Takto z výsledků -slovo zcela vynechám
  • “Takto můžu najít celou frázi”

Modeling System Requirements Using Use Cases and Petri Nets

Identifikátory výsledku

  • Kód výsledku v 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>

  • Výsledek na webu

    <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

Alternativní jazyky

  • Jazyk výsledku

    angličtina

  • Název v původním jazyce

    Modeling System Requirements Using Use Cases and Petri Nets

  • Popis výsledku v původním jazyce

    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.

  • Název v anglickém jazyce

    Modeling System Requirements Using Use Cases and Petri Nets

  • Popis výsledku anglicky

    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.

Klasifikace

  • Druh

    D - Stať ve sborníku

  • CEP obor

  • OECD FORD obor

    20206 - Computer hardware and architecture

Návaznosti výsledku

  • Projekt

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

  • Návaznosti

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

Ostatní

  • Rok uplatnění

    2016

  • Kód důvěrnosti údajů

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

Údaje specifické pro druh výsledku

  • Název statě ve sborníku

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

  • ISBN

    978-1-61208-498-5

  • ISSN

  • e-ISSN

  • Počet stran výsledku

    6

  • Strana od-do

    160-165

  • Název nakladatele

    Xpert Publishing Services

  • Místo vydání

    Řím

  • Místo konání akce

    Řím

  • Datum konání akce

    21. 8. 2016

  • Typ akce podle státní příslušnosti

    WRD - Celosvětová akce

  • Kód UT WoS článku