Atelier B Graphical User Interface download

The project contains the Atelier B graphical interface source code. Atelier B is a CASE tool, based on the B language, allowing the development of mathematically proved, default free software.

Project Samples

Project Activity

See All Activity >

License

GNU General Public License version 2.0 (GPLv2)

Follow Atelier B Graphical User Interface

Atelier B Graphical User Interface Web Site

Other Useful Business Software

Find Hidden Risks in Windows Task Scheduler

Free diagnostic script reveals configuration issues, error patterns, and security risks. Instant HTML report.

Windows Task Scheduler might be hiding critical failures. Download the free JAMS diagnostic tool to uncover problems before they impact production—get a color-coded risk report with clear remediation steps in minutes.

Download Free Tool

Rate This Project

User Reviews

Be the first to post a review of Atelier B Graphical User Interface!

Additional Project Details

Operating Systems

BSD, Linux, Windows

User Interface

Project is a user interface (UI) system

Programming Language

C++

Related Categories

C++ User Interface (UI) Software

Registered

2008-08-13

Similar Business Software

Kevel

Kevel (previously Adzerk) gives you the APIs needed to quickly build your own fully-customized ad server for sponsored listings, internal promotions, native ads, and more – so you can take back the Internet and drive more online revenue. Our award-winning platform handles over three billion API...

See Software
Miro

Keep your team's minds in sync with Miro (formerly RealtimeBoard and AWW app). A virtual whiteboard and remote collaboration tool, Miro helps cross-functional teams work more efficiently together to build great things. The platform allows teams to ideate, visualize, and share ideas without any...

See Software
Anima

Anima is a continuous design-to-code platform that allows designers to create and build fully-responsive prototypes that look and act like the end product while using their own design tool (Figma, Adobe XD & Sketch). Anima eases the handoff process to developers by automatically converting...

See Software
Userback

Userback is the leading user feedback and bug tracking solution for software teams looking to understand users and build better products. With Userback, you can collect metadata-enriched visual feedback and gain deep insights into your user's sentiment and behavior with in-app surveys like...

See Software
Ruttl

ruttl is the fastest way for product, marketing, sales and support teams to collect visual feedback, collaborate, and manage ideas through tools like website feedback, bug tracking and mobile app feedback. Users can leave comments directly on live websites/apps and make real time edits so they...

See Software
Smartlook

Smartlook is a qualitative analytics solution for websites and mobile apps helping over 300,000 businesses of all sizes and industries answer the "whys" behind their users' actions. Eliminate the guesswork and discover real, actionable reasons. With a unique feature set, Smartlook finally...

See Software