852 search results - page 65 / 171 » Domain Modeling Based on Engineering Standards |
AIR
2002
13 years 7 months ago
2002
Several current support systems for travel and tourism are aimed at providing information in a personalized manner, taking users' interests and preferences into account. In t...
VLSID
2008
IEEE
14 years 2 months ago
2008
IEEE
The last decade has seen a phenomenal increase in the use of electronic components in automotive systems, resulting in the replacement of purely mechanical or hydraulic-implementa...
SDL
2007
13 years 9 months ago
2007
Abstract. OpenComRTOS is one of the few Real-Time Operating Systems (RTOS) for embedded systems that was developed using formal modeling techniques. The goal was to obtain a proven...
ICSE
2000
IEEE-ACM
13 years 11 months ago
2000
IEEE-ACM
Graphical animation is a way of visualizing the behavior of design models. This visualization is of use in validating a design model against informally specified requirements and ...
ICSEA
2008
IEEE
14 years 2 months ago
2008
IEEE
In this paper we propose to use components for managing the increasing complexity in modern vehicular systems. Compared to other approaches, the distinguishing feature of our work...