Sciweavers

3920 search results - page 218 / 784
» Challenges in Software Evolution
Sort
View
131
Voted
VSTTE
2005
Springer
15 years 9 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
125
Voted
CLEIEJ
2008
250views more  CLEIEJ 2008»
15 years 3 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...
122
Voted
WECWIS
2006
IEEE
103views ECommerce» more  WECWIS 2006»
15 years 9 months 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 8 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
149
Voted
EUROMICRO
2004
IEEE
15 years 7 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