Search Sciweavers | Sciweavers

10871 search results - page 189 / 2175

» A stable programming language

click to vote

SIGADA
1998
Springer

75views Programming Languages» more SIGADA 1998»

Visual Support for Incremental Abstraction and Refinement in Ada 95

14 years 3 months ago

Download www.sigada.org

T. Dean Hendrix, James H. Cross II, Larry A. Barow...

claim paper

Read More »

click to vote

SIGADA
1998
Springer

82views Programming Languages» more SIGADA 1998»

Use of Ada in Digital Radar Landmass Simulation (DRLMS)

14 years 3 months ago

Download www.sigada.org

Jim Hopper, Jennifer De Bilbiss, Harry Heaton, Tom...

claim paper

Read More »

click to vote

SIGADA
1998
Springer

71views Programming Languages» more SIGADA 1998»

A Specification and Code Generation Tool for Message Translation and Validation

14 years 3 months ago

Download www.accelse.com

Charles Plinta, Richard D'Ippolito, Roger Van Scoy

claim paper

Read More »

click to vote

SIGADA
1998
Springer

133views Programming Languages» more SIGADA 1998»

An ASIS-Based Static Analysis Tool for High-Integrity Systems

14 years 3 months ago

Download www.adastat.com

William W. Pritchett IV, John D. Riley

claim paper

Read More »

click to vote

SIGADA
1998
Springer

89views Programming Languages» more SIGADA 1998»

Implementing a Culling and Self-Intersection Algorithm for Stereolithography Files in Ada 95

14 years 3 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers