Author of the publication

Adding Service Engineering and Management to a Software Engineering Program.

, and . CSEE&T, page 165-168. IEEE Computer Society, (2010)

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

A Semantic Characterisation for Faults in Replicated Systems.. Theor. Comput. Sci., 128 (1&2): 159-177 (1994)An Empirical Model for Reliable Spiking Activity., , , , and . Neural Comput., 27 (8): 1609-1623 (2015)Why Is Static Application Security Testing Hard to Learn?, , , , and . IEEE Secur. Priv., 21 (5): 68-72 (September 2023)A Method for Scalable and Precise Bug Finding Using Program Analysis and Model Checking., , and . APLAS, volume 8858 of Lecture Notes in Computer Science, page 196-215. Springer, (2014)A Semantics for Multiprocessor Systems.. ESOP, volume 582 of Lecture Notes in Computer Science, page 307-320. Springer, (1992)Dilated Networks for Photonic Switching., and . IEEE Trans. Commun., 35 (12): 1357-1365 (1987)Guest editorial to the special section on SEFM 2009., , and . Softw. Syst. Model., 12 (2): 227-228 (2013)User Assisted Verification of Non-Repudiation and Similar Properties., and . Security and Management, page 161-170. CSREA Press, (2003)Analysis of initial use case descriptions.. IASTED Conf. on Software Engineering, page 24-29. IASTED/ACTA Press, (2004)An Analysis of the Twisted Cube Topology., and . ICPP (1), page 116-120. Pennsylvania State University Press, (1989)