*Showing* 1 - 20 *of* 223

Konferenzschrift 143 Softwareentwicklung 50 Formale Methode 38 Programmverifikation 24 Software Engineering 23 Objektorientierte Programmierung 18 *more* ... Objektorientierung 17 Aufsatzsammlung 14 Komponente Software 14 Programmierung 13 Softwarespezifikation 13 Verteiltes System 13 Programmanalyse 12 Model Checking 11 Nebenläufigkeit 10 Systementwicklung 10 Verifikation 10 Automatisches Beweisverfahren 9 Formale Spezifikationstechnik 9 Programmiersprache 9 Korrektheit 8 Programmierlogik 8 Theoretische Informatik 8 Logische Programmierung 7 Software 7 Computersicherheit 6 Algebraische Methode 5 Softwaretest 5 Systemanalyse 5 Systementwurf 5 *less* ...

*Buch* 223 *Konferenzschrift* 150 *Dissertation* 2 *Festschrift* 2 *Abschlussarbeit* 1

Bonsangue, Marcello M 9 Müller, Peter 6 de Boer, Frank S 6 Margaria, Tiziana 5 Beckert, Bernhard 4 Graf, Susanne 4 *more* ... Liu, Shaoying 4 de Roever, Willem-Paul 4 Bjørner, Dines 3 Castagna, Giuseppe 3 Duan, Zhenhua 3 Sommerville, Ian 3 Steffen, Bernhard 3 Wirsing, Martin 3 Abramsky, Samson 2 America, Pierre 2 Arbab, Farhad 2 Baeten, Josephus C. M. 2 Breitenecker, Felix 2 Díaz, Josep 2 Fitzgerald, John 2 Gao, Jerry 2 Gaudel, Marie-Claude 2 Gilb, Tom 2 Gilchrist , Bruce 2 Honsell, Furio 2 Hsia, Pei 2 Johnsen, Einar Broch 2 Kelton, W. David 2 Kim, Ta̕k-kon 2 *less* ...

*eng* 220 *ger* 3