From: Shark8 <onewingedshark@gmail.com>
Subject: Re: exercices
Date: Sun, 24 Dec 2017 08:31:12 -0800 (PST)
Date: 2017-12-24T08:31:12-08:00 [thread overview]
Message-ID: <814eea7b-49ad-46a1-9071-00364238825f@googlegroups.com> (raw)
In-Reply-To: <c64aa914-0657-4536-ab30-2460d909c533@googlegroups.com>
On Sunday, December 24, 2017 at 7:41:45 AM UTC-7, Mehdi Saada wrote:
> ... Wasn't. Very short. Good explanations of the language features, doesn't teach at all how programmation itself. Even it was, there's an awful lack of corrected exercices, not theoretical courses, of which numerous and well written already exist, be it on programmation or specifically Ada.
This is true; it's something I'd like to address -- perhaps something along the lines of the "prove in the cloud" article/project from SPARK-2014.org -- http://www.spark-2014.org/entries/detail/prove-in-the-cloud -- but I'm not sure I have the skill to really teach it well (or at least write good lessons).
next prev parent reply other threads:[~2017-12-24 16:31 UTC|newest]
Thread overview: 12+ messages / expand[flat|nested] mbox.gz Atom feed top
2017-12-23 20:16 exercices Mehdi Saada
2017-12-23 20:30 ` exercices joakimds
2017-12-23 21:15 ` exercices Mehdi Saada
2017-12-24 14:41 ` exercices Mehdi Saada
2017-12-24 16:31 ` Shark8 [this message]
2017-12-25 8:10 ` exercices Dirk Heinrichs
2017-12-25 12:06 ` exercices Mehdi Saada
2017-12-26 10:50 ` exercices Dirk Heinrichs
2017-12-26 13:45 ` exercices Niklas Holsti
2017-12-27 12:35 ` exercices Björn Lundin
2017-12-27 14:25 ` exercices Niklas Holsti
2017-12-27 15:36 ` exercices Simon Wright
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox