5433 search results - page 635 / 1087 » Tool Support for Traceability-Adaptation |
212
click to vote
OTM
2005
Springer
16 years 18 days ago
2005
Springer
Abstract. The interoperability of heterogeneous data sources is an important issue in many applications such as mediation systems or web-based systems. In these systems, each data ...
190
click to vote
OTM
2005
Springer
16 years 18 days ago
2005
Springer
Courseware increasingly consists of generic information and communication tools. These offer a plethora of functionalities, but their usefulness to a particular learning community ...
174
click to vote
SPIN
2005
Springer
16 years 17 days ago
2005
Springer
Embedded software verification is an important verification problem that requires the ability to reason about the timed semantics of concurrent behaviors at a low level of atomic...
205
click to vote
TCGOV
2005
Springer
16 years 17 days ago
2005
Springer
As software processes for developing eGovernment services become more complex, it is necessary to provide computer-based tools to support the software engineering process. Furtherm...
187
click to vote
UML
2005
Springer
16 years 17 days ago
2005
Springer
It is hard to develop and evolve software product-line architectures (PLAs) for large-scale distributed real-time and embedded (DRE) systems. Although certain challenges of PLAs ca...