computer science

Verdix

Verdix is a computer science topic covered in the lgStudy science library. This page brings together a partial reference excerpt, illustrations, worked examples, real-world applications and a short study plan, so you can understand Verdix rather than just read about it. In short: Verdix Corporation was an American software company active in the 1980s and 1990s and based in Fairfax County, Virginia, that specialized in language compilers for the Ada programming language. Verdix was founded in 1982 by George Cowan and Donn Milton.

Key takeaways

Verdix belongs to computer science; place it in that map before memorising details.
Learn the definition first, then one example that makes the definition concrete.
Connect Verdix to a quantity you can measure, compute or draw — that is where exam questions come from.
Reproduce the core statement of Verdix from memory before moving on to harder problems.

Reference excerpt

Verdix Corporation was an American software company active in the 1980s and 1990s and based in Fairfax County, Virginia, that specialized in language compilers for the Ada programming language. Verdix was founded in 1982 by George Cowan and Donn Milton. It became a public company in 1983. Cohen served as its CEO and chair while Milton managed the company's Ada Products Division. Its initial offices were in McLean, Virginia but it subsequently moved to Chantilly and then Herndon, all within Fairfax County in northern Virginia. The Verdix Ada Development System (VADS) provided a set of tools for software developers who create complex systems. It included an Ada compiler, a visual debugger, a library management system, and an efficient runtime system. VADS was sold in several configurations:

VADS self: For self-hosted systems running on workstations VADScross: For applications embedded in microprocessors VADSworks: For networked microprocessor applications providing critical communications and efficiency VADSpro: A complete configuration management system integrated with IDE OODSA/Ada, SART (automated reasoning tools), and Interleaf VADS APSE: VADSpro plus tools for developing CASE applications VSLAN (Verdix Secure Local Area Network): For developers working in highly secure environments The company achieved its first official validated Ada compiler in January 1985. Verdix became known for the large number of Ada compilers it offered on many different systems, selling both native compilers and cross-compilers for embedded systems architectures. By 1992 Verdix had 105 different Ada compilers on the Ada Joint Program Office validated compilers list, easily the most of any Ada vendor (next highest was Alsys with 60). Its revenues were around $13 million. The Ada software environment was originally thought to be a promising market, with a number of small, new companies including Verdix seeking to gain a foothold in it. But the Ada compiler business proved to be a difficult one to be in; many of the advantages of the language for general-purpose programming were not seen as such by the general software engineering community or by educators. Consolidations happened within the Ada software tools industry. In 1991 Verix bought Meridian Software Systems, another Ada compiler company. In 1994, Verdix itself was acquired by Rational Software.

References

Worked examples

Example 1 — a first encounter with Verdix

Start with the simplest possible case. Write down what Verdix claims or describes in one sentence, then invent the smallest concrete situation in which that sentence is true. In computer science, the smallest case is usually a single object, a single equation or a single measurement. Check that every symbol or term in your sentence has a meaning in that case.

Example 2 — changing one variable

Take the situation from Example 1 and change exactly one quantity: double it, halve it, or set it to zero. Predict what should happen to Verdix before you calculate. Comparing your prediction with the result is the fastest way to find out whether you understand the idea or only the words.

Example 3 — an exam-style question

Typical questions about Verdix ask you to (a) state it precisely, (b) apply it to given data, and (c) explain a limitation. Practise writing all three answers in under five minutes; the third part is what separates a full-mark answer from an average one.

Applications of Verdix

In research: Verdix appears in computer science research whenever the underlying quantities have to be modelled precisely. Papers usually cite it as a starting assumption and then explore where it breaks down.
In technology and industry: Engineering practice reuses Verdix in design rules, simulations and safety margins. Knowing the idea lets you read a specification sheet and understand why the numbers look the way they do.
In the classroom: Verdix is common in secondary-school and first-year university syllabi. It links to neighbouring topics 1982 establishments in Virginia, 1994 disestablishments in Virginia, Ada (programming language), so understanding it makes those chapters shorter.
In everyday life: Look for Verdix outside the textbook — in sport, cooking, traffic, electronics or the sky above you. An example you found yourself is remembered far longer than one you were given.

Ask Teacher Smith questions about this articleOpens your AI tutor with a question about “Verdix” →

Affiliate

Preply — study more efficiently by working with a personal tutor. 50% off.

How to study Verdix in 20 minutes

Read the reference excerpt below once, without taking notes.
Close the page and write down what Verdix means in your own words.
Compare your version with the excerpt and mark what you missed.
Work through the three examples above with pen and paper.
Explain Verdix out loud to somebody else — or to Teacher Smith in the lgStudy chat.

Frequently asked questions

What is Verdix in simple terms?

Why does Verdix matter?

Because it connects several computer science ideas at once: it gives you a definition you can apply, a quantity you can calculate, and a way to check whether a result is plausible.

How should I study Verdix?

Read the excerpt, restate it from memory, then work through the examples and applications listed on this page. The five-step study plan above takes about twenty minutes.

What does this page cover?

It gives you a compact reference excerpt plus original lgStudy explanations, examples, applications and study material on Verdix.