803 search results - page 98 / 161 » Building Formal Models for Software Requirements |
162
click to vote
IJHPCA
2011
14 years 10 months ago
2011
Over the last twenty years, the open source community has provided more and more software on which the world’s High Performance Computing (HPC) systems depend for performance ...
144
click to vote
ENTCS
2006
15 years 3 months ago
2006
Nowadays, software evolution is a very hot topic. Many applications need to be updated or extended with new characteristics during their lifecycle. Software evolution is character...
119
click to vote
CAISE
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. The definition of a domain ontology is a complex activity that requires two kinds of expertise: a deep knowledge of the domain to be modeled and a good level of familiari...
207
click to vote
CLIMA
2011
14 years 3 months ago
2011
Multi-agent systems are an increasingly important software paradigm and in many of its applications agents cooperate to achieve a particular goal. This requires the design of effi...
140
click to vote
ITNG
2008
IEEE
15 years 10 months ago
2008
IEEE
Achieving a quality software system requires UML designers a good understanding of both design patterns and antipatterns. Unfortunately, UML models for real systems tend to be huge...