4895 search results - page 285 / 979 » Tools for Grammar Engineering |
178
click to vote
SEFM
2005
IEEE
16 years 6 days ago
2005
IEEE
The need for the B method first appeared in industry, and several commercial tools have been developed to support this formalism. However, few of these tools allow reasoning on t...
167
click to vote
VISSOFT
2005
IEEE
16 years 6 days ago
2005
IEEE
The paper presents a new visualization approach to support static concept location in source code. The approach is realized through the combination of two existing tools: IRiSS, w...
162
click to vote
AOSD
2003
ACM
15 years 12 months ago
2003
ACM
A development task related to a crosscutting concern is challenging because a developer can easily get lost when exploring scattered elements of code and the complex tangle of rel...
161
click to vote
AADEBUG
2000
Springer
15 years 11 months ago
2000
Springer
As most parallel and distributed programs are internally non-deterministic – consecutive runs with the same input might result in a different program flow – vanilla cyclic d...
189
Voted
APSEC
1999
IEEE
15 years 11 months ago
1999
IEEE
For the practical development of provably correct software for embedded systems the close integration of CASE tools and verification tools is required. This paper describes the co...