Sciweavers

3311 search results - page 299 / 663
» Deductive Object Programming
Sort
View
TOOLS
1999
IEEE
15 years 10 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 10 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
154
Voted
ECOOP
1991
Springer
15 years 10 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
16 years 1 days 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
201
Voted
ASIAN
2009
Springer
269views Algorithms» more  ASIAN 2009»
15 years 4 months 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