Web Directory
 

KORSO

  Link Details for: KORSO
Link Title: KORSO Open in a new window
Link URL: http://www4.informatik.tu-muenchen.de/proj/korso/
Link Details: Deduction oriented Development of Specifications: language designed for modularizing large projects. Complex specifications can be hierarchically structured by combining specifications with renaming and hiding. Powerful enough to express implementation of
Category: Top : Computers : Programming : Languages : Specification
Link Type: Lock this listing - So it can't be removedLock this listing - and upgrade it to FeaturedReport this listingAdd a regular link to the same category
ScreenShot:
KORSO