3425 search results - page 335 / 685 » A Model Driven Approach for Software Systems Reliability |
135
click to vote
FDL
2005
IEEE
15 years 10 months ago
2005
IEEE
The development process of embedded systems is characterized by the cooperation of various domains: components of hardware and software have to be considered as well as components...
130
click to vote
EATIS
2007
ACM
15 years 8 months ago
2007
ACM
Mobile B2E-applications (business-to-employee) can add significant value to a company's business, when large workforce divisions are involved in the execution of certain busi...
136
click to vote
CASCON
1997
15 years 6 months ago
1997
The paper presents a similarity-based retrieval framework for a software repository that aids the process of maintaining, understanding, and migrating legacy software systems [12]...
141
click to vote
IFIP
2010
Springer
14 years 11 months ago
2010
Springer
Abstract. In this article, we present a flexible simulation environment for embedded real-time software refinement by a mixed level cosimulation. For this, ne the native speed of a...
158
click to vote
VMCAI
2005
Springer
15 years 10 months ago
2005
Springer
Bounded model checking (BMC) is an automatic verification method that is based on a finite unfolding of the system’s transition relation. BMC has been successfully applied, in ...