Sciweavers

4895 search results - page 348 / 979
» Tools for Grammar Engineering
Sort
View
ICECCS
2005
IEEE
125views Hardware» more  ICECCS 2005»
16 years 9 days ago
Model Checking Live Sequence Charts
Live Sequence Charts (LSCs) are a broad extension to Message Sequence Charts (MSCs) to capture complex interobject communication rigorously. A tool support for LSCs, named PlayEng...
Jun Sun 0001, Jin Song Dong
MSR
2005
ACM
16 years 8 days ago
Using a clone genealogy extractor for understanding and supporting evolution of code clones
Programmers often create similar code snippets or reuse existing code snippets by copying and pasting. Code clones —syntactically and semantically similar code snippets—can ca...
Miryung Kim, David Notkin
OOPSLA
2005
Springer
16 years 6 days ago
PolyD: a flexible dispatching framework
The standard dispatching mechanisms built into programming languages are sometimes inadequate to the needs of the programmer. In the case of Java, the need for more flexibility h...
Antonio Cunei, Jan Vitek
PEPM
2004
ACM
16 years 1 days ago
Proving termination of membership equational programs
Advanced typing, matching, and evaluation strategy features, as well as very general conditional rules, are routinely used in equational programming languages such as, for example...
Francisco Durán, Salvador Lucas, José...
KBSE
2003
IEEE
15 years 12 months ago
An Empirical Study on Groupware Support for Software Inspection Meetings
Software inspection is an effective way to assess product quality and to reduce the number of defects. In a software inspection the inspection meeting is a key activity to agree o...
Paul Grünbacher, Michael Halling, Stefan Biff...