From Informal Requirements to COOP : aConcurrent Automata

  title={From Informal Requirements to COOP : aConcurrent Automata},
  author={ApproachPascal Poizat and Christine Choppy and Jean-Claude Royer},
Methods are needed to help using formal speciications in a practical way. We herein present a method for the development of mixed systems, i.e. systems with both a static and a dynamic part. Our method helps the speciier providing means to structure the system in terms of communicating subcomponents and to give the sequential components using a semi… CONTINUE READING