Ferhat Erata

4 Abonné

I received double B.Sc. degrees in industrial engineering and computer engineering in 2007 and 2008 respectively. Then I received my M.Sc. degree in Information Technologies from International Computer Institute at Ege University, Turkey in 2010. Since 2008, I've been involving as a software engineer and researcher in several R&D projects which mainly apply model-based software/system engineering and formal methods to industry. I am currently a PhD candidate in Information Technology group at the Wageningen University, The Netherlands since 2016. My research interests include formal languages, decision procedures, formal verification, program analysis and automated reasoning. Since 2014...

model-driven software development applica text-based knowledge extraction natural language processing

Tout plus

Présentations
Documents
Infographies

Plus récents Les plus populaires

Ferhat Erata

Publish or Perish: Questioning the Impact of Our Research on the Software Developer

Converging Textual and Graphical Editors

Making Model-Driven Verification Practical and Scalable: Experiences and Lessons Learned

Auto-GWT : Better GWT Programming with Xtend

2010 06 22 omg - obeo

Doc2model- Eclipse Con 2010

Eclipse Finance Day: Sirius for Finance

Gerrit Code Review with GitHub plugin

The Xtext Grammar Language

7 Quick Tips to Rock Your Next Presentation

EclipseCon BPM Day Ludwigsburg - Roundtrip Modelling with Eclipse Stardust

Modeling in a Team Environment with EMF Compare and EGit

News from EGit - Talk EclipseCon Europe 2014 - Ludwigsburg

What every Eclipse developer should know about EMF

ESSENSE – A Kernel of Essentials for Software Engineering

Executable UML Roadmap (as of September 2014)

Executable UML and SysML Workshop

Xtext + Sirius = ♥ / EclipseCon Europe 2014

MDE 2.0.: pragmatic model verification and other stories - Habilitation public lecture

MDE Diploma