1799 search results - page 14 / 360 » The Logic of Correctness in Software Engineering |
FAABS
2004
Springer
14 years 24 days ago
2004
Springer
Abstract. The design of reactive systems must comply with logical correctness (the system does what it is supposed to do) and timeliness (the system has to satisfy a set of tempora...
AC
2000
Springer
13 years 7 months ago
2000
Springer
Abstract. In the late 80's Blum, Luby, Rubinfeld, Kannan et al. pioneered the theory of self
DICS
2006
13 years 9 months ago
2006
Abstract. Modern incremental and iterative software engineering processes advocate to build software systems by first creating a highly simpliabstract model of the system which is ...
FSTTCS
2005
Springer
14 years 28 days ago
2005
Springer
WWW
2005
ACM
14 years 8 months ago
2005
ACM
The correctness of the Z semantics of OWL is the theoretical foundation of using software engineering techniques to verify Web ontologies. As OWL and Z are based on different logi...