SDL Formal Semantics Tool Chain download

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

Project Activity

See All Activity >

License

BSD License

Follow SDL Formal Semantics Tool Chain

SDL Formal Semantics Tool Chain Web Site

Other Useful Business Software

MongoDB Atlas runs apps anywhere

Deploy in 115+ regions with the modern database for every enterprise.

MongoDB Atlas gives you the freedom to build and run modern applications anywhere—across AWS, Azure, and Google Cloud. With global availability in over 115 regions, Atlas lets you deploy close to your users, meet compliance needs, and scale with confidence across any geography.

Start Free

Rate This Project

User Ratings

5.0 out of 5 stars

★★★★★

★★★★

★★★

★★

★

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

Filter Reviews:

All

salcaraz Posted 2014-06-12

I have a problem. When I try to compile, I have the following error: -sh-3.2$ make all cd Syntax;make runtime make[1]: se ingresa al directorio `/home/salcaraz/sdlc/SDLC/Syntax' kc++ --yystype syn-abstract.k syn-semantics.k syn-pretty.k syn-genlex.k syn-gentoken.k syn-genyacc.k syn-ast2kst_simple.k syn-genk.k syn-gentxt.k syn-genasm.k syn-genasml.k syn-gensatanictoken.k syn-gensatanicsel.k syn-gensatanicin.k fallthrough.k syn-print.k syn-ast2kst.k kc++: error at syn-genasml.k:1 col:92: syntax error, unexpected $undefined specification -> @1 declarations . declarations -> declarations . declaration ' token last read was: ' make[1]: *** [.kc_time_stamp] Error 1 make[1]: se sale del directorio `/home/salcaraz/sdlc/SDLC/Syntax' make: *** [runtime_syntax] Error 2 ¿could you help me, please?

Additional Project Details

Operating Systems

BSD, Linux, Windows

Intended Audience

Developers, Telecommunications Industry

Programming Language

C#, C++

Related Categories

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

Registered

2003-07-05

Similar Business Software

Windsurf Editor

The Windsurf Editor is a free AI-powered IDE and AI coding assistant that accelerates development by providing intelligent code generation and agents in over 70 programming languages and more than 40 IDEs, including VSCode, JetBrains, and Jupyter Notebooks. With Windsurf, developers can write...

See Software
ActCAD Software

ActCAD is a native dwg/dxf cad software suitable for professional 2D drafting and 3D modeling projects. ActCAD is trusted by over 30000 users in over 103 countries for more than 10 years. The interface, commands, icons, dialogs, shortcuts etc. are very much similar to other popular cad software...

See Software
Evocon

Trusted by manufacturers worldwide, Evocon is a simple and easy-to-use OEE software that helps manufacturing companies improve their production efficiency and reduce waste. The system enables automated data collection, real-time data visualization, downtime tracking, bottleneck identification,...

See Software
AvPro Software

AvPro Software is comprehensive and easy-to-use. It's perfect for Aircraft MRO, Certified Repair Station (CRS), Aircraft Operators, and parts brokers. You can track Aircraft Parts I(nventory, Work Orders, and much more. Modular in nature and specifically designed for aircraft maintenance...

See Software
Kiota

Kiota is a client, plugin, and manifest generator for HTTP REST APIs described by OpenAPI. Available as a command-line tool and a Visual Studio Code (VS Code) extension, Kiota enables developers to search for API descriptions, filter and select specific endpoints, and generate models and a...

See Software
The Asset Guardian EAM (TAG)

Meet The Asset Guardian (TAG) Mobi – Tackle Downtime Now TAG Mobi is the solution for preventive maintenance and asset management (EAM) within Microsoft Dynamics 365 Business Central. It helps manufacturing teams reduce risk and minimize downtime by offering dependable, integrated asset...

See Software