Integrating formal analysis techniques into the Progress-IDE

Bachelor thesis English OPEN
Ivanov, Dinko;
  • Publisher: Mälardalens högskola, Akademin för innovation, design och teknik
  • Subject: Programvaruteknik | component-based software engineering | tool-chain | formal analysis | Software Engineering | behavioral modeling | ProCom | REMES

In this thesis we contribute to the Progress IDE, an integrated development enviroment for real-time embedded systems and more precisely to the REMES toolchain, a set of tools to enabling construction and analysis of embedded system behavior models. The contribution aim... View more
Share - Bookmark