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.