Sign in

A Data Life Cycle Modeling Proposal by Means of Formal Methods.

Madalina G. CiobanuFausto FasanoFabio MartinelliFrancesco MercaldoAntonella Santone
Published in: AsiaCCS (2019)
Keyphrases
  • life cycle
  • formal methods
  • data quality
  • artificial intelligence
  • expert systems
  • design process
  • concurrent engineering