Search Sciweavers | Sciweavers

10575 search results - page 161 / 2115

» T2Script Programming Language

110

click to vote

SIGADA
1998
Springer

75views Programming Languages» more SIGADA 1998»

Visual Support for Incremental Abstraction and Refinement in Ada 95

15 years 10 months ago

Download www.sigada.org

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

claim paper

Read More »

122

click to vote

SIGADA
1998
Springer

82views Programming Languages» more SIGADA 1998»

Use of Ada in Digital Radar Landmass Simulation (DRLMS)

15 years 10 months ago

Download www.sigada.org

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

claim paper

Read More »

114

click to vote

SIGADA
1998
Springer

71views Programming Languages» more SIGADA 1998»

A Specification and Code Generation Tool for Message Translation and Validation

15 years 10 months ago

Download www.accelse.com

Charles Plinta, Richard D'Ippolito, Roger Van Scoy

claim paper

Read More »

158

click to vote

SIGADA
1998
Springer

133views Programming Languages» more SIGADA 1998»

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

15 years 10 months ago

Download www.adastat.com

William W. Pritchett IV, John D. Riley

claim paper

Read More »

127

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

15 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers