News Archive
02 Dec 2021: ExANT: Konsortium aus Deutschland bringt technischen Text mittels KI in eine für Computer verständliche Form
06 Apr 2021: Künstliche Intelligenz für die Raumfahrt
06 Apr 2021: Artificial Intelligence for Space
19 Aug 2019: Software Metrics Survey
16 Jul 2019: Open Interface, GA, Oracles: Exciting new Features for DCRTT
11 Jul 2019: Evaluation of SW Verification Tools for ESA
01 Nov 2016: BSSE will present at ESE 2016
12 Oct 2016: Evaluation of Software Verification Tools: Another round
02 Mar 2016: Evaluation of Software Verification Tools for DLR completed
29 Oct 2010 : Introduction of Constraint-Based Test-Data Generation in DCRTT
20 Feb 2005: AutoPilot V2.3 also available for OS X.3.8
11 Nov 2004: AutoPilot V2.3 released
25 Sep 2004: AutoPilot V2.2 released - Java customization support available
22 Sep 2004: ASSERT project kicked off
26 Jun 2004: AutoPilot finalized for OSX 10.2 and 10.3 - Java-support in the works
16 Apr 2004: DB-GUI-Generator Preview
13 Apr 2004: Example for ISG specification language ISGL online
09 Apr 2004: AutoPilot evaluation licenses and customer poll
6 Jan 2004: ISG specification language ISGL available
1 Nov 2002: Automatic generation of graphical docs in ASaP available
Oct 2002: AutoPilot for Mac OS 9 and Mac OS X released
22 Jun 2002: Completed Space application based on ASaP/ISG