Paper Info
Title
Knowledge Support for Software Processes.
Abstract
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 and it 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 of the 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 would combine semi-formal and formal approaches with forward and reverse process engineering (process mining) that would be used easily as well-known semiformal approaches.
Year
DOI
Venue
2014
10.3233/978-1-61499-472-5-205
Frontiers in Artificial Intelligence and Applications
Keywords
Field
DocType
software process,requirements management,quality assurance,formal methods,UML,OWL,enterprise framework,process mining
Personal software process,Domain knowledge,Software analytics,Knowledge management,Software construction,Software development,Goal-Driven Software Development Process,Mathematics,Software mining,Social software engineering
Conference
Volume
ISSN
Citations 
272
0922-6389
0
PageRank 
References 
Authors
0.34
0
3
Name
Order
Citations
PageRank
Michael Alexander Kosinár101.35
Jakub Štolfa21310.23
Svatopluk Štolfa32513.96