Sciweavers

ICSE
2004
IEEE-ACM
14 years 5 months ago
JDBC Checker: A Static Analysis Tool for SQL/JDBC Applications
Carl Gould, Zhendong Su, Premkumar T. Devanbu
ICSE
2004
IEEE-ACM
14 years 5 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
ICSE
2004
IEEE-ACM
14 years 5 months ago
A Hybrid Architectural Style for Distributed Parallel Processing of Generic Data Streams
Immersive, interactive applications grouped under the concept of Immersipresence require on-line processing and mixing of multimedia data streams and structures. One critical issu...
Alexandre R. J. François
ICSE
2004
IEEE-ACM
14 years 5 months ago
Validating the Unit Correctness of Spreadsheet Programs
Financial companies, engineering firms and even scientists create increasingly larger spreadsheets and spreadsheet programs. The creators of large spreadsheets make errors and mus...
Tudor Antoniu, Paul A. Steckler, Shriram Krishnamu...
ICSE
2004
IEEE-ACM
14 years 5 months ago
AcmeStudio: Supporting Style-Centered Architecture Development
Software architectural modeling is crucial to the development of high-quality software. Software engineering tool support is required for this activity, so that models can be deve...
Bradley R. Schmerl, David Garlan
Software Engineering
Top of PageReset Settings