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 semi-formal approaches.
IOS Press, Inc.
6751 Tepper Drive
Clifton, VA 20124
Tel.: +1 703 830 6300
Fax: +1 703 830 2300 firstname.lastname@example.org
(Corporate matters and books only) IOS Press c/o Accucoms US, Inc.
For North America Sales and Customer Service
West Point Commons
Lansdale PA 19446
Tel.: +1 866 855 8967
Fax: +1 215 660 5042 email@example.com