Search Results for "computer-aided software engineering" - Page 2

HSPL is Human Speakable Programming Language, allowing for communication between human-to-computer and human-to-human in the same language. This project has moved to http://sourceforge.net/p/spel We are currently working on human-to-computer programming-language with mostly English base vocabulary. Though once we have that, we plan to add support for other world Languages, including Chinese, Spanish, Russian, Arabic, Hindi, among others. Eventually HSPL shall be the...

Yorick is an interpreted programming language for scientific simulations or calculations, postprocessing or steering large simulation codes, interactive scientific graphics, and reading, writing, or translating large files of numbers.

Magda is a programming language introduced in Jarek Kusmierek's PhD (http://www.mimuw.edu.pl/~jdk/mixiny.pdf) and continued in Mauro Mulatero's thesis (http://www.tesionline.it/default/tesi.asp?idt=45612). Magda's goal is to allow a programmer to write well-modularized, reusable code. Magda is based upon the core notion of mixin as the only unit of reuse. The power of modularization of mixins is enhanced by two unique features. The first feature is the modularization of...

Development environment for Karl Fant's Invocation Programming Language described in "Computer Science Reconsidered" (Wiley, 2007)

Programming language based off pure type systems, and COQ. Currently aimed at both systems, and application programming. Has a simple syntax, and (planned) C integration.