6978 search results - page 375 / 1396 » Reframing Requirements Analysis |
153
click to vote
KBSE
2005
IEEE
16 years 12 days ago
2005
IEEE
The term grammar-based software describes software whose input can be specified by a context-free grammar. This grammar may occur explicitly in the software, in the form of an in...
191
click to vote
VISUALIZATION
2005
IEEE
16 years 12 days ago
2005
IEEE
Simulations often generate large amounts of data that require use of SciVis techniques for effective exploration of simulation results. In some cases, like 1D theory of fluid dyn...
234
click to vote
PPOPP
2005
ACM
16 years 11 days ago
2005
ACM
Concurrent programs are notorious for containing errors that are difficult to reproduce and diagnose at run-time. This motivated the development of type systems that statically en...
174
click to vote
SIGSOFT
2004
ACM
16 years 7 days ago
2004
ACM
Software models provide independent perspectives onto software systems. Ideally, all models should use the same model element to describe the same part of a system. Practically, m...
183
click to vote
IEEEPACT
2003
IEEE
16 years 3 days ago
2003
IEEE
This paper presents a framework for analyzing the performance of multithreaded programs using a model called a constraint graph. We review previous constraint graph definitions fo...