Sciweavers

16790 search results - page 28 / 3358
» A Future for Software Engineering
Sort
View
ICSE
2000
IEEE-ACM
13 years 11 months ago
Automated refactoring to introduce design patterns
Software systems have to be flexible in order to cope with evolving requirements. However, since it is impossible to predict with certainty what future requirements will emerge, i...
Mel Ó Cinnéide
SEKE
2005
Springer
14 years 1 months ago
Using Feature-Oriented Analysis to Recover Legacy Software Design for Software Evolution
Most design recovery approaches start from analysing source code. Nonetheless, it is very difficult to get adequate design information only depending on source code. Additional av...
Shaoyun Li, Feng Chen, Zhihong Liang, Hongji Yang
POPL
2006
ACM
14 years 8 months ago
Engineering with logic: HOL specification and symbolic-evaluation testing for TCP implementations
The TCP/IP protocols and Sockets API underlie much of modern computation, but their semantics have historically been very complex and ill-defined. The real standard is the de fact...
Steve Bishop, Matthew Fairbairn, Michael Norrish, ...
ESEM
2007
ACM
13 years 11 months ago
Characterizing Software Architecture Changes: An Initial Study
With today's ever increasing demands on software, developers must produce software that can be changed without the risk of degrading the software architecture. Degraded softw...
Byron J. Williams, Jeffrey C. Carver
APSEC
2007
IEEE
14 years 2 months ago
Modeling and Learning Interaction-based Accidents for Safety-Critical Software Systems
Analyzing accidents is a vital exercise in the development of safety-critical software systems to prevent past accidents from reoccurring in the future. Current practices such as ...
Tariq Mahmood, Edmund Kazmierczak, Tim Kelly, Denn...