4350 search results - page 62 / 870 » Case studies for contract-based systems |
RE
2008
Springer
13 years 9 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,...
GI
2007
Springer
14 years 1 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...
SAFECOMP
2000
Springer
14 years 1 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...
EUSFLAT
2007
13 years 11 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...
IASTEDSEA
2004
13 years 11 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...