296 search results - page 17 / 60 » Modeling in an Architectural Variability Description Languag... |
116
click to vote
CIT
2007
Springer
15 years 5 months ago
2007
Springer
Existence of crosscutting concerns in software requirements often intensifies complexity of software development. Modeling and analysis of these concerns at software architecture ...
117
Voted
CSMR
2000
IEEE
15 years 6 months ago
2000
IEEE
This paper presents a technique for recovering the high level design of legacy software systems according to user defined architectural plans. Architectural plans are represented...
139
click to vote
ADAEUROPE
2005
Springer
15 years 7 months ago
2005
Springer
Distributed Real-Time (DRE) systems require the verification of their properties to ensure both reliability and conformance to initial requirements. Architecture description langu...
153
click to vote
ESOP
1992
Springer
15 years 5 months ago
1992
Springer
We have designed, implemented, and proved the correctness of a compiler generator that accepts action semantic descriptions of imperative programming languages. The generated comp...
138
Voted
WWW
2004
ACM
16 years 2 months ago
2004
ACM
In the semantic web architecture, Web ontology languages are built on top of RDF(S). However, serious difficulties have arisen when trying to layer expressive ontology languages, ...