4636 search results - page 271 / 928 » Application of Linguistic Techniques for Use Case Analysis |
162
click to vote
INFSOF
2010
15 years 5 months ago
2010
Program analysis techniques are used by software engineers to deduce and infer characteristics of software systems. Recent research has suggested that certain program analysis tec...
185
click to vote
KBSE
2003
IEEE
16 years 2 days ago
2003
IEEE
We present an approach to managing formal models using Model Driven Architecture (MDA) technologies that delivers analysis techniques through integration with the design tools and...
148
click to vote
INFORMATICALT
2008
15 years 6 months ago
2008
We investigate applicability of quantitative methods to discover the most fundamental structural properties of the most reliable political data in Lithuania. Namely, we analyze vot...
183
click to vote
DSN
2011
IEEE
14 years 6 months ago
2011
IEEE
In this work, we study security incidents that occurred over period of 5 years at the National Center for Supercomputing Applications at the University of Illinois. The analysis co...
181
click to vote
RE
1997
Springer
15 years 11 months ago
1997
Springer
—Formal methods have yet to achieve wide industrial acceptance for several reasons. They are not well integrated into hed industrial software processes, their application require...