2409 search results - page 30 / 482 » Logical systems for structured specifications |
112
Voted
BIRTHDAY
2009
Springer
14 years 10 months ago
2009
Springer
Weighted transition systems are defined, parametrized by a commutative monoid of weights. These systems are further understood as coalgebras for functors of a specific form. A gene...
106
Voted
FMOODS
2000
15 years 2 months ago
2000
This paper presents a logic, called BOTL (Object-Based Temporal Logic), that facilitates the specification of dynamic and static properties of object-based systems. The logic is ba...
117
click to vote
APIN
2000
15 years 20 days ago
2000
Defeasible logic is a system of reasoning in which rules have exceptions, and when rules conflict, the one that applies most specifically to the situation wins out. This paper repo...
112
Voted
COMSIS
2004
15 years 20 days ago
2004
This paper outlines a methodology for designing information systems based on XML. The methodology uses XML DTDs to define the design standards, and the structure and constraints of...
91
Voted
CORR
2010
Springer
15 years 27 days ago
2010
Springer
The focus of this paper is on reducing the complexity in verification by exploiting modularity at various levels: in specification, in verification, and structurally. For specifica...