1676 search results - page 51 / 336 » Formal System Development with KIV |
156
click to vote
CSMR
2005
IEEE
15 years 9 months ago
2005
IEEE
Wrapping databases allows them to be reused in formerly unplanned contexts, such as web-based applications or federated systems. Indeed, a wrapper can provide external clients of ...
153
click to vote
GECCO
2005
Springer
15 years 9 months ago
2005
Springer
Mapping biology into computation has both a domain specific aspect – biological theory – and a methodological aspect – model development. Computational modelers have implici...
156
click to vote
ASWSD
2004
Springer
15 years 9 months ago
2004
Springer
Embedded software development for automotive applications is widely considered as a significant source of innovation and improvements in cars. However, software development proces...
138
click to vote
VAMOS
2010
Springer
15 years 5 months ago
2010
Springer
Model-driven development of software-intensive systems aims at designing systems by stepwise model refinement. In order to create software product lines by model-driven development...
141
Voted
CONCUR
2000
Springer
15 years 8 months ago
2000
Springer
Concurrency is an essential element of abstract models for embedded systems. Correctness and e ciency of the design depend critically on the way concurrency is formalized and imple...