Basic Constructions for the Definition of the Software Development Process with Formal Method

Kód výsledku v IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F61989100%3A27240%2F11%3A86078784" target="_blank" >RIV/61989100:27240/11:86078784 - isvavai.cz</a>
Výsledek na webu
—
DOI - Digital Object Identifier
—

Jazyk výsledku
angličtina
Název v původním jazyce
Basic Constructions for the Definition of the Software Development Process with Formal Method
Popis výsledku v původním jazyce
The formal specification of the software development process is the necessary step for the knowledgebase support of the process. The problem is the selection of the appropriate specification language. One way how to support a selection of the formal specification language is the knowledge what type of constructions should be supported. In this paper we focus on the modeling constructions that are used during the modeling of the software development process. These constructions should be supported then by the selected formal language.
Název v anglickém jazyce
Basic Constructions for the Definition of the Software Development Process with Formal Method
Popis výsledku anglicky
The formal specification of the software development process is the necessary step for the knowledgebase support of the process. The problem is the selection of the appropriate specification language. One way how to support a selection of the formal specification language is the knowledge what type of constructions should be supported. In this paper we focus on the modeling constructions that are used during the modeling of the software development process. These constructions should be supported then by the selected formal language.

Rok uplatnění
2011
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ů

Podobné výsledky(10)