*Showing* 1 - 20 *of* 655

Konferenzschrift 343 Softwareentwicklung 88 Formale Methode 62 Objektorientierte Programmierung 40 Software Engineering 40 Model Checking 37 *more* ... Programmverifikation 37 Objektorientierung 34 Datenbanksystem 26 Verteiltes System 26 Aufsatzsammlung 24 Programmierung 23 Verifikation 23 Komponente Software 21 Software 21 Programmanalyse 20 Zuverlässigkeit 20 Nebenläufigkeit 19 Softwarespezifikation 19 Systementwicklung 19 Informationssystem 18 Künstliche Intelligenz 17 Programmiersprache 16 UML 15 Automatisches Beweisverfahren 14 Formale Spezifikationstechnik 14 Parallelverarbeitung 13 World Wide Web 12 Computersimulation 11 Datensicherung 11 *less* ...

*Buch* 655 *Konferenzschrift* 357 *Dissertation* 6 *Abschlussarbeit* 3 *Festschrift* 1 *Habilitationsschrift* 1

Beckert, Bernhard 11 Bonsangue, Marcello M 10 Margaria, Tiziana 10 Steffen, Bernhard 8 de Boer, Frank S 8 Liu, Shaoying 7 *more* ... Hähnle, Reiner 6 Huisman, Marieke 6 Meyer, Bertrand 6 Shoham, Sharon 6 Vizel, Yakir 6 Müller, Peter 5 Sommerville, Ian 5 Ahrendt, Wolfgang 4 Arbab, Farhad 4 Beyer, Dirk 4 Bjørner, Dines 4 Bubel, Richard 4 Damiani, Ferruccio 4 Graf, Susanne 4 Johnsen, Einar Broch 4 Law, Averill M. 4 Meseguer, José 4 de Roever, Willem-Paul 4 Barthe, Gilles 3 Binder, Robert V. 3 Börger, Egon 3 Castagna, Giuseppe 3 Dongarra, Jack 3 Duan, Zhenhua 3 *less* ...

*eng* 647 *ger* 12 *und* 1