j
: Next unread message k
: Previous unread message j a
: Jump to all threads
j l
: Jump to MailingList overview
Hi, I'm new to Smalltalk and Squeak in particular. I've mainly used Forth and Prolog up to now. By preference I use VDM for specifictions. The OOD methods I've briefly looked at do not seem very rigorous. Z++ and VDM++ both feel like hybrids.
What design methods do people think are best suited to Squeak? Should I continue to use VDM and predicate calculus, as I do for Prolog.
squeak-dev@lists.squeakfoundation.org