623 search results - page 4 / 125 » An Algebraic Approach for Managing Inconsistencies in Softwa... |
ISCI
2007
13 years 7 months ago
2007
The evaluation of software processes is nowadays a very important issue due to the growing interest of software companies in the improvement of the productivity and quality of del...
QSIC
2005
IEEE
14 years 28 days ago
2005
IEEE
We propose a software requirements analysis method based on domain ontology technique, where we can establish a mapping between a software requirements specification and the doma...
ISIM
2007
13 years 8 months ago
2007
UML
2005
Springer
14 years 25 days ago
2005
Springer
We present in this paper a rigorous and automated based approach for the behavioral validation of control software systems. This approach relies on metamodeling, model-transformati...
CORR
2010
Springer
13 years 7 months ago
2010
Springer
Managing the transactions in real time distributed computing system is not easy, as it has heterogeneously networked computers to solve a single problem. If a transaction runs acr...