Sciweavers

3901 search results - page 362 / 781
» software 2008
Sort
View
CODES
2008
IEEE
15 years 8 months ago
Slack analysis in the system design loop
We present a system-level technique to analyze the impact of design optimizations on system-level timing dependencies. This technique enables us to speed up the design cycle by su...
Girish Venkataramani, Seth Copen Goldstein
SIGSOFT
2008
ACM
15 years 6 months ago
JUnit 3.8 documented using collaborations
This paper describes the design of the unit testing framework JUnit v3.8. The documentation technique employed is an enhanced version of collaboration-based design, also known as ...
Dirk Riehle
TASE
2008
IEEE
15 years 6 months ago
Perspectives in Probabilistic Verification
Soon after the birth of the flourishing research area of model checking in the early eighties, researchers started to apply this technique to finite automata equipped with probabi...
Joost-Pieter Katoen
ESEM
2008
ACM
15 years 8 months ago
Problems in agile trenches
Some agile voices have been raised against extensive documentation. They advocate its sparse use and production. In this paper, we report from agile evolution and maintenance tren...
Mira Kajko-Mattsson
CSSE
2008
IEEE
16 years 1 months ago
The Piloting Researches on Collaborative Lesson-Preparing Based on Eduwiki Platform
—This paper describes a collaborative lesson-preparing Platform, named Eduwiki, which supports a community of inservice teachers creating, sharing, and improving capacity of less...
Chaohua Gong, Yueliang Zhou