979 search results - page 137 / 196 » Automated Environment Generation for Software Model Checking |
133
click to vote
CAISE
2000
Springer
15 years 6 months ago
2000
Springer
Application integration is a major trend in information technology today. In this paper we present a number of principles for the design, validation and presentation of process mod...
146
Voted
MODELS
2009
Springer
15 years 8 months ago
2009
Springer
Solution-driven product line engineering is a project business where products are created for each customer individually. Although reuse of results from former projects is widely ...
113
click to vote
ICWE
2005
Springer
15 years 7 months ago
2005
Springer
A methodology needs to be empowered by appropriate tool support. The CASE tool ArgoUWE supports designers in the use of the UWE methodology for the systematic, UML-based developmen...
137
click to vote
DAC
2006
ACM
15 years 4 months ago
2006
ACM
Software-based self-test (SBST) has recently emerged as an effective methodology for the manufacturing test of processors and other components in systems-on-chip (SoCs). By moving ...
146
Voted
SIGSOFT
2002
ACM
16 years 3 months 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...