Skip to search formSkip to main contentSkip to account menu

Principle of abstraction

Known as: Level of abstraction, Levels of abstraction 
The amount of complexity by which a system is viewed or programmed. The higher the level, the less detail. The lower the level, the more detail. The… 
Wikipedia (opens in a new tab)

Related topics

Related topics

2 relations
Argument mapFrenetic

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2006
Highly Cited
2006
Formal Verification of SystemC Designs Using a Petri-Net Based Representation
This paper presents an effective approach to formally verify SystemC designs. The approach translates SystemC models into a Petri… 
Highly Cited
2005
Highly Cited
2005
LusSy: a toolbox for the analysis of systems-on-a-chip at the transactional level
We describe a toolbox for the analysis of systems-on-a-chip described in SystemC at the transactional level. The tools are able… 
Highly Cited
2000
Highly Cited
2000
A Model for the Flow of Design Information in Product Development
The complexity of modern products and design tools has made the exchange of design information more complex. It is widely… 
Highly Cited
2000
Highly Cited
2000
Using graph rewriting to specify software architectural transformations
  • Hoda FahmyR. Holt
  • Proceedings ASE . Fifteenth IEEE International…
  • 2000
  • Corpus ID: 1295700
In order to understand, analyze and possibly modify software, we commonly examine and manipulate its architecture. For example… 
Highly Cited
1997
Highly Cited
1997
Using a Programming Language for Digital System Design
HDLs must satisfy important semantic requirements, especially when CAD tools are involved. Designers can meet these requirements… 
1994
1994
Occam: Specification and Compiler Correctness - Part I: The Primary Model
We develop several simple operational models of Occam at different levels of abstraction, and relate them by relative correctness… 
1991
1991
A visual cortex domain model and its use for visual information processing
Highly Cited
1989
Highly Cited
1989
Optimization in Model Matching and Perceptual Organization
We introduce an optimization approach for solving problems in computer vision that involve multiple levels of abstraction. Our… 
Highly Cited
1989
Highly Cited
1989
Many-sorted high-level nets
  • J. Billington
  • Proceedings of the Third International Workshop…
  • 1989
  • Corpus ID: 19675538
Many-sorted high-level nets (MHLNs) combine abstract data types and Petri nets within the same algebraic framework and include… 
Highly Cited
1980
Highly Cited
1980
Reading and learning from text
The authors provide teaching strategies that have been classroom tested for accuracy, practicality, and reliability. The methods… 
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)