3911 search results - page 43 / 783 » Using Operational Architecture to Model Embedded Software |
131
click to vote
ICCAD
1998
IEEE
15 years 6 months ago
1998
IEEE
Designers of distributed embedded systems face many challenges in determining the appropriate tradeoffs to make when defining a system architecture or retargeting an existing desi...
132
click to vote
EMSOFT
2005
Springer
15 years 8 months ago
2005
Springer
UPPAAL-TRON is a new tool for model based online black-box conformance testing of real-time embedded systems specified as timed automata. In this paper we present our experiences...
106
click to vote
ASE
2008
15 years 2 months ago
2008
Goal-oriented methods are increasingly popular for elaborating software requirements. They offer systematic support for incrementally building intentional, structural, and operati...
113
click to vote
VLSID
2004
IEEE
16 years 2 months ago
2004
IEEE
It has been observed that even highly optimized software programs perform "redundant" computations during their execution, due to the nature (statistics) of the values a...
110
Voted
ICSE
2007
IEEE-ACM
16 years 2 months ago
2007
IEEE-ACM
It has been widely advocated that software architecture an effective set of abstractions for engineering (families of) complex software systems. However, architectural concepts ar...