1463 search results - page 109 / 293 » Software engineering practices in Singapore |
145
click to vote
FATES
2003
Springer
15 years 11 months ago
2003
Springer
Most efforts to combine formal methods and software testing go in the direction of exploiting formal methods to solve testing problems, most commonly test case generation. Here we ...
162
click to vote
JOT
2008
15 years 6 months ago
2008
There was much interest at this year's Software Product Line Conference in how to combine agile and product line techniques. Agile teams seek to address change one product at...
157
click to vote
DSVIS
2006
Springer
15 years 10 months ago
2006
Springer
This keynote paper argues for an increased understanding of the various roles involved in the development work to be able to achieve the goal of developing increased usability. Hum...
156
click to vote
ICFEM
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. We present a practical approach to a formal analysis of UMLbased models. This is achieved by an underlying formal representation in Z, which allows us to pose and dischar...
173
click to vote
ISSRE
2003
IEEE
15 years 11 months ago
2003
IEEE
-- This paper presents three principles for alarm analysis to develop early warnings of failure. The concepts are illustrated with real data and experience drawn from Comverse Voic...