128 search results - page 16 / 26 » The Push to Make Software Engineering Respectable |
VSTTE
2010
Springer
14 years 7 months ago
2010
Springer
Formal modeling of computing systems yields models that are intended to be correct with respect to the requirements that have been formalized. The complexity of typical computing s...
157
click to vote
TCAD
2011
14 years 4 months ago
2011
Abstract—This work introduces GRIP, a global routing technique via integer programming. GRIP optimizes wirelength and via cost directly without going through a traditional layer ...
ISESE
2002
IEEE
15 years 2 months ago
2002
IEEE
Recent software systems contain a lot of functions to provide various services. According to this tendency, software testing becomes more difficult than before and cost of testing...
EMSOFT
2008
Springer
14 years 11 months ago
2008
Springer
We investigate the problem of specification based testing with dense sets of inputs and outputs, in particular with imprecision as they might occur due to errors in measurements, ...
FSTTCS
2005
Springer
15 years 3 months ago
2005
Springer
Abstract. Message sequence charts (MSCs) are commonly used to specify interactions between agents in communicating systems. Their visual nature makes them attractive for describing...