2836 search results - page 210 / 568 » Model Checking for Software Architectures |
193
click to vote
KBSE
2003
IEEE
16 years 9 days ago
2003
IEEE
Mathematical modeling and simulation of complex physical systems are emerging as key technologies in engineering. Modern approaches to physical system simulation allow users to sp...
193
Voted
ENTCS
2008
15 years 7 months ago
2008
In model-based software development, a complete design and analysis process involves designing the system using the design language, converting it into the analysis language, and ...
159
click to vote
EWSPT
1995
Springer
15 years 10 months ago
1995
Springer
In this paper, we advocate decentralised process modelling and suggest that understanding and modelling the development processes of individual development participants is the key ...
163
Voted
DAC
1998
ACM
16 years 8 months ago
1998
ACM
Statistical analysis of bug discovery data is used in the software industry to check the quality of the testing process and estimate the reliability of the tested program. In this...
175
click to vote
CBSE
2004
Springer
16 years 13 days ago
2004
Springer
Specification of Quality of Service (QoS) for components can only be done in relation to the QoS the components themselves are given by imported components. Developers as well as ...