Sciweavers

1463 search results - page 175 / 293
» Software engineering practices in Singapore
Sort
View
AGILEDC
2007
IEEE
16 years 28 days ago
The Growth of an Agile Coach Community at a Fortune 200 Company
Adopting Agile takes courage, perseverance, and continued reinforcement. To meet these needs, a community of Agile Coaches organically emerged at Capital One to provide support an...
Kara Silva, Chris Doss
RE
2007
Springer
16 years 21 days ago
Choosing a Tram Route: An Experience in Trading-Off Constraints
Trading-off is a familiar element in requirements practice, but it generally assumes a set of independent requirements competing for resources. Choosing a tram route depends inste...
Ian Alexander
VMCAI
2007
Springer
16 years 21 days ago
Constraint Solving for Interpolation
Interpolation is an important component of recent methods for program verification. It provides a natural and effective means for computing separation between the sets of ‘good...
Andrey Rybalchenko, Viorica Sofronie-Stokkermans
FASE
2005
Springer
16 years 3 days ago
Non-local Choice and Beyond: Intricacies of MSC Choice Nodes
MSC is a visual formalism for specifying the behavior of systems. To obtain implementations for individual processes, the MSC choice construction poses fundamental problems. The be...
Arjan J. Mooij, Nicolae Goga, Judi Romijn
ADAEUROPE
2004
Springer
15 years 12 months ago
Teaching Real-Time Systems Around a Digital Model Railroad Platform Using Ada
Abstract. This paper describes a laboratory equipped for the teaching of realtime systems. The laboratory has been built around a Digital Model Railroad Platform and it allows the ...
Bárbara Álvarez, Juan A. Pastor, Fra...