Sciweavers

1463 search results - page 175 / 293
» Software engineering practices in Singapore
Sort
View
156
Voted
AGILEDC
2007
IEEE
16 years 1 months 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
171
Voted
RE
2007
Springer
16 years 1 months 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
181
Voted
VMCAI
2007
Springer
16 years 1 months 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
166
Voted
FASE
2005
Springer
16 years 17 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
161
Voted
ADAEUROPE
2004
Springer
16 years 13 days 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...