Search Results for "computer aided software engineering"

TRURL is a suite of desktop calculators with reverse Polish notation (RPN) written in Object Pascal. Additionally, it comes with a free reusable class library (RPN Engine) as a toolbox for creating your own calculator. TRURL is an acronym for "TRURL is a Reusable Universal RPN Library". Class Libraries: • RPN Engine: Full-featured calculation engine for Pascal-based RPN calculators • Segmitator: Library for virtual seven-segment displays Applications: • TRURL A: Simple demo app...

TILP (formerly GtkTiLink) can transfer data between Texas Instruments graphing calculators and a computer. It works with all link cables (parallel, serial, Black/Gray/Silver/Direct Link) and it supports the TI-Z80 series (73..86), the TI-eZ80 series (83PCE, 84+CE), the TI-68k series (89, 92, 92+, V200, 89T) and the Nspire series (Nspire Clickpad / Touchpad / CX, both CAS and non-CAS). The project is now managed on Github, https://github.com/debrouxl/tilp_and_gfm . It uses the libti*...

The Penn Lambda Calculator is an interactive, graphics-based pedagogical software that helps students of linguistics and computer science practice the typed lambda calculus.

The program evaluates ordinal expressions and relations. displaying the normal form output in plain text and/or TeX format. It supports notations for ordinals through and somewhat beyond those definable by the Veblen function.

Large Integer Calculator. Includes most arithmetic functions plus named memory values.

We introduce a completely visual representation based on typed Mind Maps to represent steps of calculation for a pure untyped lambda calculator, VLM.

Applications for mobile phones with Java installed (KVM MIPS 2), which functions as a calculator to solve basic problems offered to scientists of computing.