Sciweavers

3311 search results - page 299 / 663
» Deductive Object Programming
Sort
View
TOOLS
1999
IEEE
15 years 7 months ago
Events in Use Cases as a Basis for Identifying and Specifying Classes and Business Rules
Business rules are closely associated with events. This paper describes how events in use cases can be the basis for identifying classes and business rules. A process known as Eve...
Danny C. C. Poo
PLDI
1993
ACM
15 years 7 months ago
Real-Time Replication Garbage Collection
We have implemented the first copying garbage collector that permits continuous unimpeded mutator access to the original objects during copying. The garbage collector incremental...
Scott Nettles, James O'Toole
ECOOP
1991
Springer
15 years 6 months ago
Incremental Class Dictionary Learning and Optimization
We have previously shown how the discovery of classes from objects can be automated, and how the resulting class organization can be e ciently optimized in the case where the opti...
Paul L. Bergstein, Karl J. Lieberherr
APSEC
2005
IEEE
15 years 8 months ago
Monitoring with Behavior View Diagrams for Debugging
UML sequence diagrams are widely used during requirements analysis and design for specifying the expected message exchanges among a set of objects in various scenarios for the pro...
Donglin Liang, Kai Xu 0002
ASIAN
2009
Springer
269views Algorithms» more  ASIAN 2009»
15 years 26 days ago
Noninterference with Dynamic Security Domains and Policies
Abstract. Language-based information flow analysis is used to statically examine a program for information flows between objects of different security domains, and to verify these ...
Robert Grabowski, Lennart Beringer