2088 search results - page 19 / 418 » Formal Approach to Integrating Feature and Architecture Mode... |
EFDBS
2003
2003
Building platforms for information system interoperability - using a UML-based metamodeling approach
15 years 1 months ago
Abstract. Models have been playing a major role in information system engineering and interoperability: in this paper, we put an emphasis on the complementary role of metamodels. M...
110
click to vote
VAMOS
2007
Springer
15 years 5 months ago
2007
Springer
Variability modeling is at the heart of product line engineering. Variability models entail features and architectural elements, technical customization aspects, sales and marketi...
122
click to vote
ISARCS
2010
15 years 1 months ago
2010
Voting is a critical component of any democratic process; and electronic voting systems should be developed following best practices for critical system development. E-voting has i...
AOSE
2004
Springer
15 years 5 months ago
2004
Springer
While there are many useful models of agents and multi-agent systems, they are typically defined in an informal way and applied in an ad-hoc fashion. Consequently, multi-agent sys...
93
Voted
IFM
2004
Springer
15 years 5 months ago
2004
Springer
Abstract. Interactive systems combine a human operator with a computer. Either may be a source of error. The veri cation processes used must ensure both the correctness of the comp...