Tools for the formal semantics of SDL-2000 (ITU-T Specification and Description Language)

Project Activity

See All Activity >

Categories

Code Generators, Scientific/Engineering

License

BSD License

Follow SDL Formal Semantics Tool Chain

SDL Formal Semantics Tool Chain Web Site

You Might Also Like
The Rewards as a Service (RaaS®) API is a robust digital gift card API built to power rewards and incentives in today’s apps and platforms. Icon
The Rewards as a Service (RaaS®) API is a robust digital gift card API built to power rewards and incentives in today’s apps and platforms.

For companies of all sizes that want to reward or incentivize their target audiences

We're the rewards and payments people. We bundle easy-to-use technology, desirable rewards, and expert service to help companies get the most out of their reward and incentive programs—from customer loyalty and employee engagement to wellness and research participation. With our leading reward-delivery technology, customers can instantly deliver digital gift cards to their recipients, maximizing impact and driving real business results.
Learn More
Rate This Project
Login To Rate This Project

User Ratings

5.0 out of 5 stars
★★★★★
★★★★
★★★
★★
★
1
0
0
0
0
ease 1 of 5 2 of 5 3 of 5 4 of 5 5 of 5 5 / 5
features 1 of 5 2 of 5 3 of 5 4 of 5 5 of 5 5 / 5
design 1 of 5 2 of 5 3 of 5 4 of 5 5 of 5 5 / 5
support 1 of 5 2 of 5 3 of 5 4 of 5 5 of 5 5 / 5

User Reviews

Be the first to post a review of SDL Formal Semantics Tool Chain!

Additional Project Details

Operating Systems

Linux, BSD, Windows

Intended Audience

Telecommunications Industry, Developers

Programming Language

C#, C++

Related Categories

C# Code Generators, C# Scientific Engineering, C++ Code Generators, C++ Scientific Engineering

Registered

2003-07-05
Report inappropriate content