Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 228,379,573 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.
Review
2011
Review
2011
A Methodology for Automated Verification of Rosetta Specification Transformations
J. Lohoefener
2011
Corpus ID: 39814619
The Rosetta system-level design language is a specification language created to support design and analysis of heterogeneous…
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
Review
2001
Review
2001
Volcano hazards in the San Salvador region, El Salvador
J. Major
,
S. Schilling
,
D. Sofield
,
C. Escobar
,
C. Pullinger
2001
Corpus ID: 126795403
This map is preliminary and has not been reviewed for conformity with U.S. Geological Survey editorial standards or with the…
Expand
2001
2001
Lahar hazards at Mombacho Volcano, Nicaragua
J. Vallance
,
S. Schilling
,
G. Devoli
2001
Corpus ID: 126529149
2001 Base maps from Nicaragua 1:50,000 scale series; Masaya quadrangle, 1972 (2951 I); Nandaime quadrangle, 1972 (2951 II); Isla…
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
Review
1997
Review
1997
Experience programming applets with Ada95
Charles Kann
,
M. Feldman
,
J. Sibert
ALET
1997
Corpus ID: 41899925
Because of its ability to provide platform independent programs and active content on web pages, Java has created much excitement…
Expand
Review
1995
Review
1995
The GNAT implementation of controlled types
C. Comar
,
Gary Dismukes
,
F. Gasperoni
TRI-Ada
1995
Corpus ID: 17772977
This paper discusses the implementation model for supporting Ada 95 controlled npes in the GNAT compiler [I]. After reviewing the…
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
Information systems development in Ada
Benjamin M. Brosgol
,
Robert I. Eachus
,
D. Emery
Washington Ada Symposium
1994
Corpus ID: 18185810
Benjamin M. Brosgol Brosgol Consulting and Training 79 Tobey Road Belmont, MA 02178 (617) 489-4027 (617) 489-4009 (FAX) brosgol…
Expand
1977
1977
An introduction to the DREAM software design system
W. Riddle
,
John H. Sayler
,
Alan R. Segal
,
J. Wileden
SOEN
1977
Corpus ID: 14949940
We describe the underlying philosophy, the system organization and the design language of the <u>D</u>esign <u>R</u>ealization <u…
Expand
By clicking accept or continuing to use the site, you agree to the terms outlined in our
Privacy Policy
(opens in a new tab)
,
Terms of Service
(opens in a new tab)
, and
Dataset License
(opens in a new tab)
ACCEPT & CONTINUE