Stephan Kleuker

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

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2015
Gegenseitige Beeinflussungen von Testautomatisierung, Testmanagement und Entwicklung.
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.
Proceedings of the Tagungsband des 13. Workshops "Software Engineering im Unterricht der Hochschulen" 2013, Aachen, 28. Feb., 2013

2012
Kontinuierliche Prozessverbesserung durch Testautomatisierung.
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.
Proceedings of the Tagungsband des 12. Workshops "Software Engineering im Unterricht der Hochschulen" 2011, München, 24., 2011

From business modeling to verified applications.
Proceedings of the 41. Jahrestagung der Gesellschaft für Informatik, 2011

2009
Werkzeuge zur Qualitätssicherung in der Software-Engineering-Ausbildung.
Proceedings of the Software Engineering im Unterricht der Hochschulen, 2009

1998
Reengineering of Distributed Systems Using Formal Methods.
Proceedings of the 2nd Euromicro Conference on Software Maintenance and Reengineering (CSMR '98), 1998

1997
Inkrementelle Entwicklung von verifizierten Spezifikationen für verteilte Systeme.
PhD thesis, 1997

Beweisbar korrekte Telekommunikationssysteme.
Informationstechnik Tech. Inform., 1997

Incremental Development of Deadlock-Free Communicating Systems.
Proceedings of the Tools and Algorithms for Construction and Analysis of Systems, 1997

Formalizing Requirements for Distributed Systems with Trace Diagrams.
Proceedings of the FME '97: Industrial Applications and Strengthened Foundations of Formal Methods, 1997

Anforderungsformalisierung für synchron kommunizierende Prozesse mit Trace-Diagrammen.
Proceedings of the Formale Beschreibungstechniken für verteilte Systeme, 1997

1996
Using Formal Methods in the Development of Protocols for Multi-User Multimedia Systems.
Proceedings of the Formal Description Techniques IX: Theory, 1996

The Incremental Development of Correct Specifications for Distributed Systems.
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.
Proceedings of the TAPSOFT'95: Theory and Practice of Software Development, 1995

1993
Case Study: Stepwise Development of a Communication Processor Using Trace Logic.
Proceedings of the Semantics of Specification Languages (SoSL), 1993


  Loading...