2836 search results - page 135 / 568 » Model Checking for Software Architectures |
122
click to vote
ECBS
2005
IEEE
15 years 9 months ago
2005
IEEE
Architecture modeling is practiced extensively in the software industry but there is little attention paid to the traceability, verifiability and completeness of architecture desi...
148
click to vote
IEEEARES
2006
IEEE
15 years 10 months ago
2006
IEEE
The raising need for e-government applications leads to many new approaches in this sector. To fulfill the requirement for a flexible government-to-government (G2G) software sys...
149
click to vote
ICCD
2006
IEEE
16 years 23 days ago
2006
IEEE
By integrating one or more (hard or soft) CPU core on the chip, new generation platform FPGAs have become configurable systems on a chip (CSoC) that support a combined software an...
122
click to vote
CC
2007
Springer
15 years 7 months ago
2007
Springer
Program refactoring, feature-based and aspect-oriented software synthesis, and model-driven development are disjoint research areas. However, they are all architectural metaprogram...
119
Voted
CGI
2004
IEEE
15 years 7 months ago
2004
IEEE
An Origamic Architecture (OA) is a folded sheet of perforated paper from which a three-dimensional structure "pops up" when it is opened. It is similar to a "pop-up...