1180 search results - page 91 / 236 » Total Functional Software Engineering - Overview Paper |
109
Voted
IWPC
2009
IEEE
15 years 9 months ago
2009
IEEE
A common static software bug detection technique is to use path simulation. Each execution path is simulated using symbolic variables to determine if any software errors could occ...
118
Voted
GECCO
2009
Springer
15 years 9 months ago
2009
Springer
The critical functionality of many software applications relies on code that performs mathematically complex computations. However, such code is often difficult to test owing to t...
130
click to vote
ERLANG
2004
ACM
15 years 7 months ago
2004
ACM
Testing of software components during development is a heavily used approach to detect programming errors and to evaluate the quality of software. Systematic approaches to softwar...
104
Voted
ECBS
2010
IEEE
15 years 7 months ago
2010
IEEE
The Unified Modeling Language (UML) is the standard to specify the structure and behaviour of software systems. The created models are a constitutive part of the software speci...
107
Voted
TASE
2008
IEEE
15 years 2 months ago
2008
IEEE
Maintaining an asset with life-limited parts, e.g., a jet engine or an electric generator, may be costly. Certain costs, e.g., setup cost, can be shared if some parts of the asset ...