ICSE
2008
IEEE-ACM
15 years 20 days ago
2008
IEEE-ACM
Nowadays, large-scale industrial software systems may involve hundreds of developers working on hundreds of different but related models representing parts of the same system spec...
ICSE
2008
IEEE-ACM
15 years 20 days ago
2008
IEEE-ACM
We propose static program analysis techniques for identifying the impact of relational database schema changes upon object-oriented applications. We use dataflow analysis to extra...
ICSE
2008
IEEE-ACM
15 years 20 days ago
2008
IEEE-ACM
We present TReMer+, a tool for consistency checking of distributed models (i.e., models developed by distributed teams). TReMer+ works by first constructing a merged model before ...
ICSE
2008
IEEE-ACM
15 years 20 days ago
2008
IEEE-ACM
ICSE
2008
IEEE-ACM
15 years 20 days ago
2008
IEEE-ACM
Test-driven software development tackles the problem of operationally defining the features to be implemented by means of test cases. This approach was recently ported to the earl...
ICSE
2008
IEEE-ACM
15 years 20 days ago
2008
IEEE-ACM
Many software engineering projects use open source software tools or components. The project team's active participation in the open source community may be necessary for the...
ICSE
2008
IEEE-ACM
15 years 20 days ago
2008
IEEE-ACM
Programmers seek to answer questions as they investigate the functioning of a software system, such as "which execution path is being taken in this case?" Programmers at...
ICSE
2008
IEEE-ACM
15 years 20 days ago
2008
IEEE-ACM
Software is increasingly deployed in vehicles as demand for new functionality increases and cheaper and more powerful hardware becomes available. Likewise, emerging wireless commu...
ICSE
2008
IEEE-ACM
15 years 20 days ago
2008
IEEE-ACM
WS-BPEL applications are a kind of service-oriented application. They use XPath extensively to integrate loosely-coupled workflow steps. However, XPath may extract wrong data from...
ICSE
2008
IEEE-ACM
15 years 20 days ago
2008
IEEE-ACM
Program specifications are important in many phases of the software development process, but they are often omitted or incomplete. An important class of specifications takes the f...