Sciweavers

1588 search results - page 214 / 318
» Modular action language
Sort
View
OOPSLA
2009
Springer
15 years 10 months ago
A type and effect system for deterministic parallel Java
Today’s shared-memory parallel programming models are complex and error-prone. While many parallel programs are intended to be deterministic, unanticipated thread interleavings ...
Robert L. Bocchino Jr., Vikram S. Adve, Danny Dig,...
COMPSAC
2007
IEEE
15 years 10 months ago
On Identifying Bug Patterns in Aspect-Oriented Programs
Bug patterns are erroneous code idioms or bad coding practices that have been proved fail time and time again. They mainly arise from the misunderstanding of language features, th...
Sai Zhang, Jianjun Zhao
ISSRE
2006
IEEE
15 years 10 months ago
BPEL4WS Unit Testing: Test Case Generation Using a Concurrent Path Analysis Approach
BPEL is a language that could express complex concurrent behaviors. This paper presents a novel method of BPEL test case generation, which is based on concurrent path analysis. Th...
Jun Yan, Zhong Jie Li, Yuan Yuan, Wei Sun, Jian Zh...
ISSTA
2006
ACM
15 years 10 months ago
APTE: automated pointcut testing for AspectJ programs
Aspect-Oriented Programming (AOP) has been proposed as a methodology that provides new modularization of software systems by allowing encapsulation of cross-cutting concerns. Aspe...
Prasanth Anbalagan, Tao Xie
UML
2005
Springer
15 years 9 months ago
Modeling Aspect-Oriented Compositions
Crosscutting concerns are pervasive in embedded software, because of the various constraints imposed by the environment and the stringent QOS requirements on the system. This pape...
Thomas Cottenier, Aswin van den Berg, Tzilla Elrad