1799 search results - page 81 / 360 » The Logic of Correctness in Software Engineering |
156
click to vote
SEFM
2009
IEEE
16 years 23 days ago
2009
IEEE
Interval temporal logics are based on interval structures over linearly (or partially) ordered domains, where time intervals, rather than time instants, are the primitive ontologi...
165
click to vote
BELL
2000
15 years 5 months ago
2000
A significant part of the call processing software for Lucent's new PathStar access server [FSW98] was checked with automated formal verification techniques. The verification...
163
click to vote
ICIW
2009
IEEE
16 years 20 days ago
2009
IEEE
Today’s cross-organizations are increasingly coordinating their capabilities in the quest of dynamically adaptable and thus highly competitive realistic services. Unfortunately,...
161
click to vote
KBSE
1999
IEEE
15 years 10 months ago
1999
IEEE
Many domain specialists are not familiar or comfortable with formal notations and formal tools like theorem provers or model generators. To address this problem we developed Attem...
176
click to vote
CISIS
2009
IEEE
16 years 25 days ago
2009
IEEE
—This paper describes a new logic-based approach for representing and reasoning about metabolic networks. First it shows how biological pathways can be elegantly represented in a...