From Informal Requirements to COOP : aConcurrent Automata

@inproceedings{Poizat1999FromIR,
  title={From Informal Requirements to COOP : aConcurrent Automata},
  author={ApproachPascal Poizat and Christine Choppy and Jean-Claude Royer},
  year={1999}
}
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