Sciweavers

3920 search results - page 218 / 784
» Challenges in Software Evolution
Sort
View
VSTTE
2005
Springer
15 years 12 months ago
Tool Integration for Reasoned Programming
We argue for the importance of tool integration in achieving the Program Verifier Grand Challenge. In particular, we argue for what we call strong integration, i.e. a co-operative...
Andrew Ireland
CLEIEJ
2008
250views more  CLEIEJ 2008»
15 years 6 months ago
Strategies to Minimize Problems in Global Requirements Elicitation
Many challenges arise in global software development projects, most of which are related to the lack of face-to-face communication and people's need to feel comfortable with ...
Gabriela N. Aranda, Aurora Vizcaíno, Alejan...
WECWIS
2006
IEEE
103views ECommerce» more  WECWIS 2006»
16 years 13 days ago
Toward Semantic Composition of Web Services with MOVE
This paper describes a software solution for the WSChallenge 2006. We introduce the MOVE framework that has been applied to this challenge. Also, the architecture, algorithms, and...
Jürgen Dorn, Albert Rainer, Peter Hrastnik
ICSE
2010
IEEE-ACM
15 years 11 months ago
Eliminating dead-code from XQuery programs
One of the challenges in web software development is to help achieving a good level of quality in terms of code size and runtime performance, for increasingly popular domain speci...
Pierre Genevès, Nabil Layaïda
EUROMICRO
2004
IEEE
15 years 10 months ago
Integrity Management in Component Based Systems
There is a need for mechanisms for maintaining and restoring software integrity on deployed systems. Dynamic replacement, removal and addition of components in deployed systems is...
Johan Muskens, Michel R. V. Chaudron