2836 search results - page 210 / 568 » Model Checking for Software Architectures |
135
click to vote
KBSE
2003
IEEE
15 years 9 months 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...
145
click to vote
ENTCS
2008
15 years 4 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 ...
114
click to vote
EWSPT
1995
Springer
15 years 8 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 ...
116
click to vote
DAC
1998
ACM
16 years 5 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...
122
click to vote
CBSE
2004
Springer
15 years 9 months 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 ...