3256 search results - page 225 / 652 » Applications of Formal Methods to System Design and Verifica... |
167
click to vote
DESRIST
2009
Springer
15 years 11 months ago
2009
Springer
Within a consideration of cost effectiveness the evaluation of design science research artifacts is of major importance. In the past, a plenitude of approaches has been developed ...
200
click to vote
IFM
2007
Springer
16 years 20 days ago
2007
Springer
Development of computerized embedded control systems is difficult because it brings together systems theory, electrical engineering and computer science. The engineering and analys...
167
click to vote
SASO
2008
IEEE
16 years 27 days ago
2008
IEEE
—Distance sensitivity is a locality concept that is useful for designing scalable wireless sensor network applications. In this paper, we formally define distance sensitivity an...
189
click to vote
LPAR
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. To produce a program guaranteed to satisfy a given specification one can synthesize it from a formal constructive proof that a computation satisfying that specification...
145
click to vote
CEEMAS
2007
Springer
16 years 21 days ago
2007
Springer
Abstract In this work we describe the development process of multiagent application design and implementation with Mulan. Our approach can be characterized as model driven developm...