3425 search results - page 289 / 685 » A Model Driven Approach for Software Systems Reliability |
173
click to vote
ICEIS
2000
IEEE
15 years 9 months ago
2000
IEEE
We understand distributed systems as a collection of distributed computation resources that work together as one harmonious system. It is the great achievement of computer network...
148
click to vote
IUI
1999
ACM
15 years 9 months ago
1999
ACM
Model-based interface development systems have not been able to progress beyond producing narrowly focused interface designs of restricted applicability. We identify a -abstractio...
159
click to vote
CSREAESA
2003
15 years 6 months ago
2003
We present an approach for Worst-Case Execution Time (WCET) Analysis of embedded system software, that is generated from Petri net specifications. The presented approach is part ...
157
click to vote
FM
1999
Springer
15 years 8 months ago
1999
Springer
Abstract. The design of controllers for hybridsystems i.e. mixeddiscretecontinuous systems in a systematic manner remains a challenging task. In this case study, we apply formal m...
186
Voted
RE
2010
Springer
14 years 11 months ago
2010
Springer
Natural language is the main presentation means in industrial requirements documents. This leads to the fact that requirements documents are often incomplete and inconsistent. Desp...