7404 search results - page 414 / 1481 » New Tools in Education |
199
click to vote
EMSOFT
2005
Springer
16 years 12 days ago
2005
Springer
UPPAAL-TRON is a new tool for model based online black-box conformance testing of real-time embedded systems specified as timed automata. In this paper we present our experiences...
188
click to vote
ICESS
2004
Springer
16 years 10 days ago
2004
Springer
In this paper we present a new modeling technique using software engineering tool Flow Model for modeling and solving the Dynamic Power Management (DPM) with complex behavioral cha...
131
click to vote
ITC
2003
IEEE
16 years 7 days ago
2003
IEEE
This paper presents the impact of multiple-detect test patterns on outgoing product quality. It introduces an ATPG tool that generates multiple-detect test patterns while maximizi...
161
click to vote
KBSE
1997
IEEE
15 years 11 months ago
1997
IEEE
There are a number of competing component models in use today. Most are language-independent, but also platform-dependent and not designed to support a tool-based development para...
193
click to vote
SERP
2004
15 years 8 months ago
2004
Despite the ubiquity of XML, research in metrics for XML documents is scarce. This paper proposes and discusses eleven metrics to measure the quality and complexity of XML Schema ...