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


Prinzipien der Anforderungsanalyseproducts/sources/formale sprachen/Cobol/verschiedene-Autoren/

Konzepte transskribierte Programme ©


 
AbsInt-Group
 
 
Adamek
 
 
Apt-Olderog
 
 
Ariane5 Giese
 
 
Bauer F.L
 
 
Bell-Labs
 
 
Berg-Franta
 
 
Bergeretti-Carre
 
 
CICS
 
 
Cobclean
 
 
Cobug
 
 
Cousot
 
 
Dahl
 
 
Deutsche-Bank
 
 
Die-Zeit
 
 
Dueck
 
 
Ebbinghaus
 
 
FME2008
 
 
Fenton-Software-Metrics
 
 
Fraunhofer
 
 
Gaehde
 
 
Gannod-Cheng
 
 
Gardner
 
 
Gluschkow
 
 
Goedel
 
 
Goguen-Malcolm
 
 
Gries
 
 
HTWK-Leipzig
 
 
Herold Lurz Wohlrab
 
 
Hoffmann
 
 
IBM
 
 
IBM-objektorientiert
 
 
IX-Magazin
 
 
Isabelle Beweissystem aus München und Cambridge
 
 
Jens
 
 
Jones
 
 
Judson-McClendon
 
 
Key-Projekt
 
 
Kleene
 
 
Kowalk
 
 
Kurioses
 
 
Leutbecher
 
 
Loecks
 
 
MQ-Series
 
 
Marie-Laure Potet
 
 
MathWorks
 
 
Mindcracker
 
 
Nicolovius
 
 
Nissim-Francez
 
 
Nist.gov
 
 
Nowottny-Matlab
 
 
Petri-Nets
 
 
Pillhofer
 
 
Pomberger
 
 
Rainers-Beispiele
 
 
Randy Lejeune
 
 
Rechenberg-Romberger
 
 
Riemann
 
 
Roggero-Lanotte
 
 
Sedgewick-Algorithmen
 
 
SemDesigns
 
 
Spiele
 
 
Spillner-Linz
 
 
Springer
 
 
Stauffer-Stanley
 
 
Verify-07
 
 
Winskel
 
 
Wirth
 
 
Zing-COBOL
 

 
 


Ziele

  

                                                                                                                                                                                                                                                                                                                                                                                                     


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