3920 search results - page 502 / 784 » Challenges in Software Evolution |
161
Voted
ICSE
2005
IEEE-ACM
16 years 6 months ago
2005
IEEE-ACM
Many software properties can be analysed through a relational size analysis on each function's inputs and outputs. Such relational analysis (through a form of dependent typin...
165
click to vote
ATAL
2009
Springer
16 years 22 days ago
2009
Springer
Several agent-oriented software engineering methodologies address the emerging challenges posed by the increasing need of adaptive software. A common denominator of such methodolo...
164
click to vote
ECBS
2006
IEEE
16 years 6 days ago
2006
IEEE
Complex and distributed systems are more and more common. Hardware is going from strength to strength and is embedded in high performance peer-to-peer networks mostly. The task of...
170
Voted
VSTTE
2005
Springer
15 years 11 months ago
2005
Springer
The validation of modern software systems on mobile devices needs to incorporate both functional and non-functional requirements. While some progress has been made in validating pe...
150
Voted
VSTTE
2005
Springer
15 years 11 months ago
2005
Springer
: Verifying design instead of code can be an effective and practical approach to obtaining verified software. This paper argues that proof scores are an attractive method for ver...