TOSEM 2010 | Sciweavers

28

click to vote

TOSEM
2010

92views more TOSEM 2010»

Extracting and answering why and why not questions about Java program output

13 years 6 months ago

Download faculty.washington.edu

Andrew J. Ko, Brad A. Myers

claim paper

Read More »

47

click to vote

TOSEM
2010

168views more TOSEM 2010»

Analysis and applications of timed service protocols

13 years 6 months ago

Download hal.archives-ouvertes.fr

Web services are increasingly gaining acceptance as a framework for facilitating application-to-application interactions within and across enterprises. It is commonly accepted tha...

Julien Ponge, Boualem Benatallah, Fabio Casati, Fa...

claim paper

Read More »

27

click to vote

TOSEM
2010

95views more TOSEM 2010»

Supporting dynamic aspect-oriented features

13 years 10 months ago

Download www.cs.iastate.edu

Nu model provides a higher level of abstraction compared to traditional object-oriented ILs, making it easier to eciently support dynamic AO features. We demonstrate these benets...

Robert Dyer, Hridesh Rajan

claim paper

Read More »

36

click to vote

TOSEM
2010

159views more TOSEM 2010»

Clone region descriptors: Representing and tracking duplication in source code

13 years 10 months ago

Download www.cs.mcgill.ca

n the concept of abstract clone region descriptors (CRDs), which describe clone regions using a combination of their syntactic, structural, and lexical information. We present our ...

Ekwa Duala-Ekoko, Martin P. Robillard

claim paper

Read More »

35

click to vote

TOSEM
2010

95views more TOSEM 2010»

Types and modularity for implicit invocation with implicit announcement

13 years 10 months ago

Download www.infosun.fim.uni-passau.de

Friedrich Steimann, Thomas Pawlitzki, Sven Apel, C...

claim paper

Read More »

28

click to vote

TOSEM
2010

109views more TOSEM 2010»

Modular aspect-oriented design with XPIs

13 years 10 months ago

Download www.cs.drexel.edu

e, or XPI. XPIs abstract crosscutting behaviors and make these abstractions explicit. XPIs can be used, albeit with limited enforcement of interface rules, with existing AOP langua...

Kevin J. Sullivan, William G. Griswold, Hridesh Ra...

claim paper

Read More »

26

click to vote

TOSEM
2010

41views more TOSEM 2010»

A verification system for interval-based specification languages

13 years 10 months ago

Download www.comp.nus.edu.sg

Chunqing Chen, Jin Song Dong, Jun Sun 0001, Andrew...

claim paper