Login / Signup

Non-intrusive Formal Methods and Strategic Rewriting for a Chemical Application.

Oana AndreiLiliana IbanescuHélène Kirchner
Published in: Essays Dedicated to Joseph A. Goguen (2006)
Keyphrases
  • formal methods
  • formal specification
  • formal analysis
  • development lifecycle
  • case study
  • multi agent
  • software development
  • decision support
  • black box