3765 search results - page 282 / 753 » Formal Methods for Systems Engineering Behavior Models |
181
click to vote
GI
2004
Springer
16 years 16 days ago
2004
Springer
The Action Semantics for UML provides a standard and platform independent way to describe the behavior of methods and executable actions in object-oriented system design prior to i...
170
click to vote
SIGSOFT
2003
ACM
16 years 8 months ago
2003
ACM
This paper describes a compositional proof strategy for verifying properties of requirements specifications. The proof strategy, which may be applied using either a model checker ...
204
click to vote
EMSOFT
2010
Springer
15 years 5 months ago
2010
Springer
SystemC is the de facto standard for modeling embedded systems. It allows system design at various levels of abstractions, provides typical object-orientation features and incorpo...
176
click to vote
HICSS
2003
IEEE
16 years 13 days ago
2003
IEEE
1 In the complexity and simulation communities there is growing support for the use of bottom-up computer-based simulation in the analysis of complex systems. The presumption is th...
214
click to vote
ASWSD
2004
Springer
16 years 17 days ago
2004
Springer
Embedded software development for automotive applications is widely considered as a significant source of innovation and improvements in cars. However, software development proces...