1164 search results - page 23 / 233 » Using CBR for Semantic Analysis of Software Specifications |
FORTE
2004
15 years 1 months ago
2004
Software Model-Checking and Testing are some of the most used techniques to analyze software systems and identify hidden faults. While software model-checking allows for an exhaust...
CODES
2001
IEEE
15 years 3 months ago
2001
IEEE
This paper addresses the problem of estimating cost and development effort of a system, starting from its complete or partial high-level description. In addition, some modificatio...
108
click to vote
DATE
2003
IEEE
15 years 5 months ago
2003
IEEE
This paper proposes a novel methodology tailored to design embedded systems, taking into account the emerging market needs, such as hw/sw partitioning, object-oriented specificati...
METRICS
1999
IEEE
15 years 4 months ago
1999
IEEE
Function point analysis(FPA) was proposedto help measure the size of a computerizedbusiness information system. It is widely used in the actual software development. However, it h...
115
click to vote
CIBSE
2009
ACM
15 years 6 months ago
2009
ACM
Nowadays building a web application is still a complex process that requires a big effort to get several tasks done. This article presents a domain specific language aimed to simpl...