EE Product News

Tools Verify Applications From Executable Models

In BridgePoint 4.0, a software development tool suite, users can create and verify entire applications from executable UML models and translate them automatically into retargetable source code. The suite includes: a model builder for constructing models using the UML notation; a model verifier for interactive, incremental execution that enables users to identify faults early in the software development cycle; and a generator that creates retargetable source code in any programming language using a set of developer-written translation templates. The templates compile the models into the targeted programming language and give the developer control over all characteristics of the generated code. The suite lets developers manage the size and complexity of their applications.


Product URL: Click here for more information

Hide comments


  • Allowed HTML tags: <em> <strong> <blockquote> <br> <p>

Plain text

  • No HTML tags allowed.
  • Web page addresses and e-mail addresses turn into links automatically.
  • Lines and paragraphs break automatically.