@article{LewerentzRust, author = {Lewerentz, Claus and Rust, Heinrich}, title = {Software-Ingenieure als kompetente Teamworker}, series = {Softwaretechnik-Trends}, volume = {21}, journal = {Softwaretechnik-Trends}, number = {1}, issn = {0720-8928}, pages = {30 -- 35}, language = {de} } @inproceedings{BeyerRust, author = {Beyer, Dirk and Rust, Heinrich}, title = {Timed Automata Formal Definition and Semantics}, series = {Joint Workshop on Formal Specification of Computer-Based Systems, Washington DC, USA, April 20, 2001}, booktitle = {Joint Workshop on Formal Specification of Computer-Based Systems, Washington DC, USA, April 20, 2001}, editor = {Rattray, Charles and Sveda, Miroslav and Rozenblit, Jerzy}, publisher = {University of Stirling, Dept. of Computing Science and}, address = {Stirling}, pages = {75 -- 87}, language = {en} } @inproceedings{LewerentzRust, author = {Lewerentz, Claus and Rust, Heinrich}, title = {Die Rolle der Reflexion in Software-Praktika}, series = {Software Engineering im Unterricht der Hochschulen, SEUH 7, Z{\"u}rich 2001}, booktitle = {Software Engineering im Unterricht der Hochschulen, SEUH 7, Z{\"u}rich 2001}, editor = {Lichter, Horst and Glinz, Martin}, publisher = {dpunkt-Verlag}, address = {Heidelberg}, isbn = {3-89864-106-6}, pages = {73 -- 88}, language = {de} } @inproceedings{RustLewerentz, author = {Rust, Heinrich and Lewerentz, Claus}, title = {A Model for Analyzing Measurement Based Feedback Loops in Software Development Projects}, series = {Advances in learning software organizations, third international workshop, proceedings, LSO 2001, Kaiserslautern, Germany, September 12 - 13, 2001}, booktitle = {Advances in learning software organizations, third international workshop, proceedings, LSO 2001, Kaiserslautern, Germany, September 12 - 13, 2001}, editor = {Althoff, Klaus-Dieter}, publisher = {Springer}, address = {Berlin [u.a.]}, isbn = {3-540-42574-8}, pages = {135 -- 149}, language = {en} } @inproceedings{Rust, author = {Rust, Heinrich}, title = {A Non-standard Approach to Operational Semantics for Timed Systems}, series = {Abstract state machines 2003, advances in theory and practice, 10th international workshop, proceedings, ASM 2003, Taormina, Italy, March 3 - 7, 2003}, booktitle = {Abstract state machines 2003, advances in theory and practice, 10th international workshop, proceedings, ASM 2003, Taormina, Italy, March 3 - 7, 2003}, editor = {B{\"o}rger, Egon}, publisher = {Springer}, address = {Heidelberg [u.a.]}, isbn = {3-540-00624-9}, pages = {423 -- 424}, language = {en} }