Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 236,833,793 papers from all fields of science
Search
Sign In
Create Free Account
Abstraction (software engineering)
Known as:
Abstraction in object-oriented programming
, Abstraction (computer science)
, Abstraction (programming)
Expand
In software engineering and computer science, abstraction is a technique for arranging complexity of computer systems. It works by establishing a…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
50 relations
Abstract data type
Abstract interpretation
Abstraction principle (computer programming)
Algorithm
Expand
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2012
2012
Development and Evaluation of User Interfaces for Situation Observability in Life Support Systems
Hilary Taylor
,
Benjamin Lee
,
Jerome Jhingory
,
G. Drayer
,
A. Howard
2012
Corpus ID: 55241885
a solution to this problem. Such interfaces are user-centered and allow the human operators to gain situation awareness and…
Expand
2009
2009
An Architecture for Linguistic and Semantic Analysis on the arXMLiv Corpus
Deyan Ginev
,
C. Jucovschi
,
Stefan Anca
,
Mihai Grigore
,
Catalin David
,
M. Kohlhase
GI Jahrestagung
2009
Corpus ID: 7627797
The ARXMLIV corpus is a remarkable collection of text containing scientific mathematical discourse. With more than half a million…
Expand
1993
1993
Abstract analysis with aspect
D. Jackson
International Symposium on Software Testing and…
1993
Corpus ID: 17189694
Aspect is a static analysis technique for detecting bugs in code based on three forms of abstraction: declarative specification…
Expand
1993
1993
Decomposing and Recomposing Transactional Concepts
Jeannette M. Wing
ECOOP Workshop
1993
Corpus ID: 20550228
Distributed systems are different from concurrent (and parallel) systems because they need to deal with failures, not just…
Expand
1992
1992
Data Abstraction in Engineering Software Development
J. Baugh
,
D. Rehak
1992
Corpus ID: 195710050
Large-scale engineering analysis programs are among the most difficult to develop, maintain, and extend. The translation of a few…
Expand
1992
1992
A General Framework for Concurrent Simulation of Neural Network Models
G. Heileman
,
M. Georgiopoulos
,
W. D. Roome
IEEE Trans. Software Eng.
1992
Corpus ID: 5222781
The analysis of complex neural network models via analytical techniques is often quite difficult due to the large numbers of…
Expand
1992
1992
Extensions to Standard ML to Support Transactions
Jeannette M. Wing
,
M. Fähndrich
,
J. G. Morrisett
,
S. Nettles
1992
Corpus ID: 6478721
A transaction is a control abstraction that lets programmers treat a sequence of operations as an atomic ("all-or-nothing") unit…
Expand
1991
1991
An evaluation framework for algebraic object-oriented query models
Li Yu
,
Sylvia L. Osborn
[] Proceedings. Seventh International Conference…
1991
Corpus ID: 30394808
An evaluation framework consisting of five categories of criteria is developed for evaluating the relative merits of objects…
Expand
1990
1990
Restructuring for style
J. Zimmer
Software, Practice & Experience
1990
Corpus ID: 206509546
An older FORTRAN program is restructured to a style that is related to data abstraction and object‐oriented programming. The…
Expand
1985
1985
Communicating Modules: A Software Design Model for Concurrent Distributed Systems
B. Witt
Computer
1985
Corpus ID: 17216758
This design model separates application logic from control logic to help designers of distributed and concurrent programs exploit…
Expand