Sciweavers

1779 search results - page 211 / 356
» Requirements Engineering and Agile Software Development
Sort
View
SAFECOMP
2005
Springer
15 years 11 months ago
Are High-Level Languages Suitable for Robust Telecoms Software?
In the telecommunications sector product development must minimise time to market while delivering high levels of dependability, availability, maintainability and scalability. High...
Jan Henry Nyström, Philip W. Trinder, David J...
ASPLOS
2009
ACM
16 years 6 months ago
Commutativity analysis for software parallelization: letting program transformations see the big picture
Extracting performance from many-core architectures requires software engineers to create multi-threaded applications, which significantly complicates the already daunting task of...
Farhana Aleen, Nathan Clark
VMCAI
2004
Springer
15 years 11 months ago
Liveness with Invisible Ranking
The method of Invisible Invariants was developed originally in order to verify safety properties of parameterized systems fully automatically. Roughly speaking, the method is based...
Yi Fang, Nir Piterman, Amir Pnueli, Lenore D. Zuck
ICSM
2003
IEEE
15 years 10 months ago
Safe Upgrading without Restarting
The distributed development and maintenance paradigm for component delivery is fraught with problems. One wants a relationship between developers and clients that is autonomous an...
Miles Barr, Susan Eisenbach
ESEM
2009
ACM
15 years 10 months ago
Impact of the visitor pattern on program comprehension and maintenance
In the software engineering literature, many works claim that the use of design patterns improves the comprehensibility of programs and, more generally, their maintainability. Yet...
Sebastien Jeanmart, Yann-Gaël Guéh&eac...