1
0
0
(1 - 21 von 23
)
Reactive Systems: David Harel's 64th birthday, 23 Jul 2014, Vienna,...
resources.illc.uva.nl
... Microsoft Research * Marta Kwiatkowska, Oxford University * Shahar Maoz, Tel Aviv University * Dana Scott, Carnegie Mellon University and ...
Fundamental Approaches to Software Engineering: 11th International...
books.google.de
Object Composition in Scenario-Based Programming⋆ Yoram Atir, David Harel, Asaf Kleinbort, and Shahar Maoz The Weizmann Institute of Science, Rehovot, ...
Pillars of Computer Science: Essays Dedicated to Boris (Boaz)...
books.google.de
Some Results on the Expressive Power and Complexity of LSCs⋆ David Harel⋆ ⋆, Shahar Maoz, and Itai Segall The Weizmann Institute of Science, Rehovot, ...
Fundamental Approaches to Software Engineering: 10th ...
books.google.cz
Compiler. for. Multi-modal. UML. Sequence. Diagrams*. David Harel, Asaf Kleinbort, and Shahar Maoz The Weizmann Institute of Science {dharel,asaf.kleinbort ...
LSC Revisited - From Scenarios to Distributed Components
de.slideshare.net
LSC Revisited - From Scenarios to Distributed Components. 1. Dirk Fahland Amir Kantor David Lo Shahar Maoz Robert Pruefer LSC ...
SPES Deliverable D1.2.B-1 Specification Techniques - TUM
spes2020.informatik.tu-muenchen.de
David Harel, Shahar Maoz, and Itai Segall. Some Results on the Expressive. Power and Complexity of LSCs. In Arnon Avron, Nachum ...
S2A: A Compiler for Multi-modal UML Sequence Diagrams | SpringerLink
link.springer.com
David Harel, Asaf Kleinbort, and Shahar Maoz. The Weizmann Institute of Science. &#.il. Abstract. We report on ...
Mining Branching-Time Scenarios From Execution Traces | Dirk's...
dirksmetric.wordpress.com
Over the last two years, I have been working with Shahar Maoz and David Lo on discovering high-level specifications of an application from its execution...
David Lo - Citas de Google Académico
scholar.google.es
Lingxiao JIANG,; Ferdian Thung,; Ee-Peng Lim,; Yuan Tian,; Shaowei Wang,; Xin Xia,; Shahar Maoz,; Chengnian Sun,; Hong Cheng,; Tegawendé F. Bissyandé, ...
David Lo - Citações do Google Académico
scholar.google.com.br
Lingxiao JIANG,; Ferdian Thung,; Ee-Peng Lim,; Yuan Tian,; Xin Xia,; Shaowei Wang,; Shahar Maoz,; Chengnian Sun,; Hong Cheng,; Tegawendé F. Bissyandé, ...
David Lo - Google Académico
scholar.google.ca
Professor of Computer Science, Singapore Management University - Citado por - Software Analytics - AIOps - Software Maintenance and Testing...
Mining Branching LSCs | Zenodo
zenodo.org
January 29, Dataset Open Access. Mining Branching LSCs. Dirk Fahland; David Lo; Shahar Maoz. Two sets of execution traces from two ...
Mining Modal Scenario-Based Specificationswww.mysmu.edu › faculty › davidlo
www.mysmu.edu
David Lo and Shahar Maoz. Scenario-Based and Value-Based Specification Mining: Better Together, Automated Software Engineering, Accepted in [pdf].
CSE590N: Software Engineering Seminar
courses.cs.washington.edu
Presenter: Brian Burg; Jan 30: Scenario-Based and Value-Based Specification Mining: Better Together by David Lo and Shahar Maoz. Presenter: Ivan Beschastnikh; Feb 6: Automatic Fine-Grain Locking using Shape Properties by Guy Golan-Gueta, Nathan Bronson, Alex Aiken, G Ramalingam, Mooly Sagiv, and Eran ...
CiteSeerX — PlayGo: Towards a Comprehensive Tool for Scenario Based...
citeseerx.ist.psu.edu
author = {David Harel and Shahar Maoz and Smadar Szekely and Daniel Barkan}, title = {PlayGo: Towards a Comprehensive Tool for Scenario Based ...
SoSyM Awards of Previous Yearswww.sosym.org › awards › archive
www.sosym.org
Certificate-Harel. [HM08] David Harel and Shahar Maoz. Assert and negate revisited: Modal semantics for UML sequence diagrams. In: Journal on Software and ...
ASE 2014
ase2014.org
Christian Kaestner, Carnegie Mellon University David Lo, School of Information Systems, Singapore Management University Shahar Maoz, Tel Aviv University
UML 2.0 Sequence Diagram's Semantics
home.mit.bme.hu
David Harel and Shahar Maoz. Assert and negate revisited: Modal semantics for UML sequence diagrams. Software and Systems Modeling, 7(2): , May, ...
Workshops | CAV 2014
i-cav.org
REORDER, 3rd Int. Workshop on Memory Consistency Models, Jade Alglave. RS, Reactive Systems: Special Workshop in Honor of David Harel, Shahar Maoz, ...
dirk fahland > publications
www.win.tue.nl
Dirk Fahland, David Lo, and Shahar Maoz. Mining Branching-Time Scenarios. In 28th IEEE/ACM International Conference on Automated Software Engineering, ...
[UAI] [RS-at-FLoC-14] Reactive Systems workshop in honor of David...
www.mail-archive.com
For the detailed program see http://smlab.cs.tau.ac.il/rs14vsl/ or contact the organizers: Shahar Maoz, Tel Aviv University, Israel (m.
Alle Infos zum Namen "Shahar Maoz"
Verwandte Suchanfragen zu Shahar Maoz
| Eric Bodden Asaf Kleinbort Heinrich Hussmann | Philip Martzok Dirk Fahland Jörg Kienzle | Lauren Wilkinson |
Personen Vorname "Shahar" (57) Name "Maoz" (13) |
sortiert nach Relevanz / Datum