Titel

Merkliste
1 Ergebnisse

Improving your software using static analysis to find bugs:

, In: Companion to the 21st ACM SIGPLAN symposium on Object-oriented programming systems, languages, and applications,

Cole, Brian ; Hakim, Daniel ; Hovemeyer, David... - p. 673-674 , 2006

Link: https://dl.acm.org/doi/10.1145/1176617.1176667

RT 
T1 <cTitle>Companion to the 21st ACM SIGPLAN symposium on Object-oriented programming systems, languages, and applications</cTitle>: T1 <Title>Improving your software using static analysis to find bugs</Title>

UL https://suche.suub.uni-bremen.de/peid=acm-1176667&Exemplar=1&LAN=DE
				
A1 Cole, Brian
A1 Hakim, Daniel
A1 Hovemeyer, David
A1 Lazarus, Reuven
A1 Pugh, William
A1 Stephens, Kristin
PB ACM
YR 2006
K1 FindBugs
K1 Java
K1 static analysis
K1 Software and its engineering
K1 Software creation and management
K1 Software verification and validation
K1 Software development process management
K1 Theory of computation
K1 Semantics and reasoning
K1 Program reasoning
K1 Abstraction
K1 Designing software
K1 Software implementation planning
K1 Software design techniques
K1 Models of computation
K1 Abstract machines
K1 Computing methodologies
K1 Symbolic and algebraic manipulation
SP 673
OP 674
LK http://dx.doi.org/https://dl.acm.org/doi/10.1145/1176617.1176667
DO https://dl.acm.org/doi/10.1145/1176617.1176667
SF ELIB - SuUB Bremen

Export

RefWorks (nur Desktop-Version!)
Flow (Zuerst in Flow einloggen, dann importieren)