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