5434 search results - page 664 / 1087 » Tool support for MOLA |
196
click to vote
TCGOV
2005
Springer
16 years 10 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...
167
click to vote
UML
2005
Springer
16 years 10 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 10 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 ...
152
click to vote
UML
2005
Springer
16 years 10 days ago
2005
Springer
Abstract. Security engineering deals with modeling, analysis, and implementation of complex security mechanisms. The dynamic nature of such mechanisms makes it difficult to anticip...
122
click to vote
WDAG
2005
Springer
16 years 10 days ago
2005
Springer
We introduce a new object, BH, and prove that a system with one BH object and single-writer Registers has the same computational power as a system with countably many commutative a...