5664 search results - page 686 / 1133 » Creativity support tools |
179
click to vote
OTM
2005
Springer
16 years 11 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 ...
169
click to vote
SPIN
2005
Springer
16 years 11 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...
196
click to vote
TCGOV
2005
Springer
16 years 11 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...
168
click to vote
UML
2005
Springer
16 years 11 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...
192
click to vote
UML
2005
Springer
16 years 11 days ago
2005
Springer
This paper presents ATL (ATLAS Transformation Language): a hybrid model transformation language that allows both declarative and imperative constructs to be used in transformation ...