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