Sciweavers

22698 search results - page 119 / 4540
» Modeling in Software Engineering
Sort
View
SYNASC
2006
IEEE
105views Algorithms» more  SYNASC 2006»
16 years 1 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
174
Voted
AC
2005
Springer
15 years 7 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
198
Voted
ICSEA
2007
IEEE
16 years 1 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
182
Voted
ISPW
2007
IEEE
16 years 1 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. ...
231
Voted
ISNN
2005
Springer
16 years 28 days 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