1376 search results - page 27 / 276 » Monitoring Software Requirements Using Instrumented Code |
STEP
2003
IEEE
15 years 3 months ago
2003
IEEE
The reengineering of legacy software systems to modern Object Oriented platforms has received significant attention over the past few years. However, most often the reengineering ...
ISSTA
2010
ACM
14 years 11 months ago
2010
ACM
SAT-based bounded verification of annotated code consists of translating the code together with the annotations to a propositional formula, and analyzing the formula for specifica...
EUROSYS
2007
ACM
15 years 6 months ago
2007
ACM
The vulnerabilities which plague computers cause endless grief to users. Slammer compromised millions of hosts in minutes; a hit-list worm would take under a second. Recently prop...
ISORC
2009
IEEE
15 years 4 months ago
2009
IEEE
In his article entitled "From Play-In Scenarios to Code: An Achievable Dream", David Harel presented a development schema that makes it possible to go from high-level us...
149
click to vote
SEKE
2010
Springer
14 years 8 months ago
2010
Springer
— Many open source software (OSS) development projects use tools and models that come from heterogeneous sources. A project manager, who wants to analyze indicators for the state...