2935 search results - page 118 / 587 » An Integrated Approach to High Integrity Software Verificati... |
142
click to vote
FM
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. We present a software tool platform which facilitates security and performance analysis of systems which starts and ends with UML model descriptions. A UML project is pre...
124
Voted
WWW
2008
ACM
16 years 5 months ago
2008
ACM
Ontology mapping seeks to find semantic correspondences between similar elements of different ontologies. This paper proposes a neural network based approach to search for a globa...
165
click to vote
VAMOS
2007
Springer
15 years 10 months ago
2007
Springer
Variability modeling is at the heart of product line engineering. Variability models entail features and architectural elements, technical customization aspects, sales and marketi...
158
click to vote
ACSE
1996
ACM
15 years 8 months ago
1996
ACM
The need for the teaching of professional skills to undergraduates in areas such as communications, team work, conflict resolution, and ethics has for some time been articulated b...
146
Voted
ECOWS
2007
Springer
15 years 10 months ago
2007
Springer
Service engineering and service-oriented architecture as an integration and platform technology is a recent approach to software systems integration. Software quality aspects such ...