412 search results - page 54 / 83 » The documentary structure of source code |
RSP
2007
IEEE
15 years 8 months ago
2007
IEEE
Designing security softwares that evolve as quickly as threats is a truthful challenge. In addition, current software becomes increasingly more complex and difficult to handle ev...
109
Voted
ICSM
2006
IEEE
15 years 7 months ago
2006
IEEE
During software evolution a collection of related artifacts with different representations are created. Some of these are composed of structured data (e.g., analysis data), some c...
105
click to vote
ICSM
2006
IEEE
15 years 7 months ago
2006
IEEE
An approach to automatically identify the stereotypes of all the methods in an entire system is presented. A taxonomy for object-oriented class method stereotypes is given that un...
INEX
2004
Springer
15 years 7 months ago
2004
Springer
NEXI was introduced in INEX 2004 as a query language for specifying structured and unstructured queries on XML documents. A language expressive enough for INEX yet simple enough f...
113
Voted
VMCAI
2004
Springer
15 years 7 months ago
2004
Springer
In this paper we deal with the problem of applying model checking to real programs. We verify a program without constructing the whole transition system using a technique based on...