3765 search results - page 38 / 753 » Formal Methods for Systems Engineering Behavior Models |
110
click to vote
HICSS
2003
IEEE
15 years 7 months ago
2003
IEEE
We carried out eight assessments of usability engineering processes in four industrial companies, for the purpose of providing a basis for process improvement. The research method...
123
Voted
FMCAD
2000
Springer
15 years 6 months ago
2000
Springer
Abstract. Behavior tables are a design formalization intended to support interactive design derivation for hardware and embedded systems. It is a reformulation of the DDD transform...
126
click to vote
ICSE
2009
IEEE-ACM
15 years 9 months ago
2009
IEEE-ACM
The paper presents Save-IDE, an Integrated Development Environment for the development of component-based embedded systems. Save-IDE supports efficient development of dependable ...
122
click to vote
IFIP
2010
Springer
14 years 9 months ago
2010
Springer
This manuscript addresses the creation of scenario-based models to reason about the behavior of existing industrial information systems. In our approach the system behavior is mode...
151
click to vote
MEMOCODE
2003
IEEE
15 years 7 months ago
2003
IEEE
An executable computational logic can provide the desired bridge between formal system properties and formal methods to verify them on the one hand, and executable models of syste...