computernetworks computerscience congresses distributedprocessing electronicdataprocessing formalemethode formalmethods(computerscience) kongress logicdesign object-orientedprogramming(computerscience) rechnernetz software softwareengineering softwarespezifikation testen verteiltessystem