Now showing items 1-10 of 31
Software Quality Through Formal OO Specification [Article]
A framework for semiqualitative reasoning in engineering applications [Article]
(Taylor and Francis, 2002)
In most cases the models for experimentation, analysis, or design in engineering applications take into account only quantitative knowledge. Sometimes there is a qualitative knowledge that is convenient to consider in ...
Comparación cualitativa de series temporales. Indice cualitativo de similitud - QSI [Article]
(Centro de Investigación en Computación IPN, 2001)
Fairness in systems based on multiparty interactions [Article]
(John Wiley and Sons, 2003)
In the context of the Multiparty Interaction Model, fairness is used to insure that an interaction that is enabled sufficiently often in a concurrent program will eventually be selected for execution. Unfortunately, this ...
Interactions among dynamic sets of objects [Article]
In this paper, we present an operator to model interactions among objects. Our proposal allows a variable number of participant objects in an interaction, and this number will be fixed during the execution of the model. ...
Verifying Software Requirements with XSLT [Article]
In this article, we present an approach for the automatic verification of software requirements documents. This approach is based on the representation of software requirements in XML and the usage of the XSLT language not ...
Repairing Syntax Errors in LR Parsers [Article]
This article reports on an error-repair algorithm for LR parsers. It locally inserts, deletes or shifts symbols at the positions where errors are detected, thus modifying the right context in order to resume parsing on ...
A Dynamic Integrated Framework for Software Process Improvement [Article]
Current software process models (CMM, SPICE, etc.) strongly recommend the application of statistical control and measure guides to define, implement, and evaluate the effects of different process improvements. However, ...