Author of the publication

Comments on "Formal Methods Application: An Empirical Tale of Software Development"

, and . IEEE Transactions on Software Engineering, 29 (6): 567-571 (2003)
DOI: http://doi.ieeecomputersociety.org/10.1109/TSE.2003.1205183

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

On Experimental Computer Science.. Experimental Software Engineering Issues, volume 706 of Lecture Notes in Computer Science, page 30-32. Springer, (1992)A replicated, distributed file system., and . ACM SIGOPS European Workshop, ACM, (1986)The End of (Numeric) Error: An interview with John L. Gustafson.. Ubiquity, 2016 (April): 1:1-1:14 (2016)Logging Kernel Events on Clusters., and . International Conference on Computational Science, volume 2660 of Lecture Notes in Computer Science, page 63-74. Springer, (2003)Initial Implementation of Natural Language Turn-Based Dialog System., , and . IHCI, volume 84 of Procedia Computer Science, page 49-56. Elsevier, (2015)Software engineering for multicore systems: an experience report., , , and . IWMSE@ICSE, page 53-60. ACM, (2008)Automated test-case generation by cloning., and . AST, page 83-88. IEEE Computer Society, (2012)Empirische Methodik in der Softwaretechnik im Allgemeinen und bei der Software-Visualisierung im Besonderen., and . Software Engineering (Workshops), volume P-106 of LNI, page 211-221. GI, (2007)Die Bedeutung der Empirie fuer die Softwaretechnik.. Software Engineering, volume P-64 of LNI, page 15-. GI, (2005)NLCI - A Natural Language Command Interpreter., , and . Software Engineering, volume P-267 of LNI, page 139-140. GI, (2017)