2836 search results - page 236 / 568 » Model Checking for Software Architectures |
135
click to vote
ICSE
2005
IEEE-ACM
16 years 4 months ago
2005
IEEE-ACM
Defined software engineering process help teaching and guiding software engineering courses projects. However, using them raises several issues related to process and course featu...
248
click to vote
AVI
2000
15 years 6 months ago
2000
Declarative models play an important role in most software design activities, by allowing designs to be constructed that selectively abstract over complex implementation details. ...
143
click to vote
CBSE
2005
Springer
15 years 10 months ago
2005
Springer
In existing component models, control originates in components, and connectors are channels for passing on the control to other components. This provides a mechanism for message pa...
132
click to vote
ISSS
2000
IEEE
15 years 9 months ago
2000
IEEE
The ever increasing complexity of embedded systems consisting of hardware and software components poses a challenge in verifying their correctness, New verification methods that o...
195
Voted
TSE
2011
14 years 11 months ago
2011
— We propose a new probabilistic temporal logic iLTL which captures properties of systems whose state can be represented by probability mass functions (pmf’s). Using iLTL, we c...