Sciweavers

613 search results - page 21 / 123
» Executable Visual Contracts
Sort
View
ECOOP
2007
Springer
14 years 5 months ago
Declarative Object Identity Using Relation Types
Object-oriented languages define the identity of an object to be an address-based object identifier. The programmer may customize the notion of object identity by overriding the ...
Mandana Vaziri, Frank Tip, Stephen Fink, Julian Do...
AGENTCL
2000
Springer
14 years 2 months ago
Dialogue in Team Formation
The process of cooperative problem solving can be divided into four stages. First, finding potential team members, then forming a team followed by constructing a plan for that tea...
Frank Dignum, Barbara Dunin-Keplicz, Rineke Verbru...
CASCON
2008
137views Education» more  CASCON 2008»
14 years 11 days ago
Automating SLA modeling
Service Level Agreements (SLAs) define the level of service that a service provider must deliver. An SLA is a contract between service provider and consumer, and includes appropri...
Tony Chau, Vinod Muthusamy, Hans-Arno Jacobsen, El...
SIGCSE
2008
ACM
103views Education» more  SIGCSE 2008»
13 years 10 months ago
A query simulation system to illustrate database query execution
The underlying processes that enable database query execution are fundamental to understanding database management systems. However, these processes are complex and can be difficu...
Brett Allenstein, Andrew Yost, Paul Wagner, Joline...
IWPC
2007
IEEE
14 years 5 months ago
Understanding Execution Traces Using Massive Sequence and Circular Bundle Views
The use of dynamic information to aid in software understanding is a common practice nowadays. One of the many approaches concerns the comprehension of execution traces. A major i...
Bas Cornelissen, Danny Holten, Andy Zaidman, Leon ...