Search the dblp DataBase

Publications of Author

1. Uwe Schmidt, Hans-Martin Hörcher
   Programming with VDM Domains. [Citation Graph (0, 0)][DBLP]
   VDM Europe, 1990, pp:122-134 [Conf]
   
2. Uwe Schmidt, Hans-Martin Hörcher
   The VDM Domain Compiler: A VDM Class Library Generator. [Citation Graph (0, 0)][DBLP]
   VDM Europe (1), 1991, pp:675-676 [Conf]
   
3. Uwe Schmidt, Reinhard Völler
   Experience with VDM in Norsk Data. [Citation Graph (0, 0)][DBLP]
   VDM Europe, 1987, pp:49-62 [Conf]
   
4. Hans-Martin Hörcher, Uwe Schmidt
   The VDM Domain Compiler. [Citation Graph (0, 0)][DBLP]
   FTRTFT, 1994, pp:779-779 [Conf]
   
5. Uwe Schmidt, Reinhard Völler
   Die formale Entwicklung der maschinenunabhängigen Zwischensprache CAT. [Citation Graph (0, 0)][DBLP]
   GI Jahrestagung, 1981, pp:57-64 [Conf]
   
6. Uwe Schmidt, Reinhard Völler
   Die Entwicklung eines portablen Übersetzersystems mit der Vienna Development Method. [Citation Graph (0, 0)][DBLP]
   PASCAL, 1982, pp:185-201 [Conf]
   
7. Uwe Schmidt
   Formale Softwareentwicklungsmethoden in der Ausbildung. [Citation Graph (0, 0)][DBLP]
   SEUH, 1993, pp:115-124 [Conf]
   
8. Uwe Schmidt, Reinhard Völler
   A multi-language compiler system with automatically generated codegenerators. [Citation Graph (0, 0)][DBLP]
   SIGPLAN Symposium on Compiler Construction, 1984, pp:202-212 [Conf]
   
9. 
   ChunkSim: simulating peer-to-peer content distribution. [Citation Graph (, )][DBLP]