A Semantic Rule Checking Environment For Building Performance Checking

·2011·DOI
Health Data Science
Data Science and Technologies
Software Engineering and Practices
Debugging and Reliability Techniques

Role in the Field

Neutralin Health Data Science
Neutralin Data Science and Technologies
Neutralin Software Engineering and Practices
Neutralin Debugging and Reliability Techniques

Abstract

Citations

198

Year

2011

PageRank

2.6 / 10

Relative influence (log-scaled)

Related Papers

10 of 10 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
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