Behavioral types for model-based development comprise ab- stract behavioral aspects of the models they are associated with. Behavioral types allow checking that a model fulfills these behavioral aspects. Furthermore, as types can be re- lated with each other, they support more complex checks and guarantees like compatibility in composition and refinement of models in a model based development process.

Project Activity

See All Activity >

Follow BehT

BehT Web Site

Other Useful Business Software
Managed MySQL, PostgreSQL, and SQL Databases on Google Cloud Icon
Managed MySQL, PostgreSQL, and SQL Databases on Google Cloud

Get back to your application and leave the database to us. Cloud SQL automatically handles backups, replication, and scaling.

Cloud SQL is a fully managed relational database for MySQL, PostgreSQL, and SQL Server. We handle patching, backups, replication, encryption, and failover—so you can focus on your app. Migrate from on-prem or other clouds with free Database Migration Service. IDC found customers achieved 246% ROI. New customers get $300 in credits plus a 30-day free trial.
Try Cloud SQL Free
Rate This Project
Login To Rate This Project

User Reviews

Be the first to post a review of BehT!

Additional Project Details

Intended Audience

Developers, Science/Research

User Interface

Eclipse

Registered

2012-06-25
Report inappropriate content