Sciweavers

Share
ICSE
2008
IEEE-ACM
10 years 11 months ago
Global consistency checking of distributed models with TReMer+
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 ...
Mehrdad Sabetzadeh, Shiva Nejati, Steve M. Easterb...
ICSE
2008
IEEE-ACM
10 years 11 months ago
Open source software peer review practices: a case study of the apache server
Peter C. Rigby, Daniel M. Germán, Margaret-...
ICSE
2008
IEEE-ACM
10 years 11 months ago
Are fit tables really talking?: a series of experiments to understand whether fit tables are useful during evolution tasks
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...
Filippo Ricca, Massimiliano Di Penta, Marco Torchi...
ICSE
2008
IEEE-ACM
10 years 11 months ago
Power through brokering: open source community participation in software engineering student projects
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...
Birgit R. Krogstie
ICSE
2008
IEEE-ACM
10 years 11 months ago
Answering conceptual queries with Ferret
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...
Brian de Alwis, Gail C. Murphy
ICSE
2008
IEEE-ACM
10 years 11 months ago
Time-bounded adaptation for automotive system software
Software is increasingly deployed in vehicles as demand for new functionality increases and cheaper and more powerful hardware becomes available. Likewise, emerging wireless commu...
Aline Senart, Douglas C. Schmidt, Serena Fritsch, ...
ICSE
2008
IEEE-ACM
10 years 11 months ago
Data flow testing of service-oriented workflow applications
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...
Lijun Mei, W. K. Chan, T. H. Tse
ICSE
2008
IEEE-ACM
10 years 11 months ago
Symbolic mining of temporal specifications
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...
Mark Gabel, Zhendong Su
ICSE
2008
IEEE-ACM
10 years 11 months ago
From programming to modeling: our experience with a distributed software engineering course
Distributed Software Engineering (DSE) concepts in Computer Science (or Engineering) Degrees are commonly introduced using a hands-on approach mainly consisting of teaching a part...
Antonio Vallecillo, Francisco Durán, Jordi ...
ICSE
2008
IEEE-ACM
10 years 11 months ago
Formal verification of an automotive scenario in service-oriented computing
We report on the successful application of academic experience with formal modelling and verification techniques to an automotive scenario from the service-oriented computing doma...
Maurice H. ter Beek, Stefania Gnesi, Nora Koch, Fr...
books