Sciweavers

1733 search results - page 145 / 347
» The challenges of software engineering education
Sort
View
188
Voted
CACM
2010
97views more  CACM 2010»
15 years 4 months ago
Certified software
Certified software consists of a machine-executable program plus a formal machine-checkable proof that the software is free of bugs with respect to a claim of dependability. The c...
Zhong Shao
KBSE
2006
IEEE
16 years 29 days ago
Command-Form Coverage for Testing Database Applications
The testing of database applications poses new challenges for software engineers. In particular, it is difficult to thoroughly test the interactions between an application and it...
William G. J. Halfond, Alessandro Orso
184
Voted
SEM
2004
Springer
16 years 9 days ago
Accuracy of Performance Prediction for EJB Applications: A Statistical Analysis
Abstract. A challenging software engineering problem is the design and implementation of component-based (CB) applications that can meet specified performance requirements. Our PPC...
Yan Liu, Ian Gorton
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...
170
Voted
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