Login / Signup

Methodologies to evolve formal specifications through refinement and retrenchment in an analysis-revision cycle.

Jorge García DuqueJosé Juan Pazos-AriasMartín López NoresYolanda Blanco-FernándezAna Fernández VilasRebeca P. Díaz RedondoManuel Ramos CabrerAlberto Gil-Solla
Published in: Requir. Eng. (2009)
Keyphrases
  • formal specification
  • case study
  • data analysis
  • databases
  • information systems
  • software engineering
  • statistical analysis
  • model checking
  • specification language