230 search results - page 46 / 46 » A formal analysis of requirements-based testing |
EC
2007
14 years 11 months ago
2007
Geometric crossover is a representation-independent generalization of the traditional crossover defined using the distance of the solution space. By choosing a distance firmly r...
97
Voted
SLOGICA
2008
14 years 11 months ago
2008
In this paper we show how recent concepts from Dynamic Logic, and in particular from Dynamic Epistemic logic, can be used to model and interpret quantum behavior. Our main thesis ...
129
click to vote
TASE
2008
IEEE
14 years 11 months ago
2008
IEEE
In this paper we deal with the problem of modeling railway networks with Petri nets so as to apply the theory of supervisory control for discrete event systems to automatically de...
78
Voted
CMOT
2004
14 years 11 months ago
2004
Social action is situated in fields that are simultaneously composed of interpersonal ties and relations among organizations, which are both usefully characterized as social netwo...
114
Voted
RE
2008
Springer
14 years 11 months ago
2008
Springer
Early phases of software development are known to be problematic, difficult to manage and errors occurring during these phases are expensive to correct. Many systems have been deve...