4799 search results - page 77 / 960 » Model Based Requirements Engineering for Embedded Software |
ICSE
2000
IEEE-ACM
15 years 1 months ago
2000
IEEE-ACM
The next ten years will see distributed real-time computer systems replacing many mechanical and hydraulic control systems in high-dependability applications. In these application...
IUI
2012
ACM
13 years 5 months ago
2012
ACM
Visual programming languages (VPLs) provide notations for representing both the intermediate and the final results of a knowledge engineering process. Whereas some VPLs particula...
ICST
2010
IEEE
14 years 8 months ago
2010
IEEE
— Increasingly, licensing and safety regulatory bodies require the suppliers of software-intensive, safety-critical systems to provide an explicit software safety case – a stru...
WER
2007
Springer
15 years 4 months ago
2007
Springer
Business modeling is an activity of the Requirements Engineering that involves a knowledge process of the organization and provides a specific business domain view. On this proces...
KBSE
2007
IEEE
15 years 4 months ago
2007
IEEE
We present tools to support model-based security engineering on both the model and the code level. In the approach supported by these tools, one firstly specifies the securitycr...