4890 search results - page 139 / 978 » From system specifications to component behavioral models |
ICSE
2009
IEEE-ACM
15 years 4 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 ...
ENTCS
2006
14 years 10 months ago
2006
The approaches to automatic formal verification of UML models known up to now require a finite bound on the number of objects existing at each point in time. In [4] we have observ...
123
click to vote
FPT
2005
IEEE
15 years 3 months ago
2005
IEEE
We describe a communication-centric design methodology with SystemC that allows for efficient FPGA prototype generation of transaction level models (TLM). Using a framework compr...
107
click to vote
COOPIS
1995
IEEE
15 years 1 months ago
1995
IEEE
Increasingly, information systems development occurs in the context of existing systems and established organizational processes. Viewing organizational and system components as c...
AIS
2004
Springer
15 years 1 months ago
2004
Springer
Abstract. Model verification examines the correctness of a model implementation with respect to a model specification. While being described from model specification, implementatio...