Ernesto Bossi wrote
Hi, i'd like to know where can i get the lastest package for Spec in Pharo and some documentation/tutorials to get started with this framework?
Thanks in advance
-- View this message in context: http://forum.world.st/Spec-package-tp4647870p4647973.html Sent from the Pharo Smalltalk Users mailing list archive at Nabble.com.
Spec can be found on gemstone Gofer it gemsource:'Spec'; package: 'ConfigurationOfSpec'; load. (Smalltalk at: #ConfigurationOfSpec) perform: #loadDefault About documentation, you can read: - a tech report: http://hal.inria.fr/docs/00/70/80/67/PDF/SpecTechReport.pdf - a paper with an example at the end of this proceeding: http://www.esug.org/wiki/pier?_s=oOhAZvObeKyruLCa You know also ask me as many questions as you want :) Good luck Ben On Sep 18, 2012, at 3:09 PM, Sean P. DeNigris wrote:
Ernesto Bossi wrote
Hi, i'd like to know where can i get the lastest package for Spec in Pharo and some documentation/tutorials to get started with this framework?
Thanks in advance
-- View this message in context: http://forum.world.st/Spec-package-tp4647870p4647973.html Sent from the Pharo Smalltalk Users mailing list archive at Nabble.com.
Ben, On 19 Sep 2012, at 19:16, Benjamin <benjamin.vanryseghem.pharo@gmail.com> wrote:
Spec can be found on gemstone
Gofer it gemsource:'Spec'; package: 'ConfigurationOfSpec'; load.
(Smalltalk at: #ConfigurationOfSpec) perform: #loadDefault
About documentation, you can read: - a tech report: http://hal.inria.fr/docs/00/70/80/67/PDF/SpecTechReport.pdf - a paper with an example at the end of this proceeding: http://www.esug.org/wiki/pier?_s=oOhAZvObeKyruLCa
You know also ask me as many questions as you want :)
The second link does not point to anything. Also, is a recent version of Spec always part of Pharo 2.0 ? Sven -- Sven Van Caekenberghe http://stfx.eu Smalltalk is the Red Pill
On Sep 21, 2012, at 6:41 PM, Sven Van Caekenberghe <sven@stfx.eu> wrote:
About documentation, you can read: - a tech report: http://hal.inria.fr/docs/00/70/80/67/PDF/SpecTechReport.pdf - a paper with an example at the end of this proceeding: http://www.esug.org/wiki/pier?_s=oOhAZvObeKyruLCa
You know also ask me as many questions as you want :)
The second link does not point to anything.
Ah that's a seaside permanent link issue. Go here www.esug.org/wiki/pier/Conferences/2012/International-Workshop---IWST-2012 and then download the Proceedings_IWST_2012.pdf file in the 'Downloads' section. Sorry for that, that's out of our hands ...
Also, is a recent version of Spec always part of Pharo 2.0 ?
As far as I understood, yes. ---> Save our in-boxes! http://emailcharter.org <--- Johan Fabry - http://pleiad.cl/~jfabry PLEIAD lab - Computer Science Department (DCC) - University of Chile
On 21 Sep 2012, at 23:58, Johan Fabry <jfabry@dcc.uchile.cl> wrote:
Ah that's a seaside permanent link issue. Go herewww.esug.org/wiki/pier/Conferences/2012/International-Workshop---IWST-2012 and then download the Proceedings_IWST_2012.pdf file in the 'Downloads' section. Sorry for that, that's out of our hands ...
Got it, thanks Johan ! -- Sven Van Caekenberghe http://stfx.eu Smalltalk is the Red Pill
And actually the correct gofer is Gofer it squeaksource3:'Spec'; package: 'ConfigurationOfSpec'; load. Ben On Sep 22, 2012, at 12:09 AM, Sven Van Caekenberghe wrote:
On 21 Sep 2012, at 23:58, Johan Fabry <jfabry@dcc.uchile.cl> wrote:
Ah that's a seaside permanent link issue. Go herewww.esug.org/wiki/pier/Conferences/2012/International-Workshop---IWST-2012 and then download the Proceedings_IWST_2012.pdf file in the 'Downloads' section. Sorry for that, that's out of our hands ...
Got it, thanks Johan !
-- Sven Van Caekenberghe http://stfx.eu Smalltalk is the Red Pill
On 22 Sep 2012, at 00:09, Sven Van Caekenberghe <sven@stfx.eu> wrote:
On 21 Sep 2012, at 23:58, Johan Fabry <jfabry@dcc.uchile.cl> wrote:
Ah that's a seaside permanent link issue. Goherewww.esug.org/wiki/pier/Conferences/2012/International-Workshop---IWST-2012 and then download the Proceedings_IWST_2012.pdf file in the 'Downloads' section. Sorry for that, that's out of our hands ...
Got it, thanks Johan !
The IWST 2012 Spec paper is really useful, I am starting to understand it now. But the real code in the image is way more complex than the examples ;-) Some kind of Spec cookbook would be welcome. Sven -- Sven Van Caekenberghe http://stfx.eu Smalltalk is the Red Pill
On Sep 22, 2012, at 6:04 PM, Sven Van Caekenberghe <sven@stfx.eu> wrote:
The IWST 2012 Spec paper is really useful, I am starting to understand it now.
But the real code in the image is way more complex than the examples ;-)
Some kind of Spec cookbook would be welcome.
In my experience it was not too complex to build a UI. But then again, I had Ben at hand to clear up any issues I had. Yet the structure of the code really helped: public methods in the 'protocol' protocols, and now the metadata present in the public methods. So the idea was that this should be sufficient. Can you elaborate on the complexities so that we can address them? ---> Save our in-boxes! http://emailcharter.org <--- Johan Fabry - http://pleiad.cl/~jfabry PLEIAD lab - Computer Science Department (DCC) - University of Chile
participants (4)
-
Benjamin -
Johan Fabry -
Sean P. DeNigris -
Sven Van Caekenberghe