2419 search results - page 184 / 484 » A Formal Approach to Software Testing |
123
Voted
EUROMICRO
1998
IEEE
15 years 8 months ago
1998
IEEE
Transformational design is aformal technique directed at design correctness. It integrates design and veriJication by the use of pre-proven behaviour preserving transformations as...
144
Voted
ICFEM
1998
Springer
15 years 8 months ago
1998
Springer
Studying industrial systems by simulation enables the designer to study the dynamic behaviour and to determine some characteristics of the system. Unfortunately, simulation also h...
107
Voted
FMCAD
2000
Springer
15 years 7 months ago
2000
Springer
Abstract. Model checking is an automated approach to the formal verification of hardware and software. To allow model checking tools to be used by the hardware or software designer...
124
Voted
ER
2007
Springer
15 years 10 months ago
2007
Springer
Software systems embed in them knowledge about the domain in which they operate. However, this knowledge is “latent”. Making such knowledge accessible could be of great value ...
143
Voted
APN
2006
Springer
15 years 7 months ago
2006
Springer
Abstract. Software performance engineering deals with the consideration of quantitative analysis of the behaviour of software systems from the early development phases in the life ...