Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 237,164,928 papers from all fields of science
Search
Sign In
Create Free Account
Intermetrics
Known as:
Averstar
Intermetrics, Inc. was a software company founded in Cambridge, Massachusetts in 1969 by several veterans of M.I.T.'s Instrumentation Laboratory who…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
10 relations
Broader (1)
Ada
Alsys
Apollo Guidance Computer
CMS-2
CS-4
Expand
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2013
2013
1 Chapter 7 Software and the Challenge of Flight Control
N. Leveson
2013
Corpus ID: 18251170
A mythology has arisen about the Shuttle software with claims being made about it being “perfect software” and “bug-free” or…
Expand
2002
2002
Continuous Validation of Evolving Systems
Chris Garrity
2002
Corpus ID: 41610047
Abstract : The objective of this effort was to develop a mission critical software capabilities package and integrate it with a…
Expand
2001
2001
Keynote address: fixing software before it breaks
S. Taft
SIGAda Conference
2001
Corpus ID: 22823444
How far can we go in finding bugs in software using static analysis? What is practical? Ada already catches an order of magnitude…
Expand
2000
2000
Internet-based information management technology
R. Taylor
,
D. F. Redmiles
SOEN
2000
Corpus ID: 52829033
AverStar is presenting EWatch, a practical analysis and debug-ging tool for distributed, component-based software, with a…
Expand
1997
1997
Concurrent abnormal event handling mechanisms
W. Mok
1997
Corpus ID: 59895155
This thesis is about concurrent abnormal event (or exception) handling mechanisms (AEHM's). An AEHM is a crucial programming…
Expand
1996
1996
Scr as an Iv&v Tool
S. Easterbrook
,
J. Callahan
,
Steve
1996
Corpus ID: 8638442
This paper describes some preliminary work on the use of SCR-style speci cation as a tool for Independent Veri cation and…
Expand
1995
1995
Technology of object-oriented languages and systems TOOLS 17
R. Ege
,
M. Singh
,
B. Meyer
1995
Corpus ID: 60987090
This report contains papers and abstracts dealing with the techniques of object-oriented programming, programming languages, and…
Expand
1994
1994
HSIM1 and HSIM2: object oriented algorithms for VHDL simulation
Neeta Ganguly
,
V. Pitchumani
Proceedings of 7th International Conference on…
1994
Corpus ID: 32872401
In this paper we present two algorithms, HSIM1 and HSIM2, for the simulation of VHDL circuit descriptions. HSIM1 and HSIM2 are…
Expand
Review
1991
Review
1991
Support for distributed systems in Ada 9X
A. Wellings
ALET
1991
Corpus ID: 35002477
5.1 Iittr • odtiction this report summarizes the discussions that took place at the Fifth International Workshop on Real-tim e…
Expand
1982
1982
Ada TOPS-20 Prototype Compiler (Intermetrics) (Release 4.10).
Anna Prusinski
1982
Corpus ID: 56686550
Abstract : The ADA/TOPS-20 PROTOTYPE Compiler (Intermetrics), APCI, is a compiler for the full Ada language. It is hosted on TOPS…
Expand