2846 search results - page 213 / 570 » A Software Performance Engineering Tool based on the UML-SPT |
135
click to vote
APSEC
2004
IEEE
15 years 10 months ago
2004
IEEE
To formalize a software process, its important aspects must be extracted as a model. Many processes are used repeatedly, and the ability to automate a process is also desired. One...
179
click to vote
EMSOFT
2007
Springer
16 years 23 days ago
2007
Springer
Non-volatile RAM (NVRAM) such as PRAM (Phase-change RAM), FeRAM (Ferroelectric RAM), and MRAM (Magnetoresistive RAM) has characteristics of both non-volatile storage and random ac...
155
click to vote
FATES
2004
Springer
15 years 12 months ago
2004
Springer
We present the development of T-UPPAAL — a new tool for online black-box testing of real-time embedded systems from non-deterministic timed automata specifications. It is based ...
180
click to vote
APSEC
2005
IEEE
16 years 6 days ago
2005
IEEE
Testing a large-scale, real-life commercial software application is a very challenging task due to the constant changes in the software, the involvement of multiple programmers an...
217
click to vote
CSREAEEE
2010
15 years 4 months ago
2010
E-learning materials development is typically acknowledged as an expensive, complicated, and lengthy process, often producing materials that are of low quality and difficult to ad...