658 search results - page 74 / 132 » A formal approach to object-oriented software engineering |
133
click to vote
ACSC
2004
IEEE
15 years 8 months ago
2004
IEEE
An approach to system verification is described in which design artefacts produced during forward engineering are automatically compared to corresponding artefacts produced during...
104
click to vote
FMCAD
2009
Springer
15 years 11 months ago
2009
Springer
—Sequential equivalence checking (SEC) technologies, capable of demonstrating the behavioral equivalence of two designs, have grown dramatically in capacity over the past decades...
160
click to vote
BRAIN
2010
Springer
15 years 1 months ago
2010
Springer
Biologically realistic modeling has been greatly facilitated by the development of neuro-simulators, and the development of simulatorindependent formats for model exchange is the s...
162
click to vote
COMPSAC
2002
IEEE
15 years 9 months ago
2002
IEEE
With computer systems becoming ever larger and more complex, the cost and effort associated with their construction is increasing and the systems are now sufficiently complex that...
124
click to vote
EMSOFT
2006
Springer
15 years 8 months ago
2006
Springer
We present a formal approach to implement and certify fault-tolerance in real-time embedded systems. The faultintolerant initial system consists of a set of independent periodic t...