4895 search results - page 566 / 979 » Tools for Grammar Engineering |
207
click to vote
KBSE
2005
IEEE
16 years 14 days ago
2005
IEEE
Current formal software engineering methodologies provide a vast array of languages for specifying correctness properties, as well as a wide assortment automated tools that aid in...
204
click to vote
WOSP
2005
ACM
16 years 13 days ago
2005
ACM
The change of focus from code to models promoted by OMG's Model Driven Development raises the need for verification of nonfunctional characteristics of UML models, such as pe...
166
click to vote
UIST
1995
ACM
15 years 10 months ago
1995
ACM
This paper exploresthe useof visualoperatorsfor solidsmodeling. We focus on designing interfaces for free-form operators such as blends, sweeps, and deformations, because these op...
188
click to vote
SE
2008
15 years 8 months ago
2008
Abstract: Modern software development approaches, especially the model-driven approaches, heavily rely on the use of models during the whole development process. With the increasin...
242
click to vote
ICSOC
2010
Springer
15 years 5 months ago
2010
Springer
In this demo paper we present the prototype of our fault injection testbed generator. Our tool empowers engineers to generate emulated SOA environments and to program fault injecti...