313 search results - page 27 / 63 » WebDSL: A Case Study in Domain-Specific Language Engineering |
COMPSAC
2010
IEEE
14 years 8 months ago
2010
IEEE
We present a pattern-based method to express time specifications in the language TLA+ . A real-time module RealTimeNew is introduced to encapsulate the definitions of commonly used...
77
Voted
AOSD
2010
ACM
15 years 5 months ago
2010
ACM
Many software security policies can be encoded as aspects that identify and guard security-relevant program operations. Bugs in these aspectually-implemented security policies oft...
105
click to vote
ICFEM
1998
Springer
15 years 2 months ago
1998
Springer
Studying industrial systems by simulation enables the designer to study the dynamic behaviour and to determine some characteristics of the system. Unfortunately, simulation also h...
ERLANG
2006
ACM
15 years 4 months ago
2006
ACM
We present a case study in which a novel testing tool, Quviq QuickCheck, is used to test an industrial implementation of the Megaco protocol. We considered positive and negative t...
74
Voted
ICSE
2005
IEEE-ACM
15 years 10 months ago
2005
IEEE-ACM
CODECRAWLER (in the remainder of the text CC) is a language independent, interactive, information visualization tool. It is mainly targeted at visualizing object-oriented software...