Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 234,859,403 papers from all fields of science
Search
Sign In
Create Free Account
Verdix
Verdix Corporation was an American software company active in the 1980s and 1990s and based in Fairfax County, Virginia, that specialized in language…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
6 relations
Broader (1)
Ada
Alsys
Automated reasoning
Computer-aided software engineering
Configuration management
Expand
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
1992
1992
Performance and Ada Style for the AN/BSY-2 Submarine Combat System
Neal Altman
,
P. Donohoe
1992
Corpus ID: 110232790
Abstract : The performance of programs prepared with the Verdix Ada Development System (VADS) was measured and analyzed for…
Expand
1991
1991
VADS APSE: an integrated Ada programming support environment
E. Matthews
,
G. Burns
SETA1
1991
Corpus ID: 13949939
During the 1980's, the United States Department of Defense developed the Ada language to combat the growing "software crisis…
Expand
1990
1990
Ada-oriented software engineering environments
L. Druffel
TRI-Ada
1990
Corpus ID: 40363754
Among the objectives of the Ada Program was to benefit from modern software engineering practices supported by powerful tools…
Expand
1990
1990
Evaluation of the ACEC Benchmark Suite for Real-Time Applications
A. Goel
1990
Corpus ID: 60140131
Abstract : This technical report has been developed by the Center for Software Engineering, US Army CECOM to evaluate the Ada…
Expand
1989
1989
Parallel compilation of Ada units
B. Cockerham
TRI-Ada
1989
Corpus ID: 17758180
Parallel compilation—compiling independent Ada units or files in parallel—offers a potentially enormous savings in the total…
Expand
1987
1987
Cross-debugging real-time Ada programs
G. Burns
International Workshop on Real-Time Ada
1987
Corpus ID: 39751023
Programming errors can arise in the most carefully designed and implemented system. Even in the rare case that an initial system…
Expand