1676 search results - page 191 / 336 » Formal System Development with KIV |
160
click to vote
KBSE
2007
IEEE
16 years 21 days ago
2007
IEEE
Software systems have become more complex, with myriad features and multiple functionalities. A major challenge in developing and maintaining such complex software is to identify ...
175
click to vote
KBSE
2005
IEEE
16 years 37 min ago
2005
IEEE
Feature location aims at locating pieces of code that implement a given set of features (requirements). It is a necessary first step in every program comprehension and maintenanc...
172
click to vote
AMAST
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. Formal certification is based on the idea that a mathematical proof of some property of a piece of software can be regarded as a certificate of correctness which, in pr...
149
click to vote
UML
2004
Springer
15 years 11 months ago
2004
Springer
The description of software architectures has always been concerned with the definition of the appropriate languages for designing the various architectural artifacts. Over the pa...
185
click to vote
SASN
2003
ACM
15 years 11 months ago
2003
ACM
The purpose of this work is to automate the analysis of ad hoc routing protocols in the presence of attackers. To this end, a formal model of protocol behavior is developed in whi...