2846 search results - page 346 / 570 » A Software Performance Engineering Tool based on the UML-SPT |
172
click to vote
COMPSAC
2001
IEEE
15 years 10 months ago
2001
IEEE
Designers of component-based software face two problems related to dealing with abnormal events: developing exception handling at the level of the integrated system and accommodat...
192
click to vote
CAV
2006
Springer
15 years 10 months ago
2006
Springer
Example Guided Abstraction Refinement (CEGAR) [6] framework. A number of wellengineered software model-checkers are available, e.g., SLAM [1] and BLAST [12]. Why build another one?...
180
click to vote
DAC
2005
ACM
15 years 8 months ago
2005
ACM
This paper focuses on designing network processing software for embedded processors. Our design flow CRACC represents an efficient path to implementation based on a modular applic...
208
click to vote
DT
2006
15 years 6 months ago
2006
process: Designers must define higher abstraction levels that allow system modeling. They must use description languages that handle both hardware and software components to descri...
150
click to vote
IWPC
2009
IEEE
16 years 1 months ago
2009
IEEE
An empirical study is presented that investigates how stereotype based layouts impact the comprehension of UML class diagrams. This work continues a previous study using eye-track...