1676 search results - page 152 / 336 » Formal System Development with KIV |
159
click to vote
AMAST
2000
Springer
15 years 10 months ago
2000
Springer
Default reasoning has become an important topic in software engineering. In particular, defaults can be used to revise speci cations, to enhance reusability of existing systems, an...
167
click to vote
DSRT
1999
IEEE
15 years 10 months ago
1999
IEEE
This paper describes a variant of the actor model suited to the development of multimedia systems. The actor model centers on non-overkilling concurrency and customizable constrai...
239
click to vote
ESEC
1999
Springer
15 years 10 months ago
1999
Springer
CIP is a model-based software development method for embedded systems. The problem of constructing an embedded system is decomposed into a functional and a connection problem. The ...
172
click to vote
ISARCS
2010
15 years 10 months ago
2010
Abstract. Software designs equipped with specification of dependability techniques can help engineers to develop critical systems. In this work, we start to envision how a softwar...
176
click to vote
CBSE
2008
Springer
15 years 8 months ago
2008
Springer
Component based development of software systems needs to devise effective test management strategies in order fully achieve its perceived advantages of cost efficiency, flexibility...