1121 search results - page 65 / 225 » Building Formal Requirements Models for Reliable Software |
108
click to vote
IJCAI
2007
15 years 1 months ago
2007
Testing embedded software systems on the control units of vehicles is a safety-relevant task, and developing the test suites for performing the tests on test benches is time-consu...
VAMOS
2007
Springer
15 years 6 months ago
2007
Springer
Software products often need to vary in terms of functionality, but also in terms of quality attributes. We describe KumbangSec, which in an approach for modelling functional and ...
121
click to vote
FM
2009
Springer
14 years 9 months ago
2009
Springer
Abstract. This paper presents an iterative technique to accurately reverseengineer models of the behaviour of software systems. A key novelty of the approach is the fact that it us...
105
click to vote
DATE
2005
IEEE
15 years 1 months ago
2005
IEEE
Developing a functional prototype of a system-on-chip provides a unifying vehicle for model validation and system refinement. Keeping the prototype executable everal abstraction l...
112
click to vote
WORDS
2005
IEEE
15 years 5 months ago
2005
IEEE
Web services (WS) provide a technology for integrating applications over the Internet. This paper proposes a multi-agent conceptual model of WS and an agent-oriented modelling and...