News

• 04 2013

  PSC is the notation used by SDL-RT V2.3 to express temporal properties !!Patrizio Pelliccione

  SDL-RT is a tool that has been designed for real time developer teams looking for graphical representations of traditional concepts used in their domain without leaving behind legacy code and years of experience. Read More

• 01 2013

  PSC is the notation used by MSC Tracer to express temporal properties !!Patrizio Pelliccione

  PragmaDev MSC Tracer provides free on-line or off-line traces of your target behavior with a standard graphical representation. Read More

• 10 2011

  PSC is one of the notations adopted within the Presto project !!Patrizio Pelliccione

  PRESTO (ARTEMIS-2010-1-269362) is co-funded by the European Commission under the ARTEMIS Joint Undertaking Programme. The expected result of the project is to establish functional and performance analysis and platform optimisation at early stage of the design development. Read More