Abstract :
The following topics are dealt with: software engineering research; software intensive industry; runtime verification; and software field reliability.
Keywords :
DP industry; program verification; software reliability; runtime verification; software engineering research; software field reliability; software intensive industry;
Conference_Titel :
Software Engineering Research and Industrial Practice (SER&IP), 2015 IEEE/ACM 2nd International Workshop on
Conference_Location :
Florence
DOI :
10.1109/SERIP.2015.1