( en | de | ru )

 

Disambiguation of "Tyszberowicz, Shmuel"

Author of the publication

copydeleteadd this publication to your clipboard
OBSERV\—a prototyping language and environment

, and . ACM Trans. Softw. Eng. Methodol., 1 (3): 269--309 (July 1992)

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.

Ascher Ben-Shmuel

 

Other publications of authors with the same name

OBSERV\—a prototyping language and environment, and . ACM Trans. Softw. Eng. Methodol., 1 (3): 269--309 (July 1992)Specifying a Linked Data Structure in JML for Formal Verification and Runtime Checking., and . SBMF, volume 8195 of Lecture Notes in Computer Science, page 99-114. Springer, (2013)Specifying linked data structures in JML for combining formal verification and testing., and . Sci. Comput. Program., (2015)A lightweight approach for sound call graph approximation., , , and . SAC, page 1837-1844. ACM, (2022)DSL-MoLab: supporting model-based development of TDL-specific systems enabled by DSL., , , , , , , and . Internetware, ACM, (2024)Refactoring with Contracts., , and . WRT, page 13-14. (2007)Specification of user-interfaces using CRUISE/OBSERV., , and . COMPSAC, page 104-109. IEEE, (1991)Verification-based test case generation for information-flow properties., , , and . SAC, page 2231-2238. ACM, (2019)Software Abstractions and Human-Cyber-Physical Systems Architecture Modelling., , , , and . SETSS, volume 12154 of Lecture Notes in Computer Science, page 159-219. Springer, (2019)Enforcing Interaction Properties in AOSD-Enabled Systems., and . ICSEA, page 8. IEEE Computer Society, (2006)