Sciweavers

2030 search results - page 129 / 406
» Checklists for Software Engineering Case Study Research
Sort
View
ASWEC
2000
IEEE
15 years 7 months ago
Formal Requirements Engineering: Learning from the Students
Formal methods are becoming increasingly important in many areas of software development and should be incorporated in the teaching of software engineering. Requirements capture i...
J. Paul Gibson
131
Voted
ICSE
2004
IEEE-ACM
16 years 2 months ago
Automated Generation of Test Programs from Closed Specifications of Classes and Test Cases
Most research on automated specification-based software testing has focused on the automated generation of test cases. Before a software system can be tested, it must be set up ac...
Wee Kheng Leow, Siau-Cheng Khoo, Yi Sun
VL
2005
IEEE
119views Visual Languages» more  VL 2005»
15 years 8 months ago
How Well Do Professional Developers Test with Code Coverage Visualizations? An Empirical Study
Despite years of availability of testing tools, professional software developers still seem to need better support to determine the effectiveness of their tests. Without improveme...
Joseph Lawrance, Steven Clarke, Margaret M. Burnet...
126
Voted
ICSE
2007
IEEE-ACM
15 years 8 months ago
Data Flow-Based Validation of Web Services Compositions: Perspectives and Examples
Composition of Web Services (WSs) is anticipated as the future standard way to dynamically build distributed applications, and hence their verification and validation is attractin...
Cesare Bartolini, Antonia Bertolino, Eda Marchetti...
IWPC
2007
IEEE
15 years 8 months ago
A Hybrid Program Model for Object-Oriented Reverse Engineering
A commonly used strategy to address the scalability challenge in object-oriented reverse engineering is to synthesize coarse-grained representations, such as package diagrams. How...
Michael W. Godfrey