Constructing Hardware-Software Systems From A Single Description

·1996·DOI
Health Data Science
Computational and Interdisciplinary Sciences
Software Engineering and Practices
Debugging and Reliability Techniques

Role in the Field

Neutralin Health Data Science
Neutralin Computational and Interdisciplinary Sciences
Neutralin Software Engineering and Practices
Neutralin Debugging and Reliability Techniques

Abstract

Citations

67

Year

1996

PageRank

2.6 / 10

Relative influence (log-scaled)

Related Papers

11 of 11 papers

Partial Orders For Efficient Bounded Model Checking Of Concurrent Software
·2013·112 citations
How Programmers Debug, Revisited: An Information Foraging Theory Perspective
·2013·98 citations
A Semantic Rule Checking Environment For Building Performance Checking
·2011·198 citations
Control-flow Checking By Software Signatures
·2002·410 citations
Principles Of Program Analysis
·1999·689 citations
Designing Programs That Check Their Work
·1995·214 citations
The Early History Of Smalltalk
·1993·136 citations
The Early History Of Smalltalk
·1993·102 citations
A Formal Model Of Program Dependences And Its Implications For Software Testing, Debugging, And Maintenance
·1990·278 citations
Designing Programs That Check Their Work
·1989·180 citations
A Probabilistic Model For Validation Of Behavioral Hierarchies
·1976·98 citations