3765 search results - page 252 / 753 » Formal Methods for Systems Engineering Behavior Models |
269
click to vote
EUROMICRO
2011
IEEE
14 years 6 months ago
2011
IEEE
—This paper presents a method for using the CORBA Component Model (CCM) to integrate heterogeneous DRE systems. It has been realized in a extensible C++ template framework named ...
155
click to vote
POLICY
2005
Springer
16 years 3 days ago
2005
Springer
Policy rules define what behavior is desired in a softwarebased system, they do not describe the corresponding action and event sequences that actually “produce” desired (“...
176
click to vote
ITS
2004
Springer
16 years 37 min ago
2004
Springer
In this paper, we make a first effort to define requirements for knowledge representation (KR) in an ITS. The requirements concern all stages of an ITS’s life cycle (construction...
175
click to vote
ICCD
2003
IEEE
16 years 3 months ago
2003
IEEE
Multiple clock domains are a challenge for hardware specification and verification. We present a method for specifying the relations between multiple clocks, and for modeling th...
163
Voted
ICSE
2001
IEEE-ACM
15 years 11 months ago
2001
IEEE-ACM
System families are an idea of software reuse in a specific problem domain. Existing methods have little requirements engineering support for system family development. This short...