Login / Signup

OO-METHOD: An OO Software Production Environment Combining Conventional and Formal Methods.

Oscar PastorEmilio InsfránVicente PelechanoJosé Raúl RomeroJosé Merseguer
Published in: CAiSE (1997)
Keyphrases
  • formal methods
  • object oriented
  • object oriented databases
  • software engineering
  • programming language
  • high level
  • relational databases
  • xml documents
  • mobile robot
  • open source
  • software systems
  • design methodology