209 search results - page 5 / 42 » Logic and refinement for charts |
ACL
1996
13 years 8 months ago
1996
Charts constitute a natural uniform architecture for parsing and generation provided string position is replaced by a notion more appropriate to logical forms and that measures ar...
CADE
2009
Springer
14 years 2 months ago
2009
Springer
KR
2010
Springer
14 years 5 days ago
2010
Springer
Topological logics are a family of languages for representing and reasoning about topological data. In this paper, we consider propositional topological logics able to express the...
PADL
2004
Springer
14 years 23 days ago
2004
Springer
Message Sequence Charts (MSC) have traditionally been used as a weak form of behavioral requirements in software design; they denote scenarios which may happen. Live Sequence Chart...
ETFA
2008
IEEE
14 years 1 months ago
2008
IEEE
Programmable Logic Controllers (PLCs) play a significant role in the control of production systems and Sequential Function Chart (SFC) is one of the main programming languages. Th...