5961 search results - page 225 / 1193 » Design Science and Software Engineering |
124
click to vote
EDUTAINMENT
2007
Springer
15 years 8 months ago
2007
Springer
When designing product behavior, the designer often needs to communicate to experts in computer software and protocols. In present-day software engineering, formal specification m...
96
Voted
ICSE
2008
IEEE-ACM
16 years 2 months ago
2008
IEEE-ACM
CODECITY is a language-independent interactive 3D visualization tool for the analysis of large software systems. Using a city metaphor, it depicts classes as buildings and package...
120
click to vote
MKWI
2008
15 years 3 months ago
2008
: For the development of software requirements within a team, efficient communication and a systematic approach are necessary. Because of the complexity of the task, the need for s...
145
click to vote
SPIN
2007
Springer
15 years 8 months ago
2007
Springer
One of the most exciting and promising approaches to ensure the correctness of critical systems is software model checking, which considers real code, written with standard program...
127
Voted
ISESE
2005
IEEE
15 years 8 months ago
2005
IEEE
During software evolution, programmers spend a lot of time and effort in the comprehension of the internal code structure. Such an activity is often required because the available...