Knowledge Support for Software Processes

Kód výsledku v IS VaVaI

<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F61989100%3A27240%2F14%3A86093002" target="_blank" >RIV/61989100:27240/14:86093002 - isvavai.cz</a>

Výsledek na webu

<a href="http://dx.doi.org/10.3233/978-1-61499-472-5-205" target="_blank" >http://dx.doi.org/10.3233/978-1-61499-472-5-205</a>

DOI - Digital Object Identifier

<a href="http://dx.doi.org/10.3233/978-1-61499-472-5-205" target="_blank" >10.3233/978-1-61499-472-5-205</a>

Jazyk výsledku

angličtina

Název v původním jazyce

Knowledge Support for Software Processes

Popis výsledku v původním jazyce

In the last decades we have got used to software applications and services being everywhere and working for us. However sometimes they fail to work as desired. The situation we experience nowadays is often characterized as the second software crisis andit is caused by many root causes. One main root problem is an old one-it is an insufficient specification of requirements and processes to be executed in software development. Even though the computer science offers many specification methods, standards,generic software processes, best practices, and languages, the problem is still here. The research presented in this work proposes utilization of formal methods and knowledge bases as a key solution for software process capture and modeling; the goal ofthe research is to describe particular sub-processes of software development process and their optimization with formalisms like Web Ontology Language (OWL). We will propose and develop complex software process modeling methodology that

Název v anglickém jazyce

Knowledge Support for Software Processes

Popis výsledku anglicky

In the last decades we have got used to software applications and services being everywhere and working for us. However sometimes they fail to work as desired. The situation we experience nowadays is often characterized as the second software crisis andit is caused by many root causes. One main root problem is an old one-it is an insufficient specification of requirements and processes to be executed in software development. Even though the computer science offers many specification methods, standards,generic software processes, best practices, and languages, the problem is still here. The research presented in this work proposes utilization of formal methods and knowledge bases as a key solution for software process capture and modeling; the goal ofthe research is to describe particular sub-processes of software development process and their optimization with formalisms like Web Ontology Language (OWL). We will propose and develop complex software process modeling methodology that

Druh

D - Stať ve sborníku

CEP obor

IN - Informatika

OECD FORD obor

—

Projekt

—

Návaznosti

S - Specificky vyzkum na vysokych skolach

Rok uplatnění

2014

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ů

Název statě ve sborníku

Frontiers in Artificial Intelligence and Applications. Volume 272

ISBN

978-1-61499-471-8

ISSN

0922-6389

e-ISSN

—

Počet stran výsledku

19

Strana od-do

205-223

Název nakladatele

IOS Press

Místo vydání

Amsterodam

Místo konání akce

Kiel

Datum konání akce

3. 6. 2014

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

WRD - Celosvětová akce

Kód UT WoS článku

—