16790 search results - page 12 / 3358 » A Future for Software Engineering |
103
Voted
METRICS
2005
IEEE
15 years 6 months ago
2005
IEEE
Evidence-based software engineering (EBSE) describes a process of identifying, understanding and evaluating findings from research and practice-based experience. This process aims...
123
Voted
SIGSOFT
2010
ACM
14 years 7 months ago
2010
ACM
I summarize some personal observations on the topic of automated software design and synthesis that I accumulated over twenty years. They are intended to alert researchers to pitf...
93
Voted
WCRE
2000
IEEE
15 years 5 months ago
2000
IEEE
Data reverse engineering is a rapidly growing field which is sometimes misunderstood. In our effort to promote the realization that data reverse engineering is a valuable and esse...
110
click to vote
SIGSOFT
2007
ACM
16 years 1 months ago
2007
ACM
Model checking techniques have traditionally dealt with temporal logic languages and automata interpreted over -words, i.e., infinite in the future but finite in the past. However...
132
click to vote
HICSS
2010
IEEE
14 years 11 months ago
2010
IEEE
Abstract: Software product line engineering is an established methodology for fast and effective development of software-intensive systems and services. To reap maximum benefits fr...