3081 search results - page 521 / 617 » A Formal Ontology of Properties |
166
click to vote
IFM
2007
Springer
16 years 16 days ago
2007
Springer
Abstract. Event-B is a notation and method for discrete systems modelling by refinement. We introduce a small but very useful construction: qualitative probabilistic choice. It ex...
177
click to vote
SAFECOMP
2007
Springer
16 years 15 days ago
2007
Springer
A strategy and relating activities of a software safety analysis (SSA) are presented for the software of a digital reactor protection system where software modules in the design de...
184
click to vote
TLCA
2007
Springer
16 years 15 days ago
2007
Springer
We describe a new method to represent (partial) recursive functions in type theory. For every recursive definition, we define a co-inductive type of prophecies that characterises...
154
click to vote
VAMOS
2007
Springer
16 years 15 days ago
2007
Springer
Variability modeling techniques are used to specify variable aspects of members of a family of related software artifacts. Instances of variability models are then used to effici...
185
click to vote
ACSD
2006
IEEE
16 years 14 days ago
2006
IEEE
Recently, the formal approach of I–Systems has been newly hed through an abstract axiomatic system where events in system components are solely derived and defined from their b...