Vdm Sl Language


Advertisement

VDMJ  v.2.0.1

VDMJ provides basic tool support for the VDM-SL, VDM++ and VDM-RT specification languages, written in Java. It includes a parser, a type checker, an interpreter, a debugger and a proof obligation generator. It is used by the Overture eclipse project.

Language Coach

Language Coach expression drill and tutor software is a language teaching program for Windows. Within minutes, Language Coach lets you design lessons for your students to help them practise what they have been learning in class. The students can then ...





Advertisement

Language Reader  v.2.01

Language Reader takes advantage of existing speech technologies, provides a richer on-screen reading experience with multilingual voices enabled.

Supported voices are English, French, German, Italian, Spanish, Portuguese, Dutch, Russian, Japanese, ...

Language Learning Express

Lex is an efficient language learning tool for working on authentic material on the web. With Lex you can easily look up words, listen to pronunciations, highlight words and make your own gap filling exercises. Lex uses various sites on the Web to look ...

Nature Language Processing  v.4

LJParser Nature Language Processing Introduction: LJParser is a developing platform for web search and mining. It is a middleware by LING-JOIN Software, which is well known for over ten years of expertise in natural language understanding and web search.

Language Indicator Lite  v.1 1

Language Indicator Lite is a small tool designed to indicate the current language. The program shows in your system tray and text cursor a flag of the active keyboard layout.

The supported languages are: Danish, Dutch, English, Finnish, French, ...

Foreign Language Game Collection  v.2 2

Learn Spanish, French, Russian, Greece and other languages having fun with 5 motivating language games, a multiple choice test and a lesson editor. Each of the games Category, Word Invader, Memory with Words, Puzzle and WordTris supports a step in the ...

Learning English & Armenian Language  v.3 8

It is suitable for any language beginner who wants an entertaining self-study course to learn Armenian language.

Learning English & Armenian Language is part of a unique suite of language learning applications that will help you memorize thousands ...

ShowMagic SL Free Edition  v.13.0

ShowMagic SL Free Edition gives you complete control of your lighting and audio:
Create stunning lightshows easily.

Quickly program LED lighting and matrices - what took hours before can now be achieved in minutes.

Music, sound ...

Language Teacher 98 Eng-Alb  v.1.0.0.1

Ectaco Language Teacher for Windows is a software version of the Language Teacher electronic handheld dictionaries of Ectaco, Inc. You can use it on any personal computer with the Windows 95/98/ME/NT/2000/XP operating system. A large volume Albanian/English ...

Language Teacher 2000 Eng-Alb  v.1.0.0.1

Ectaco Language Teacher for Windows is a software version of the Language Teacher electronic handheld dictionaries of Ectaco, Inc. You can use it on any personal computer with the Windows 95/98/ME/NT/2000/XP operating system. A large volume Albanian/English ...

Language Teacher 2000 Eng-Ger  v.1.0.0.1

Ectaco Language Teacher for Windows is a software version of the Language Teacher electronic handheld dictionaries of Ectaco, Inc. You can use it on any personal computer with the Windows 95/98/ME/NT/2000/XP operating system. A large volume German/English ...

Language Teacher 2000 Eng-Ita  v.1.0.0.1

Ectaco Language Teacher for Windows is a software version of the Language Teacher electronic handheld dictionaries of Ectaco, Inc. You can use it on any personal computer with the Windows 95/98/ME/NT/2000/XP operating system. A large volume Italian/English ...

Language Teacher 2000 Eng-Fre  v.1.0.0.1

Ectaco Language Teacher for Windows is a software version of the Language Teacher electronic handheld dictionaries of Ectaco, Inc. You can use it on any personal computer with the Windows 95/98/ME/NT/2000/XP operating system. A large volume French/English ...

Gentee Programming Language  v.3. 6. 2003

The Gentee programming language can be classified as a procedure-oriented language with some features typical of object-oriented programming. It has no complicated constructions and is easy to use, but at the same time it is a powerful tool for solving ...

Pages : 1 | 2 >
Newest Reviews