5961 search results - page 315 / 1193 » Design Science and Software Engineering |
221
click to vote
SAC
2006
ACM
15 years 7 months ago
2006
ACM
We propose a rule-based approach for transforming B abstract machines into UML diagrams. We believe that important insight into the structure underlying a B model can be gained by...
189
click to vote
EMSOFT
2004
Springer
16 years 20 days ago
2004
Springer
Until recently, in the automotive industry, reuse of software has entirely been a typical activity of suppliers. They try to reduce the increasing software development costs that ...
197
click to vote
ICSE
2009
IEEE-ACM
15 years 12 months ago
2009
IEEE-ACM
The comprehensive understanding of today’s software systems is a daunting activity, because of the sheer size and complexity that such systems exhibit. Moreover, software system...
237
click to vote
EMSOFT
2011
Springer
14 years 7 months ago
2011
Springer
Motivated by improvements in constraint-solving technology and by the increase of routinely available computational power, partial-program synthesis is emerging as an effective a...
226
click to vote
ASWEC
2006
IEEE
16 years 1 months ago
2006
IEEE
Software maintenance and evolution are inevitable activities since almost all software that is useful and successful stimulates user-generated requests for change and improvements...