5433 search results - page 512 / 1087 » Tool Support for Traceability-Adaptation |
244
click to vote
FORMATS
2004
Springer
15 years 11 months ago
2004
Springer
We discuss the modeling and verification of real-time systems using the SAL model checker. A new modeling framework based on event calendars enables dense timed systems to be descr...
199
click to vote
DEXA
2006
Springer
15 years 11 months ago
2006
Springer
Wikis are becoming popular knowledge management tools. Analysing knowledge management requirements, we observe that wikis do not fully support structured search and knowledge reuse...
190
click to vote
ECTEL
2006
Springer
15 years 11 months ago
2006
Springer
Abstract. The paper provides an overview of the elaboration, testing and improvement of Movelex, a complex virtual learning environment (VLE) supporting the establishment of self-r...
203
click to vote
APAQS
2001
IEEE
15 years 11 months ago
2001
IEEE
Infinite looping is a common type of program error. This paper studies the detection of infinite loops in imperative programs. A sufficient condition is given, which is based on p...
183
click to vote
ICSE
2000
IEEE-ACM
15 years 11 months ago
2000
IEEE-ACM
The development of software systems is a complex process involving a variety of individual tasks, collaborative work, and lifecycle management of the resulting products and produc...