4895 search results - page 369 / 979 » Tools for Grammar Engineering |
184
click to vote
COMPSAC
2006
IEEE
16 years 24 days ago
2006
IEEE
This paper presents an approach for automated test case generation using a software specification modeled in Statecharts. The steps defined in such approach involve: translation o...
174
click to vote
KBSE
2006
IEEE
16 years 23 days ago
2006
IEEE
Traditional design representations are inadequate for generalized reasoning about modularity in design and its technical and economic implications. We have developed an architectu...
167
click to vote
SCAM
2006
IEEE
16 years 22 days ago
2006
IEEE
Refactoring is about changing the design of existing code without changing its behaviour, but with the aim of making code easier to understand, modify, or reuse. Taking Haskell an...
171
click to vote
ETFA
2005
IEEE
16 years 11 days ago
2005
IEEE
This paper describes formal modeling and verification of automation systems from the system engineering point of view. Reuse of model components is the key issue in order to bring...
161
click to vote
QSIC
2005
IEEE
16 years 9 days ago
2005
IEEE
Dynamic service-oriented architectures aim to provide more flexible and robust systems that are able to handle change over time. Their dynamic nature however, provides extra chall...