3514 search results - page 246 / 703 » Evolving Specification Engineering |
134
Voted
ICSE
2008
IEEE-ACM
16 years 7 months ago
2008
IEEE-ACM
We present a novel technique that speeds up state-space exploration (SSE) for evolving programs with dynamically allocated data. SSE is the essence of explicit-state model checkin...
161
click to vote
ISPW
2007
IEEE
16 years 12 days ago
2007
IEEE
To produce quality software and evolve them in an economic and timely fashion, enactable software process models are used for regulating development activities with the support of ...
177
click to vote
VLDB
2007
ACM
16 years 7 days ago
2007
ACM
As the Web has evolved into a data-rich repository, with the standard “page view,” current search engines are becoming increasingly inadequate for a wide range of query tasks....
144
click to vote
ISESE
2006
IEEE
16 years 4 days ago
2006
IEEE
Is the nature of Open Source Software (OSS) evolution fundamentally different from that of the traditional and commercially available software systems? Lehman and others conducted...
164
click to vote
ISESE
2006
IEEE
16 years 4 days ago
2006
IEEE
Controlled experiments are a key approach to evaluate and evolve our understanding of software engineering technologies. However, defining and running a controlled experiment is a...