Shahar Maoz und Software Engineering - Info zur Person

(1 - 20 von 24

)

SE 2014: Konferenz Software Engineering – Kiel »...

se2014.kosse-sh.de

Antonio Filieri, Corina S. Pasareanu and Willem Visser: Reliability Analysis in Symbolic Pathfinder: A brief summary; Dirk Beyer, ... Shahar Maoz, Jan Oliver Ringert

SEFM : International Conference on Software Engineering and...

www.wikicfp.com

SEFM : International Conference on Software Engineering and Formal Methods SEFM 2015

Wissenschaftliches Programm | Software Engineering 2016

se2016.conf.tuwien.ac.at

GR(1) Synthesis for LTL Specification Patterns. Shahar Maoz and Jan Oliver Ringert. Witness Validation and Stepwise Testification across Software Verifiers.

SE@RWTH : Staff : Dr. Shahar Maoz

www.se-rwth.de

Professor Dr. Shahar Maoz Software Engineering Department of Computer Science 3 RWTH Aachen University D Aachen Germany maoz cs.tau.ac.il

Fundamental Approaches to Software Engineering: 17th International...

books.google.de

This book constitutes the proceedings of the 17th International Conference on Fundamental Approaches to Software Engineering, FASE 2014, held as part of the...

Fundamental Approaches to Software Engineering: 11th International...

books.google.de

This proceedings volume covers requirements and architectures, models and model transformations, conceptual models and UML, service engineering and adaptable...

Models in Software Engineering: Workshops and Symposia at MODELS

books.google.de

Reports and Revised Selected Papers Michel V. R. Chaudron. Model-Based Traces⋆ Shahar Maoz Department of Computer Science and Applied Mathematics ...

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 ...

CD2Alloy: Class Diagrams Analysis Using Alloy Revisited | SpringerLink

link.springer.com

Shahar Maoz; Jan Oliver Ringert; Bernhard Rumpe. Shahar Maoz. 1. Jan Oliver Ringert. 1. Bernhard Rumpe Software EngineeringRWTH Aachen University Germany. Conference paper. 4 Citations · 28 Readers · 1.3k Downloads. Part of the Lecture Notes in Computer Science book series (LNCS, volume 6981) ...

software engineering | Dirk's Metric/k

dirksmetric.wordpress.com

Posts about software engineering written by dirkfahland

‪Shahar Maoz‬ - ‪Google Scholar‬

scholar.google.lv

‪School of Computer Science, Tel Aviv University‬ - ‪‪Citēts reizi‬‬ - ‪Software engineering‬ - ‪Modeling‬ - ‪Formal methods‬

‪Shahar Maoz‬ - ‪Google 学术搜索‬

scholar.google.es

‪School of Computer Science, Tel Aviv University‬ - ‪‪引用次数：2,320 次‬‬ - ‪Software engineering‬ - ‪Modeling‬ - ‪Formal methods‬

Bernhard Rumpe - Google Scholar Citations

scholar.google.ca

Robert FranceProfessor of Computer Science, Colorado State UniversityVerified email at cs.colostate.edu. Jan Oliver RingertDepartment of Informatics, University of LeicesterVerified email at leicester.ac.uk. Andreas WortmannSoftware Engineering, RWTH Aachen UniversityVerified email at se-rwth.de. Shahar Maoz School ...

CS colloquium talk - Shahar Maoz, TOMORROW, December 19, 2:10pm, Ross...

mailman.cs.huji.ac.il

Time and place: Monday, December 19, 2:10pm, Ross 201 Title: Semantic Model Differencing for Software Evolution Speaker: Shahar Maoz , RWTH Aachen University Abstract: Model-driven software engineering promotes the use of models throughout a software system's lifecycle. Due to iterative ...

‪Jan Oliver Ringert‬ - ‪Google Scholar‬

scholar.google.de

‪Department of Informatics, King's College London‬ - ‪‪ mal zitiert‬‬ - ‪Software Engineering‬ - ‪Modeling‬ - ‪Formal Methods‬

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 ...

Philip Martzok
Dirk Fahland
Jörg Kienzle

Lauren Wilkinson

Personen
Vorname "Shahar" (57)
Name "Maoz" (13)

sortiert nach Relevanz / Datum

Erweiterte Suche

Person-Suchen: A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

Shahar Maoz und Software Engineering Person-Info

SE 2014: Konferenz Software Engineering – Kiel »...

SEFM : International Conference on Software Engineering and...

Wissenschaftliches Programm | Software Engineering 2016

SE@RWTH : Staff : Dr. Shahar Maoz

Fundamental Approaches to Software Engineering: 17th International...

Fundamental Approaches to Software Engineering: 11th International...

Models in Software Engineering: Workshops and Symposia at MODELS

Fundamental Approaches to Software Engineering: 10th ...

CD2Alloy: Class Diagrams Analysis Using Alloy Revisited | SpringerLink

software engineering | Dirk's Metric/k

‪Shahar Maoz‬ - ‪Google Scholar‬

‪Shahar Maoz‬ - ‪Google 学术搜索‬

Bernhard Rumpe - Google Scholar Citations

CS colloquium talk - Shahar Maoz, TOMORROW, December 19, 2:10pm, Ross...

‪Jan Oliver Ringert‬ - ‪Google Scholar‬

Mining Modal Scenario-Based Specificationswww.mysmu.edu › faculty › davidlo

CSE590N: Software Engineering Seminar

ICSE Austin :: Technical Research: Dynamic Analysis

dirk fahland > publications

Alle Infos zum Namen "Shahar Maoz"