Stephan Kleuker

According to our database, Stephan Kleuker authored at least 16 papers between 1993 and 2015.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2015

Gegenseitige Beeinflussungen von Testautomatisierung, Testmanagement und Entwicklung.

Jan Düttmann, Stephan Kleuker

Proceedings of the Software Engineering & Management 2015, Multikonferenz der GI-Fachbereiche Softwaretechnik (SWT) und Wirtschaftsinformatik (WI), FA WI-MAW, 17. März, 2015

2013

Programmiergrundausbildung: Erfahrungen von drei Hochschulen.

Stephan Kleuker

Proceedings of the Tagungsband des 13. Workshops "Software Engineering im Unterricht der Hochschulen" 2013, Aachen, 28. Feb., 2013

2012

Kontinuierliche Prozessverbesserung durch Testautomatisierung.

Andre Heidt, Stephan Kleuker

Proceedings of the Nachhaltiges Software Management. Fachtagung des GI-Fachausschusses Management der Anwendungsentwicklung und -wartung im Fachbereich Wirtschaftsinformatik (WI-MAW), 2012

2011

Vier Jahre Software-Engineering-Projekte im Bachelor - ein Statusbericht.

Stephan Kleuker, Frank M. Thiesing

Proceedings of the Tagungsband des 12. Workshops "Software Engineering im Unterricht der Hochschulen" 2011, München, 24., 2011

From business modeling to verified applications.

Christian Ammann, Stephan Kleuker, Elke Pulvermüller

Proceedings of the 41. Jahrestagung der Gesellschaft für Informatik, 2011

2009

Werkzeuge zur Qualitätssicherung in der Software-Engineering-Ausbildung.

Stephan Kleuker

Proceedings of the Software Engineering im Unterricht der Hochschulen, 2009

1998

Reengineering of Distributed Systems Using Formal Methods.

Stephan Kleuker

Proceedings of the 2nd Euromicro Conference on Software Maintenance and Reengineering (CSMR '98), 1998

1997

Inkrementelle Entwicklung von verifizierten Spezifikationen für verteilte Systeme.

Stephan Kleuker

PhD thesis, 1997

Beweisbar korrekte Telekommunikationssysteme.

Clemens Fischer, Stephan Kleuker, Ernst-Rüdiger Olderog

Informationstechnik Tech. Inform., 1997

Incremental Development of Deadlock-Free Communicating Systems.

Stephan Kleuker

Proceedings of the Tools and Algorithms for Construction and Analysis of Systems, 1997

Formalizing Requirements for Distributed Systems with Trace Diagrams.

Stephan Kleuker

Proceedings of the FME '97: Industrial Applications and Strengthened Foundations of Formal Methods, 1997

Anforderungsformalisierung für synchron kommunizierende Prozesse mit Trace-Diagrammen.

Stephan Kleuker

Proceedings of the Formale Beschreibungstechniken für verteilte Systeme, 1997

1996

Using Formal Methods in the Development of Protocols for Multi-User Multimedia Systems.

Stephan Kleuker

Proceedings of the Formal Description Techniques IX: Theory, 1996

The Incremental Development of Correct Specifications for Distributed Systems.

Stephan Kleuker, Hermann Tjabben

Proceedings of the FME '96: Industrial Benefit and Advances in Formal Methods, 1996

1995

A Gentle Introduction to Specification Engineering Using a Case Study in Telecommunications.

Stephan Kleuker

Proceedings of the TAPSOFT'95: Theory and Practice of Software Development, 1995

1993

Case Study: Stepwise Development of a Communication Processor Using Trace Logic.

Stephan Kleuker

Proceedings of the Semantics of Specification Languages (SoSL), 1993