Sciweavers

22698 search results - page 119 / 4540
» Modeling in Software Engineering
Sort
View
SYNASC
2006
IEEE
105views Algorithms» more  SYNASC 2006»
15 years 9 months ago
A Meta-Model for Enterprise Applications
In the last years, as object-oriented software systems became more and more complex, the need of performing automatically reverse engineering upon these systems has increased sign...
Cristina Marinescu, Ioan Jurca
AC
2005
Springer
15 years 3 months ago
Software model checking with SPIN
The aim of this chapter is to give an overview of the theoretical foundation and the practical application of logic model checking techniques for the verification of multi-threade...
Gerard J. Holzmann
ICSEA
2007
IEEE
15 years 9 months ago
A Framework for Classifying and Comparing Process Technology Domains
This paper introduces a framework for classifying and comparing three domains related to the process technology. More particularly, it gives process definitions, characteristics, m...
Reda Bendraou, Marie-Pierre Gervais
ISPW
2007
IEEE
15 years 9 months ago
Process Mining Framework for Software Processes
Abstract. Software development processes are often not explicitly modelled and sometimes even chaotic. In order to keep track of the involved documents and files, engineers use So...
Vladimir Rubin, Christian W. Günther, Wil M. ...
145
Voted
ISNN
2005
Springer
15 years 8 months ago
Support Vector Regression for Software Reliability Growth Modeling and Prediction
In this work, we propose to apply support vector regression (SVR) to build software reliability growth model (SRGM). SRGM is an important aspect in software reliability engineering...
Fei Xing, Ping Guo