1587 search results - page 221 / 318 » The Semantics of Extended SOFL |
143
click to vote
ISSRE
2000
IEEE
15 years 10 months ago
2000
IEEE
A coverage testing tool ATACOBOL (Automatic Test Analysis for COBOL) that applies data flow coverage technique is developed for software development on IBM System/390 mainframe. W...
196
click to vote
VL
2000
IEEE
15 years 10 months ago
2000
IEEE
SD2 is a system of Venn-type diagrams that can be used to reason diagrammatically about sets, their cardinalities and their relationships. They augment the systems of Venn-Peirce ...
153
click to vote
AOSE
2000
Springer
15 years 10 months ago
2000
Springer
Abstract. The agent paradigm can be seen as an extension of the notion of (active) objects by concepts like autonomy, cooperation, and goal-oriented behavior. Mainstream object-ori...
147
click to vote
APSEC
1999
IEEE
15 years 10 months ago
1999
IEEE
The ability to treat code as data within a programming language is a powerful feature. Smalltalk introduces an object called a block that represents code as data. We propose a for...
172
click to vote
ARTS
1999
Springer
15 years 10 months ago
1999
Springer
Published results show that various models may be obtained by combining parallel composition with probability and with or without non-determinism. In this paper we treat this probl...