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