Anforderungen  |   Konzepte  |   Entwurf  |   Entwicklung  |   Qualitätssicherung  |   Lebenszyklus  |   Steuerung
 
 
 
 


Quellcode-Bibliothek

© Kompilation durch diese Firma

[Weder Korrektheit noch Funktionsfähigkeit der Software werden zugesichert.]

Datei:   Sprache: Postscript

Untersuchung VDM©

%!PS-Adobe-2.0
%%DocumentsFonts:Helvetica-Bold 
%%BoundingBox: 161 555 554 730
%%Pages:  1
%%EndProlog
% Driver PostScript -> PostScript VERILOG
%%Page: 0
%% DRIVER_RESULT_PAGE_0
 1 setlinecap 
 0.00 setlinewidth 
 432.42 620.96 moveto
432.42 555.50 lineto
544.62 555.50 lineto
544.62 620.96 lineto
432.42 620.96 lineto
stroke
/Helvetica-Bold findfont 10.000 scalefont setfont 
474.75 608.21 moveto
[0.935043 0.000000 0.000000 0.935043 21.00 798.61] concat
(Sorter)show
[1.069469 -0.000000 -0.000000 1.069469 -22.458858 -854.093811] concat
 432.42 602.26 moveto
544.62 602.26 lineto
stroke
 432.42 578.88 moveto
544.62 578.88 lineto
stroke
 432.42 714.46 moveto
432.42 658.36 lineto
544.62 658.36 lineto
544.62 714.46 lineto
432.42 714.46 lineto
stroke
/Helvetica-Bold findfont 10.000 scalefont setfont 
460.47 701.71 moveto
[0.935043 0.000000 0.000000 0.935043 21.00 798.61] concat
(SortMachine)show
[1.069469 -0.000000 -0.000000 1.069469 -22.458858 -854.093811] concat
 432.42 695.76 moveto
544.62 695.76 lineto
stroke
 432.42 677.06 moveto
544.62 677.06 lineto
stroke
 292.16 677.06 moveto
292.16 592.91 lineto
357.62 592.91 lineto
357.62 677.06 lineto
292.16 677.06 lineto
stroke
/Helvetica-Bold findfont 10.000 scalefont setfont 
306.70 664.31 moveto
[0.935043 0.000000 0.000000 0.935043 21.00 798.61] concat
(CGBase)show
[1.069469 -0.000000 -0.000000 1.069469 -22.458858 -854.093811] concat
 292.16 658.36 moveto
357.62 658.36 lineto
stroke
 292.16 625.63 moveto
357.62 625.63 lineto
stroke
 161.26 677.06 moveto
161.26 592.91 lineto
226.71 592.91 lineto
226.71 677.06 lineto
161.26 677.06 lineto
stroke
/Helvetica-Bold findfont 10.000 scalefont setfont 
173.20 664.31 moveto
[0.935043 0.000000 0.000000 0.935043 21.00 798.61] concat
(vdmBase)show
[1.069469 -0.000000 -0.000000 1.069469 -22.458858 -854.093811] concat
 161.26 658.36 moveto
226.71 658.36 lineto
stroke
 161.26 625.63 moveto
226.71 625.63 lineto
stroke
 395.02 636.85 moveto
395.02 591.03 lineto
stroke
 395.02 591.03 moveto
432.42 591.03 lineto
stroke
 395.02 683.60 moveto
395.02 636.85 lineto
stroke
 395.02 683.60 moveto
432.42 683.60 lineto
stroke
 395.02 645.27 moveto
395.02 628.44 lineto
378.19 636.85 lineto
395.02 645.27 lineto
stroke
 357.62 636.85 moveto
378.19 636.85 lineto
stroke
 264.11 634.05 moveto
stroke
 264.11 634.05 moveto
292.16 634.05 lineto
stroke
 264.11 642.46 moveto
264.11 625.63 lineto
247.28 634.05 lineto
264.11 642.46 lineto
stroke
 226.71 634.05 moveto
247.28 634.05 lineto
stroke
showpage
%%Page: 1
%% DRIVER_RESULT_PAGE_1
%%Trailer

¤ Diese beiden folgenden Angebotsgruppen bietet das Unternehmen0.20Angebot  Wie Sie bei der Firma Beratungs- und Dienstleistungen beauftragen können  ¤





zum Wurzelverzeichnis wechseln
Diese Quellcodebibliothek enthält Beispiele in vielen Programmiersprachen. Man kann per Verzeichnistruktur darin navigieren. Der Code wird farblich markiert angezeigt.
zum Wurzelverzeichnis wechseln
Hier finden Sie eine Liste der Produkte des Unternehmens

Mittel




Laden

Fehler beim Verzeichnis:


in der Quellcodebibliothek suchen

Entwicklung einer Software für die statische Quellcodeanalyse


Bot Zugriff



                                                                                                                                                                                                                                                                                                                                                                                                     


Neuigkeiten

     Aktuelles
     Motto des Tages

Software

     Produkte
     Quellcodebibliothek

Aktivitäten

     Artikel über Sicherheit
     Anleitung zur Aktivierung von SSL

Muße

     Gedichte
     Musik
     Bilder

Jenseits des Üblichen ....

Besucherstatistik

Besucherstatistik