5433 search results - page 97 / 1087 » Tool Support for Traceability-Adaptation |
132
click to vote
HICSS
2007
IEEE
15 years 10 months ago
2007
IEEE
Most test coverage analyzers help in evaluating the effectiveness of testing by providing data on statement and branch coverage achieved during testing. If made available, the cov...
141
click to vote
APN
2004
Springer
15 years 9 months ago
2004
Springer
Process mining offers a way to distill process models from event logs originating from transactional systems in logistics, banking, e-business, health-care, etc. The algorithms us...
129
click to vote
AIPS
2007
15 years 6 months ago
2007
A great effort has been made today in the area of Artificial Intelligence for defining reliable automated planning systems that can be applied in real life applications. That le...
141
click to vote
DC
2001
15 years 5 months ago
2001
Activity for standardization about educational information is prosperous internationally. The LOM standard is meta-data about learning objects. Learning objects are every types of...
122
click to vote
STTT
2008
15 years 4 months ago
2008
Abstract. This paper shows how a formal method in the form of Coloured Petri Nets (CPNs) and the supporting CPN Tools have been used in the development of the Course of Action Sche...