3081 search results - page 157 / 617 » A Formal Ontology of Properties |
171
click to vote
SIGSOFT
2008
ACM
16 years 7 months ago
2008
ACM
Program specifications are important for many tasks during software design, development, and maintenance. Among these, temporal specifications are particularly useful. They expres...
173
click to vote
CIA
2007
Springer
16 years 18 days ago
2007
Springer
Recognizing that trust states are mental states, this paper presents a formal analysis of the dynamics of trust in terms of the functional roles and representation relations for tr...
153
click to vote
ZUM
2005
Springer
15 years 12 months ago
2005
Springer
Abstract. We describe a method for combining formal program development with a disciplined and documented way of introducing realistic compromises, for example necessitated by reso...
155
click to vote
ESOP
2010
Springer
15 years 9 months ago
2010
Springer
Parsing is an important problem in computer science and yet surprisingly little attention has been devoted to its formal verification. In this paper, we present TRX: a parser inter...
181
click to vote
ENTCS
2008
15 years 6 months ago
2008
Automatic generation of formal specifications from requirement reduces cost and complexity of formal models creation. Thus, the generated formal model brings the possibility to ca...