22698 search results - page 532 / 4540 » Modeling in Software Engineering |
182
click to vote
AMAST
2006
Springer
15 years 11 months ago
2006
Springer
The problem of finding an approximation to a labeled Markov transition system through hyperfinite transition systems is addressed. It is shown that we can find for each countable ...
216
click to vote
COMPSAC
2008
IEEE
16 years 1 months ago
2008
IEEE
During the development and maintenance of ObjectOriented (OO) software, the information on the classes which are more prone to be changed is very useful. Developers and maintainer...
209
click to vote
HPCN
2000
Springer
15 years 11 months ago
2000
Springer
The paper presents the implementation of a railway control system, as a means of assessing the potential of coordination languages to be used for modelling software architectures f...
193
click to vote
ICSM
2007
IEEE
16 years 1 months ago
2007
IEEE
Maintainability is a key quality attribute of successful software systems. However, its management in practice is still problematic. Currently, there is no comprehensive basis for...
205
click to vote
GI
2009
Springer
15 years 5 months ago
2009
Springer
Abstract: Today's trend in software and system engineering is to utilize more specialized models. This model-based development approach makes a single engineering task more ea...