Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 236,794,647 papers from all fields of science
Search
Sign In
Create Free Account
Ada
Known as:
Limited type
, Ada programming language
, Ada 2005
Expand
Ada is a structured, statically typed, imperative, wide-spectrum, and object-oriented high-level computer programming language, extended from Pascal…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
50 relations
ACM Turing Award
ALGOL 58
ALGOL 60
B-Method
Expand
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
Review
2008
Review
2008
Seamless integration of mobile WiMAX in 3GPP networks
P. Taaghol
,
A. Salkintzis
,
Jay Iyer
IEEE Communications Magazine
2008
Corpus ID: 17647241
As the wireless industry makes its way to the next generation of mobile systems, it is important to engineer solutions that…
Expand
Review
1998
Review
1998
Good enough versus high assurance software testing and analysis methods
W. Howden
Proceedings Third IEEE International High…
1998
Corpus ID: 34320896
Good enough evaluation methods are reviewed, including low volume statistical testing. High assurance software is viewed as…
Expand
1996
1996
Constructing abstract models of concurrent real-time software
J. Corbett
International Symposium on Software Testing and…
1996
Corpus ID: 10088051
Concurrent real-time software is used in many safety-critical applications. Assuring the quality of such software requires the…
Expand
1995
1995
Reengineering Technology Report. Volume 2.
Michael R. Olsem
,
Chris Sittenauer
,
M. Dawood
,
Karen Rasmussen
1995
Corpus ID: 86466837
Abstract : The purpose of this report is to increase contact, awareness, and understanding of software reengineering tools. Use…
Expand
Review
1994
Review
1994
Specifying and Testing Software Components using ADL
R. Hayes
,
S. Sankar
1994
Corpus ID: 16317461
This paper presents a novel approach to unit testing of software components. This approach uses the specification language ADL…
Expand
1993
1993
Physics-based modelling of nonrigid objects for vision and graphics
Dimitris N. Metaxas
1993
Corpus ID: 60488343
This thesis develops a physics-based framework for 3D shape and nonrigid motion modeling for computer vision and computer…
Expand
1991
1991
Reforma do Código de processo penal
S. Beneti
1991
Corpus ID: 162423162
Procurador de Justica na Bahia. Ex-Assessor Especial do Procurador-Geral de Justica e Coordenador do Centro de Apoio Operacional…
Expand
1989
1989
PASCAL: Problem Solving and Program Design
M. Feldman
,
Elliot B. Koffman
1989
Corpus ID: 202980743
Highly Cited
1983
Highly Cited
1983
Nuclear Overhauser Effects and circular Dichroism as Probes of \beta.-turn Conformations in Acyclic and Cyclic Peptides with Pro-X Sequences
B. Rao
,
Anilesh Kumar
,
H. Balaram
,
A. Ravi
,
P. Balaram
1983
Corpus ID: 55518721
Nuclear Overhauser effects (NOE) and (CD) techniques have been used to probe \beta-turn conformations in acyclic and cyclic…
Expand
Highly Cited
1933
Highly Cited
1933
Leafy spurge : life history and habits
H. C. Hanson
,
V. E. Rudd
1933
Corpus ID: 83942596