8627 search results - page 186 / 1726 » Software Engineering Using RATionale |
145
click to vote
LSO
2004
Springer
15 years 11 months ago
2004
Springer
When developing large software products many verbal and written interactions take place. In such interactions the use of abstract and uncertain expressions is considered advantageo...
160
click to vote
PROFES
2001
Springer
15 years 10 months ago
2001
Springer
Component-based software has a self-similar structure on el of abstraction, i.e. its structure is fractal. Traditional software processes, however, have a linear or iterated struct...
153
click to vote
DAC
2002
ACM
16 years 7 months ago
2002
ACM
Design tools can be profitably associated with libraries of reusable modeling components that will make the description and also the validation of the models much easier. Furtherm...
164
Voted
ISESE
2005
IEEE
15 years 11 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...
142
click to vote
PASTE
2005
ACM
15 years 11 months ago
2005
ACM
Today, many formal analysis tools are not only used to provide certainty but are also used to debug software systems – a role that has traditional been reserved for testing tool...