7139 search results - page 1023 / 1428 » Language Engineering in Practice |
164
click to vote
SCAM
2003
IEEE
16 years 5 days ago
2003
IEEE
Software maintenance, program analysis and transformation tools almost always rely on static source code analysis as the first and fundamental step to gather information. In the ...
215
click to vote
IUI
2003
ACM
16 years 5 days ago
2003
ACM
Authoring dynamic web pages is an inherently difficult task. We present DESK, an interactive authoring tool that allows the customization of dynamic page generation procedures wit...
193
click to vote
SIGSOFT
2003
ACM
16 years 5 days ago
2003
ACM
Model checking is an automated technique for verifying that a system satisfies a set of required properties. Such properties are typically expressed as temporal logic formulas, in...
208
click to vote
FM
2003
Springer
16 years 4 days ago
2003
Springer
Safety is increasingly important for software based, critical systems. Fault tree analysis (FTA) is a safety technique from engineering, developed for analyzing and assessing syste...
192
Voted
APSEC
2002
IEEE
15 years 12 months ago
2002
IEEE
We present a discrete simulation model for software projects which explicitly takes a scheduling strategy as input. The model represents varying staff skill levels, component coup...