33 Infos zu Hans-martin Hörcher

5 Aktuelle Nachrichten

KIELerLEBEN berichtet monatlich über das sportliche Geschehen in Kiel – dieses Mal mit einem Kieler-Woche-Spezial.

Im letzten Jahr brauchten wir noch acht Ruderer, um unser neu getauftes Boot zu seiner Jungfernfahrt über die Förde zu bewegen. In diesem Jahr sind es nur...

Hans Martin Hörcher, Vossloh-Systemtechnik GmbH, Germany: To be announced. Magnus Herner: SDT and ITEX The tools SDT and ITEX are developed by the ...

Hans-Martin Hörcher. Bilder von Hans-Martin Hörcher und Olav Lenz. Hinterlassen Sie einen Kommentar. Hier klicken, um das Kommentieren abzubrechen. Name …

1  Bilder zu Hans-martin Hörcher

3 Profile in Sozialen Netzwerken

Semantic Scholar profile for Hans-Martin Hörcher, with 6 highly influential citations and 6 scientific research papers.

März | Von Hans-Martin Hörcher. Ausstellungseröffnung im Kieler Rathaus. Am 15. März wurde die Ausstellung »150 Jahre Rudern in Kiel – der Erste Kieler Ruder-Club im Wandel der Zeit« im Kieler Rathaus eröffnet. Studenten am Historischen Seminar der Universität Kiel haben unter der Leitung von Lena Cordes die Geschichte des EKRC ...

1 Infos zur Ausbildung

... Andy Gravell, Hans-Martin Hörcher, Iain Houston, Debi Kearney, Haim Kilov, Steve King, Trevor King, Kevin Lano, John McDermid, Fiona Polack, Jo Primrose, ...

1 Projekte

... Silke Höppner Egon Hörbst Hans-Martin Hörcher Alexander Hörder Jan Hördt Joachim Höret Stefan Höreth Andreas Hörfurter Mike Hörhammer Klaus Höring ...

4 Bücher zum Namen

... der Software-Entwicklung: Eine empirische Untersuchung. Hans-Martin Hörcher: Das DST Unit Testbed zur automatisierten Durchführung von Unit-Tests u.a..

This book constitutes the refereed proceedings of the Second International Conference of B and Z Users, ZB 2002, held in Grenoble, France in January The...

... zur Auswertung von Testergebnissen Hans-Martin Hörcher DST Deutsche System-Technik GmbH Geschäftsbereich AUSFALLSICHERE SYSTEME Edisonstr.

[HP95] Hans-Martin Hörcher and Jan Peleska. Using formal specifications to support software testing. Software Quality Journal, 4(4), [ITS91] ITSEC.

5 Wissenschaftliche Publikationen

Bibliographic content of ZUM 1995

List of computer science publications by Hans-Martin Hörcher

Bibliographic content of FTRTFT 1994

Using formal specifications to support software testing. Authors: Hans-Martin Hoercher and Jan Peleska. Abstract: Formal specifications become more and more ...

1 Allgemeine Veröffentlichungen

Das Testen spielt in der Softwareentwicklung eine um so größere Rolle, je höher die Anforderungen an die Sicherheit des Systems sind. Nicht selten übersteigen...

1 Video- & Audioinhalte

Teile deine Videos mit Freunden, Verwandten oder der ganzen Welt

9 Webfunde aus dem Netz

Hans-Martin Hörcher (Vossloh System-Technik GmbH), Kiel: Testfallspezifikation mittels Message Sequence Charts. Eike Hagen Riedemann (Universität Dortmund): ISDN-Driver-Test - Eine Testapplikation im Bereich ISDN-Kommunikation (über eine CAPI-Schnittstelle)

Hans-Martin Hörcher Aus Vorstand und Redaktion Grünkohlessen jetzt schon den Termin merken! Dank für die Patenspenden Inzwischen gehört die Jugend zum festen Teilnehmerkreis des Pellkartoffelessens und sie hat sichtlich ihren Spaß an dem Abend (siehe auch Seite 21). Traditionellerweise wird das Essen für die Jugendlichen ...

Rudern gegen Krebs - ein Bericht der Teilnehmer des Ingenieurteam Trebes. Als Ingenieurteam beschäftigen wir uns ja sonst eher mit der Statik von Geb...

Editorial. Background and ... The last paper, entitled "Using formal specifications for supporting software testing " by Hans-Martin Hörcher and Jan Paleska, ...

Fotos: Hans-Martin Hörcher, Erster Kieler Ruder-Club. 2 Klicks für mehr Datenschutz: Erst wenn Sie hier klicken, wird der Button aktiv und Sie ...

Hans-Martin Hörcher Für die Anfängerausbildung und Betreuung des ... Eva Ingwersen Hans Martin Hörcher Karl-Heinz Kramer Hans-Heinrich Heise Vito ...

Hans-Martin Hörcher Wie werden Sie mit diesem Problem fertig? In der deutschen Versicherungswirtschaft stehen über 150 Versicherungsgesellschaften ...

Rudern in Schleswig-Holstein ist das Angebot des Ruderverbands Schleswig-Holstein und der Schleswig-Holsteinischen Ruderjugend

Foto: EKRC/Hans-Martin Hörcher. Kieler Woche Logo Das 23. Stadtachter-Rennen zur Kieler Woche wird am Mittwoch, 9. September um ...