216 search results - page 16 / 44 » Testing Extensible Language Debuggers |
SDL
2001
13 years 11 months ago
2001
Experiences with the use of the MSC language for complex system specifications have shown that certain extensions are necessary in order to arrive at sufficiently transparent and m...
ESOP
2007
Springer
14 years 1 months ago
2007
Springer
Abstract. The question of equivalence has long vexed research in concurrency, leading to many different denotational- and bisimulation-based approaches; a breakthrough occurred wit...
FMICS
2008
Springer
13 years 11 months ago
2008
Springer
Lustre is a formal synchronous declarative language widely used for modeling and specifying safety-critical applications in the elds of avionics, transportation or energy productio...
AOSD
2004
ACM
14 years 3 months ago
2004
ACM
This paper presents our extension to AspectJ for distributed computing. Although AspectJ allows Java developers to modularize a crosscutting concern as an aspect, this paper shows...
SIGSOFT
2009
ACM
14 years 10 months ago
2009
ACM
Debugging refers to the laborious process of finding causes of program failures. Often, such failures are introduced when a program undergoes changes and evolves from a stable ver...