7206 search results - page 1063 / 1442 » Using a Hypermedia System for Systems Engineering |
138
Voted
IWPC
2005
IEEE
15 years 10 months ago
2005
IEEE
The paper presents a usability study conducted with graduate and undergraduate computer science students, designed to evaluate the effectiveness of a software visualization tool n...
139
Voted
KBSE
2005
IEEE
15 years 10 months ago
2005
IEEE
We consider a formal framework for property verification of web applications using Spin model checker. Some of the web related properties concern all states of the model, while ot...
136
click to vote
SWSTE
2005
IEEE
15 years 10 months ago
2005
IEEE
Flash memory is a type of electrically erasable programmable read-only memory (EEPROM). Because flash memories are nonvolatile and relatively dense, they are now used to store ï¬...
145
Voted
VISSOFT
2005
IEEE
15 years 10 months ago
2005
IEEE
Sequence diagrams are commonly used to represent object interactions in software systems. Reverse-engineered sequence diagrams, which are constructed from existing code, are becom...
155
Voted
SOFTVIS
2005
ACM
15 years 10 months ago
2005
ACM
During the life cycle of a software system, the source code is changed many times. We study how developers can be enabled to get insight in these changes, in order to understand t...