10159 search results - page 460 / 2032 » System Design Validation Using Formal Models |
195
click to vote
ECMDAFA
2006
Springer
15 years 8 months ago
2006
Springer
Abstract. Design patterns are templates of general solutions to commonlyoccurring problems in the analysis and design of software systems. In mature development processes, engineer...
159
click to vote
ICDIM
2008
IEEE
15 years 11 months ago
2008
IEEE
One of the key stages of the development of a fault tolerant Service oriented Architecture is the creation of Diagnosers, which monitors the system’s behaviour to identify the o...
141
click to vote
EUROSSC
2008
Springer
15 years 5 months ago
2008
Springer
Equipment used in the construction domain is often hired in order to reduce cost and maintenance overhead. The cost of hire is dependent on the time period involved and does not ta...
162
click to vote
INAP
2001
Springer
15 years 9 months ago
2001
Springer
Abstract. In requirements engineering use cases are employed to describe the ow of events and the occurrence of states in a future information system. Use cases consist of a set of...
133
click to vote
ICCS
2005
Springer
15 years 10 months ago
2005
Springer
CD++ is an implementation of the Cell-DEVS formalism, which has been used to simulate various complex systems. In this study, we constructed a Cell-DEVS to simulate the dynamics of...