803 search results - page 117 / 161 » Building Formal Models for Software Requirements |
134
click to vote
FORTE
1997
15 years 3 months ago
1997
Distributed programming and object-oriented programming are two popular programming paradigms. The former is driven by advances in networking technology whereas the latter provide...
136
click to vote
ASWEC
2001
IEEE
15 years 5 months ago
2001
IEEE
Mainstreaming and industrialising agent technologies requires suitable methodological and technological support for the various engineering activities associated with managing the...
108
click to vote
EMSOFT
2008
Springer
15 years 3 months ago
2008
Springer
Relations between models are important for effective automatic validation, for comparing implementations with specifications, and for increased understanding of embedded systems d...
RE
2005
Springer
15 years 7 months ago
2005
Springer
View merging, also called view integration, is a key problem in conceptual modeling. Large models are often constructed and accessed by manipulating individual views, but it is im...
119
click to vote
FASE
2008
Springer
15 years 3 months ago
2008
Springer
Abstract. The complexity of large system models in software engineering nowadays is mastered by using different views. View-based modeling aims at creating small, partial models, e...