Shin Sahara Home Page

Homepage in japanese

Imagine the World Movement

contents

• VDM
  VDM (Vienna Development Method) is a formal method on Software Development.
  • VDM Text Book
  • Overture = Open Source VDM++
  • Information in Japanese (Official Site)
  • information in Japanese (private)
    
• sigfm(Special Interest Group on Formal Method)
  • information in Japanese
    
• DrinkingSoftwareEngineer
  
• cats
  
• Family
  my mother is a painter. my family's picture. Huda is my palestine daughter.
• Gallery

---

Imagine the Wolrd Movement!
Shin Sahara