1799 search results - page 14 / 360 » The Logic of Correctness in Software Engineering |
168
click to vote
FAABS
2004
Springer
15 years 7 months 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...
117
click to vote
AC
2000
Springer
15 years 1 months ago
2000
Springer
Abstract. In the late 80's Blum, Luby, Rubinfeld, Kannan et al. pioneered the theory of self
103
click to vote
DICS
2006
15 years 3 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
15 years 7 months ago
2005
Springer
115
Voted
WWW
2005
ACM
16 years 2 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...