verisoft

Microsoft steigt in Forschungsprojekt Verisoft ein

10.07.2007, 17:43, Research / Development, Universität des Saarlandes

Das Forschungsprojekt Verisoft XT wird jetzt vom Bundesministerium für Bildung und Forschung (BMBF) mit rund 12 Millionen Euro über drei Jahre gefördert. Als neuer...

Read more

SQS Software Quality Systems AG übernimmt VeriSoft in Indien

17.06.2008, 10:05, Finances / Balance sheet, SQS Software GmbH

Die SQS Software Quality Systems AG (AIM: SQS.L, Open Market: ISIN DE0005493514) hat einen Vertrag zum Kauf der Mehrheit der Anteile an VeriSoft InfoSystems und...

Qualitätssiegel "Verified in Germany" - Kick-off Meeting Verisoft XT

17.09.2007, 14:25, Research / Development, Deutsches Forschungszentrum für Künstliche Intelligenz (DFKI) GmbH

Unter dem Motto "Verified in Germany" präsentierte das DFKI am 17. September Highlights aus dem Bereich formale Verifikation des Designs von Computersystemen. Ein...

Read more

Kick-off Meeting Verisoft XT

11.09.2007, 16:36, Events, Universität des Saarlandes

Das Forschungsprojekt Verisoft XT wird in den kommenden drei Jahren vom Bundesministerium für Bildung und Forschung (BMBF) mit rund 12 Millionen Euro gefördert....

"Verified in Germany" wird Qualitätsmerkmal deutscher Software

09.07.2007, 16:43, Research / Development, BMBF Bundesministerium für Bildung und Forschung

Softwarefehler verursachen in Europa jährlich einen wirtschaftlichen Schaden von weit über 100 Milliarden Euro. Weil bei der Entwicklung von Software die Anforderungen...

Read more

Wie entsteht fehlerfreie Soft- und Hardware?

27.06.2007, 17:33, Research / Development, Universität des Saarlandes

Vom 3. bis 7. Juli 2007 veranstalten Prof. Dr. Holger Hermanns, Inhaber des Lehrstuhls für Verlässliche Systeme an der Universität des Saarlandes, und Prof. Dr....

Read more

Forschung zur Fehlersuche, Spionage und Internet-Zukunft auf CeBIT 2008

28.02.2008, 14:42, Research / Development, Universität des Saarlandes

Eine breite Palette an Forschungsthemen bietet auch in diesem Jahr wieder der saarländische Forschungsstand (Halle 9, Stand B 35) auf der CeBIT 2008 vom 4. bis 9....

Read more

Vom Heimkino über Softwarefehler bis zum „Millionärs“-Quiz

03.03.2006, 10:25, Research / Development, Universität des Saarlandes

9. bis 15. März, CeBIT Hannover, Halle 9, Stand B 43 Die Universität des Saarlandes, die Saarbrücker Forschungsinstitute und Spin Offs der Informatik sowie das...

Read more

DFKI im future talk CeBIT 2008

27.02.2008, 11:23, Research / Development, Deutsches Forschungszentrum für Künstliche Intelligenz (DFKI) GmbH

Der future talk ist das zentrale Veranstaltungsforum des future parc, der CeBIT-Forschungshalle (Halle 9, A30). Im Rahmen der offiziellen Eröffnung diskutiert DFKI-Chef...

Read more

DFKI im CeBIT future parc 2008

25.02.2008, 16:56, Research / Development, Deutsches Forschungszentrum für Künstliche Intelligenz (DFKI) GmbH

Der DFKI-Stand (Halle 9, B37) befindet sich in Nachbarschaft des Bundesministeriums für Bildung und Forschung (BMBF, Halle 9, B40) und der Deutschen Telekom Laboratories...

Read more