3828 search results - page 423 / 766 » Proof-Based System Engineering Using a Virtual System Model |
190
click to vote
EMSOFT
2010
Springer
15 years 4 months ago
2010
Springer
Cloud computing is an emerging paradigm aimed to offer users pay-per-use computing resources, while leaving the burden of managing the computing infrastructure to the cloud provid...
184
click to vote
APSEC
2005
IEEE
15 years 8 months ago
2005
IEEE
Many software systems are developed in a number of consecutive releases. Each new release does not only add new code but also modifies already existing one. In this study we have ...
172
click to vote
ICFP
2008
ACM
16 years 6 months ago
2008
ACM
Existing package and system configuration management tools suffer from an imperative model, where system administration actions such as upgrading packages or changes to system con...
174
click to vote
GI
2008
Springer
15 years 7 months ago
2008
Springer
Abstract: The present contribution deals with the experiences of introducing a modelbased software development method for device driver families used in electronic control units in...
168
click to vote
ENTCS
2007
15 years 6 months ago
2007
Using model-based development has shown to increase efficiency and effectiveness of software production. However, with software as an integral part of products with customized fu...