* [Caml-list] PhD position announcement: Timed contracts for Correct-by-Construction system design
@ 2015-07-03 12:10 David MENTRE
2015-07-03 12:15 ` [Caml-list] Model-based engineering and OCaml David MENTRE
0 siblings, 1 reply; 2+ messages in thread
From: David MENTRE @ 2015-07-03 12:10 UTC (permalink / raw)
To: caml-list
Hello,
INRIA Rennes and Mitsubishi Electric R&D Centre Europe are opening a PhD
position titled "Timed contracts for Correct-by-Construction system design".
Position details are available here:
http://www.fr.mitsubishielectric-rce.eu/images/fck_upload/1506_Annonce_Formal%20methods_PhD_201509_EN(1).pdf
This PhD position is not strictly related to OCaml but most of the time
the tool developed at MERCE around formal methods are made in OCaml. :-)
Do not hesitate to ask questions if needed. Feel free to forward this
position to relevant forums.
Sincerely yours,
D. Mentré
^ permalink raw reply [flat|nested] 2+ messages in thread
* [Caml-list] Model-based engineering and OCaml
2015-07-03 12:10 [Caml-list] PhD position announcement: Timed contracts for Correct-by-Construction system design David MENTRE
@ 2015-07-03 12:15 ` David MENTRE
0 siblings, 0 replies; 2+ messages in thread
From: David MENTRE @ 2015-07-03 12:15 UTC (permalink / raw)
To: caml-list
Hello,
Le 03/07/2015 14:10, David MENTRE a écrit :
> most of the time the tool developed at MERCE around formal methods are
> made in OCaml. :-)
By the way, the only tools we are not developing in OCaml are tools
around Model Based Engineering/Design/... developed using Eclipse's
technologies (Acceleo, Java, EMF, Sirius, ...).
Is there any effort, library or framework to develop Model
transformation tools (model to text, model to model) in OCaml? Any OCaml
tool that can be combined with Eclipse technologies like EMF or Sirius?
Sincerely yours,
david
^ permalink raw reply [flat|nested] 2+ messages in thread
end of thread, other threads:[~2015-07-03 12:15 UTC | newest]
Thread overview: 2+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2015-07-03 12:10 [Caml-list] PhD position announcement: Timed contracts for Correct-by-Construction system design David MENTRE
2015-07-03 12:15 ` [Caml-list] Model-based engineering and OCaml David MENTRE
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).