8179 search results - page 428 / 1636 » The PRACTIONIST Development Tool |
153
click to vote
QEST
2009
IEEE
16 years 1 months ago
2009
IEEE
Abstract—ITPN-PerfBound is a graphical tool for the modeling and performance bound analysis of Interval Time Petri Nets (ITPN), that has been developed within the DrawNET modelin...
152
click to vote
FM
2009
Springer
16 years 1 months ago
2009
Springer
We examine the the industrial application of formal methods using data gathered in a review of 62 projects taking place over the last 25 years. The review suggests that formal meth...
162
click to vote
KBSE
2008
IEEE
16 years 1 months ago
2008
IEEE
Code completion is a widely used productivity tool. It takes away the burden of remembering and typing the exact names of methods or classes: As a developer starts typing a name, ...
171
click to vote
SCAM
2008
IEEE
16 years 1 months ago
2008
IEEE
The presence of vulnerable statements in the source code is a crucial problem for maintainers: properly monitoring and, if necessary, removing them is highly desirable to ensure h...
169
click to vote
DATE
2005
IEEE
16 years 13 days ago
2005
IEEE
A technique based on the sensitivity of the output to input waveform is presented for accurate propagation of delay information through a gate for the purpose of static timing ana...