Author: Shmuel Katz
Publication Overview
Publication period start: 2005
Number of co-authors: 4
Co-Authors
Number of publications with favourite co-authors
Productive Colleagues
Most productive colleagues in number of publications
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