2205 search results - page 236 / 441 » Mutation Operators for Specifications |
121
Voted
DBSEC
2000
15 years 5 months ago
2000
The premises of this paper are 1) security is application dependent because application semantics directly influence proper protection; but 2) applications are generally too compl...
160
click to vote
ESM
2000
15 years 5 months ago
2000
Petri Nets and higher order versions like Predicate Transition Nets (Pr/T-Nets) are very suitable for modeling event-oriented discrete and even parallel systems. Obviously, the ne...
141
click to vote
FMOODS
2000
15 years 5 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...
130
click to vote
IWFM
1998
15 years 5 months ago
1998
The issue of correctness in the context of a certain style of program transformation is investigated. This style is characterised by the fully automated application of large numbe...
156
click to vote
ISDO
2000
15 years 5 months ago
2000
This paper presents an approach for the specification and implementation of business contracts needed for Business-to-Business (B2B) services. We first examine typical elements of...