3799 search results - page 56 / 760 » An Engineering Approach to Formal Methods |
ICFEM
1998
Springer
13 years 11 months ago
1998
Springer
Open component architectures, such as CORBA, allow software systems to be composed of independent components. The behavior of components is described with a mixture of an interfac...
DKE
1998
13 years 7 months ago
1998
This paper gives an overview about the development of the field of Knowledge Engineering over the last 15 years. We discuss the paradigm shift from a transfer view to a modeling v...
APSEC
2004
IEEE
13 years 11 months ago
2004
IEEE
Product line engineering (PLE) is one of the recent and effective reuse approaches, and it consists of two processes; framework engineering and application engineering. Framework ...
ICWE
2004
Springer
14 years 1 months ago
2004
Springer
Current Web Engineering methods develop "closed" web applications from conceptual models. This fact makes difficult the integration and the interoperability of different ...
AI
2001
Springer
14 years 9 days ago
2001
Springer
This paper presents a new pruning method to determine a nearly optimum multi-layer neural network structure. The aim of the proposed method is to reduce the size of the network by ...