3765 search results - page 22 / 753 » Formal Methods for Systems Engineering Behavior Models |
IEEECIT
2010
IEEE
13 years 7 months ago
2010
IEEE
This article focuses on the essence and distinctive features of the AADL behavioral aspects, for which we use the code generation infrastructure of the synchronous modeling enviro...
ICSE
1994
IEEE-ACM
14 years 21 days ago
1994
IEEE-ACM
Abstract. This paper describes recent work concerned with the speci cation of requirements on interactive systems and the de nition of user-level properties of such systems. A form...
QEST
2008
IEEE
14 years 3 months ago
2008
IEEE
CaVi provides a uniform interface to state-of-the-art simulation methods and formal verification methods for wireless sensor network. Simulation is suitable to examine the behavi...
SEFM
2003
IEEE
14 years 1 months ago
2003
IEEE
Despite the advances in software engineering since 1968, current methods for going from a set of functional requirements to a design are not as direct, repeatable and constructive...
ESEC
1999
Springer
14 years 27 days ago
1999
Springer
CIP is a model-based software development method for embedded systems. The problem of constructing an embedded system is decomposed into a functional and a connection problem. The ...