Title :
Table of contents
Abstract :
The following topics are dealt with: software engineering; requirement engineering; agile software development; ICT process improvement; model driven engineering; software quality; formal verification; formal specification; IT service management; and Web engineering.
Keywords :
Internet; business data processing; formal specification; formal verification; systems analysis; ICT process improvement; IT service management; Web engineering; agile software development; formal specification; formal verification; information and communication technology; model driven engineering; requirement engineering; software engineering; software quality;
Conference_Titel :
Quality of Information and Communications Technology (QUATIC), 2014 9th International Conference on the
Conference_Location :
Guimaraes
Print_ISBN :
978-1-4799-6132-0
DOI :
10.1109/QUATIC.2014.4
