Basic Constructions for the Definition of the Software Development Process with Formal Method
The result's identifiers
Result code in 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>
Result on the web
—
DOI - Digital Object Identifier
—
Alternative languages
Result language
angličtina
Original language name
Basic Constructions for the Definition of the Software Development Process with Formal Method
Original language description
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.
Czech name
—
Czech description
—
Classification
Type
D - Article in proceedings
CEP classification
IN - Informatics
OECD FORD branch
—
Result continuities
Project
—
Continuities
S - Specificky vyzkum na vysokych skolach
Others
Publication year
2011
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
ESM ?2011
ISBN
978-90-77381-66-3
ISSN
—
e-ISSN
—
Number of pages
3
Pages from-to
45-47
Publisher name
EUROSIS
Place of publication
Ghent
Event location
Guimaraes
Event date
Nov 24, 2011
Type of event by nationality
WRD - Celosvětová akce
UT code for WoS article
—