2088 search results - page 315 / 418 » Formal Approach to Integrating Feature and Architecture Mode... |
181
click to vote
TGC
2005
Springer
15 years 11 months ago
2005
Springer
The Model-Driven Architecture (MDA) technology toolset includes a language for describing the structure of meta-data, the MOF, and a language for describing consistency properties ...
184
click to vote
SOFTWARE
2002
15 years 5 months ago
2002
: This paper presents a lightweight form of usage-centered design that has proved particularly effective in designing highly usable Webbased applications. Fully compatible with bot...
182
click to vote
IRI
2008
IEEE
16 years 20 days ago
2008
IEEE
Much of the Web’s success rests with its role in enabling information reuse and integration across various boundaries. Hyperlinked Web resources represent a rich information tap...
146
click to vote
WETICE
2006
IEEE
16 years 8 days ago
2006
IEEE
Verification of the security of software artifacts is a challenging task. An integrated approach that combines verification techniques can increase the confidence in the security ...
215
click to vote
SPIN
2010
Springer
15 years 4 months ago
2010
Springer
In the field of communication networks, protocol engineers usually employ several tools focused on specific kinds of analysis, such as performance or correctness. This paper pres...