Author: Shmuel Katz
Publications
Co-authors
Productive Colleagues
- Awais Rashid
- Zohar Manna
- Dov Dori
- 7
- 7
- 11
Publications
Reinhartz-Berger, Iris, Dori, Dov, Katz, Shmuel (2005): Modelling code mobility and migration: an OPM/Web approach. In Int. J. Web Eng. Technol., 2 (1) pp. 6-28. https://dx.doi.org/10.1504/IJWET.2005.007462
Katz, Shmuel, Manna, Zohar (1976): Logical Analysis of Programs. In Communications of the ACM, 19 (4) pp. 188-206.
Katz, Shmuel, Rashid, Awais (2004): From Aspectual Requirements to Proof Obligations for Aspect-Oriented Systems. In: 12th IEEE International Conference on Requirements Engineering RE 2004 6-10 September, 2004, Kyoto, Japan. pp. 48-57. https://doi.ieeecomputersociety.org/10.1109/RE.2004.22