Sciweavers

6174 search results - page 296 / 1235
» The language of social software
Sort
View
AOSD
2004
ACM
16 years 4 days ago
Advice weaving in AspectJ
This paper describes the implementation of advice weaving in AspectJ. The AspectJ language picks out dynamic join points in a program's execution with pointcuts and uses advi...
Erik Hilsdale, Jim Hugunin
VL
1999
IEEE
120views Visual Languages» more  VL 1999»
15 years 11 months ago
Formalizing Spider Diagrams
Geared to complement UML and to the specification of large software systems by non-mathematicians, spider diagrams are a visual language that generalizes the popular and intuitive...
Joseph Gil, John Howse, Stuart Kent
AADEBUG
1997
Springer
15 years 11 months ago
Assertions for Dynamic Shape Analysis of List Data Structures
We introduce an assertion language for run-time checking of linked list data structure shapes. The assertion language is expressive enough to define characteristic predicates for ...
Mikhail Auguston, Miu Har Hon
APIN
2007
80views more  APIN 2007»
15 years 6 months ago
Specification, analysis and simulation of the dynamics within an organisation
In this paper a modelling approach to the dynamics within a multi-agent organisation is presented. A declarative, executable specification language for dynamics within an organisat...
Catholijn M. Jonker, Jan Treur, Wouter C. A. Wijng...
WCRE
2010
IEEE
15 years 5 months ago
Static Analysis for Understanding Shared Objects in Open Concurrent Java Programs
—Concurrent programming with shared memory in an object-oriented language such as Java is notoriously difficult. Therefore, it is important to study new program understanding te...
Ana Milanova, Yin Liu