1926 search results - page 286 / 386 » Modeling and Model Checking Software Product Lines |
120
click to vote
SEKE
1995
Springer
15 years 3 months ago
1995
Springer
The development of a large information system is generally regarded as one of the most complex activities undertaken by organizations and it is dependent on the communication and u...
ENTCS
2010
14 years 12 months ago
2010
In component-based software engineering, reconfiguration describes structural changes to the architecture of a component system. For stateful components, not only structural but a...
ICSE
2008
IEEE-ACM
16 years 20 days ago
2008
IEEE-ACM
Model-based development is becoming an increasingly common development methodology. In important domains like embedded systems already major parts of the code are generated from m...
119
click to vote
POPL
2012
ACM
13 years 7 months ago
2012
ACM
Since software systems are becoming increasingly more concurrent and distributed, modeling and analysis of interactions among their components is a crucial problem. In several app...
121
click to vote
SIGSOFT
2002
ACM
16 years 18 days ago
2002
ACM
Security is a very important issue in information processing, especially in open network environments like the Internet. The Common Criteria (CC) is the standard requirements cata...