Login / Signup

Verifying the CICS File Control API with Z/Eves: An experiment in the verified software repository.

Leo FreitasJim WoodcockYichi Zhang
Published in: Sci. Comput. Program. (2009)
Keyphrases
  • software repositories
  • source code
  • source files
  • control system
  • decision making
  • software systems
  • control strategy
  • databases
  • high level
  • raw data
  • historical data
  • software evolution