9006 search results - page 472 / 1802 » Modeling Software |
198
click to vote
IWPSE
2007
IEEE
16 years 1 months ago
2007
IEEE
Predicting the defects in the next release of a large software system is a very valuable asset for the project manger to plan her resources. In this paper we argue that temporal f...
164
click to vote
APSEC
2007
IEEE
15 years 11 months ago
2007
IEEE
One major advantage of executable models is that once constructed, they can be run, checked, validated and improved in short incremental and iterative cycles. In the field of Soft...
259
click to vote
TACAS
2004
Springer
16 years 6 days ago
2004
Springer
We present a method of deriving Craig interpolants from proofs in the quantifier-free theory of linear inequality and uninterpreted function symbols, and an interpolating theorem...
157
click to vote
ECSA
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. Usage and exploitation of the Internet is a critical requirement for managing and distributing valuable digital assets. This requirement introduces a great number of thre...
147
click to vote
ECIS
2000
15 years 8 months ago
2000
- In this paper we investigate techniques offered by current object-oriented development methods for the specification of the user-system dialogue aspect of a software system. Curr...