10159 search results - page 474 / 2032 » System Design Validation Using Formal Models |
128
click to vote
ICSE
1987
IEEE-ACM
15 years 8 months ago
1987
IEEE-ACM
We present a formulation of interconnection models and present the unit and syntactic models -- the primary models used for managing the evolution of large software systems. We di...
161
Voted
EUROGP
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. In this paper we conduct a comparative study between hybrid methods to optimize multilayer perceptrons: a model that optimizes the architecture and initial weights of mul...
235
Voted
ADIS
2001
15 years 6 months ago
2001
The quality of class diagrams is critical because it has a great influence on the quality of the object oriented information system (OOIS) which are finally delivered. This fact mo...
120
click to vote
ICRE
1998
IEEE
15 years 9 months ago
1998
IEEE
This paper introduces an approach to multi-perspective requirements engineering (PREview) which has been designed for industrial use and discusses our practical experience in appl...
145
Voted
ICCS
2005
Springer
15 years 10 months ago
2005
Springer
The paper presents the Multi Agent System (MAS) designed for the large scale parallel computations. The special kind of diffusionbased scheduling enables to decompose and allocate...