Abstract :
The following topics are dealt with: software verification; software validation; empirical software engineering; model driven engineering; software engineering education; programming language; software architecture; software security; software safety; and software reliability.
