4350 search results - page 62 / 870 » Case studies for contract-based systems |
129
Voted
RE
2008
Springer
15 years 3 months ago
2008
Springer
Scalability is widely recognized as an important software quality, but it is a quality that historically has lacked a consistent and systematic treatment. To address this problem,...
213
Voted
GI
2007
Springer
15 years 7 months ago
2007
Springer
Abstract: Modeling systems with Statecharts has become standard practice in the design of reactive embedded devices. However, the modeling of realistic applications with the paradi...
127
Voted
SAFECOMP
2000
Springer
15 years 7 months ago
2000
Springer
This paper presents an empirical investigation of the control of requirements evolution in an avionics safety-critical system. Metrics can be used to manage (e.g., control and pred...
188
Voted
EUSFLAT
2007
15 years 5 months ago
2007
This contribution presents Soft Computing Robot Navigation for mobile robot SCORCAS, a Case Study. The Navigation uses fuzzy logic experienced on mobile robot systems. Fuzzy logic...
142
Voted
IASTEDSEA
2004
15 years 5 months ago
2004
: Secure distributed systems rely on secure information flow between different hosts, thus placing a heavy requirement on the underlying security protocols. In this paper, we use S...