Tools Verify Applications From Executable Models

Jan. 1, 1999
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

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.

Company: PROJECT TECHNOLOGY INC.

Product URL: Click here for more information

About the Author

Staff

Articles, galleries, and recent work by members of Electronic Design's editorial staff.

Sponsored Recommendations

Comments

To join the conversation, and become an exclusive member of Electronic Design, create an account today!