1412 search results - page 128 / 283 » The Value of Outsourced Software |
120
click to vote
CAISE
2006
Springer
15 years 8 months ago
2006
Springer
A measure for the quality of software is the extent to which it corresponds to the business objectives and requirements it was designed for. The earlier those who elicit the requir...
128
Voted
FATES
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. Classical state-oriented testing approaches are based on simple machine models such as Labelled Transition Systems (LTSs), in which data is represented by concrete values...
130
click to vote
FOSSACS
2006
Springer
15 years 8 months ago
2006
Springer
Abstract. We introduce a denotational semantics for non-linear hybrid automata, and relate it to the operational semantics given in terms of hybrid trajectories. The semantics is d...
126
click to vote
FSTTCS
2006
Springer
15 years 8 months ago
2006
Springer
Abstract. We describe a denotational (game) semantics for a call-byvalue functional language with multiple threads of control, which may communicate values of general type on local...
138
click to vote
AICCSA
2001
IEEE
15 years 8 months ago
2001
IEEE
This paper2 details the stages of building a substantial, carefully specified, fully tested and fully operational university and school timetabling system. This is reported as a c...