Néstor Cataño

We don’t have enough information about this author to calculate their statistics. If you think this is an error let us know.
Learn More
This paper summarizes our experiences while teaching the Models of Software Systems (MSS) course as part of the MSIT-SE master programme at Carnegie Mellon University (CMU), in Pittsburgh, PA, USA, and at Innopolis University (INNO), in Tatarstan, Russia. The MSS is a Formal Methods course taught to Software Engineers in the Fall of every year. The author(More)
  • 1