Sciweavers

3920 search results - page 409 / 784
» Challenges in Software Evolution
Sort
View
FM
2003
Springer
107views Formal Methods» more  FM 2003»
15 years 12 months ago
Verifying Emulation of Legacy Mission Computer Systems
Processor obsolescence is a serious maintenance problem for long-lived embedded control systems. A practical solution is to interpose an emulator program between the ‘legacy’ s...
Colin J. Fidge
CODES
2002
IEEE
15 years 11 months ago
Codesign-extended applications
We challenge the widespread assumption that an embedded system’s functionality can be captured in a single specification and then partitioned among software and custom hardware ...
Brian Grattan, Greg Stitt, Frank Vahid
HASE
2002
IEEE
15 years 11 months ago
Extending WSDL to Facilitate Web Services Testing
Web services might be the most popular and powerful software development technology in today’s software world. Yet it brings software developers and tester a lot of challenges a...
Wei-Tek Tsai, Raymond A. Paul, Yamin Wang, Chun Fa...
153
Voted
ICSE
2010
IEEE-ACM
15 years 11 months ago
Exemplar: EXEcutable exaMPLes ARchive
Searching for applications that are highly relevant to development tasks is challenging because the high-level intent reflected in the descriptions of these tasks doesn’t usual...
Mark Grechanik, Chen Fu, Qing Xie, Collin McMillan...
CBSE
2009
Springer
15 years 11 months ago
Extracting Behavior Specification of Components in Legacy Applications
A challenge of componentizing legacy applications is to extract behavior specification of suggested components. It is desirable to preserve a relation between the original structur...
Tomás Poch, Frantisek Plasil