Sciweavers

7835 search results - page 129 / 1567
» Software are Processes Too
Sort
View
IWPC
2002
IEEE
15 years 9 months ago
Lightweight Impact Analysis using Island Grammars
Impact analysis is needed for the planning and estimation of software maintenance projects. Traditional impact analysis techniques tend to be too expensive for this phase, so ther...
Leon Moonen
FM
2008
Springer
135views Formal Methods» more  FM 2008»
15 years 5 months ago
Secret Ninja Formal Methods
The use of formal methods can significantly improve software quality. However, many instructors and students consider formal methods to be too difficult, impractical, and esoteric ...
Joseph R. Kiniry, Daniel M. Zimmerman
CODES
2009
IEEE
15 years 11 months ago
On compile-time evaluation of process partitioning transformations for Kahn process networks
Kahn Process Networks is an appealing model of computation for programming and mapping applications onto multi-processor platforms. Autonomous processes communicate through unboun...
Sjoerd Meijer, Hristo Nikolov, Todor Stefanov
METRICS
2003
IEEE
15 years 9 months ago
Queue-Based Cost Evaluation of Mental Simulation Process in Program Comprehension
Masahide Nakamura, Akito Monden, Tomoaki Itoh, Ken...