14670 search results - page 76 / 2934 » The Systems Modeling Language for Products and Systems Devel... |
ICFP
2006
ACM
14 years 8 months ago
2006
ACM
I report on an experience using the Coq proof assistant to develop a program verification tool with a machine-checkable proof of full correctness. The verifier is able to prove me...
SE
2010
13 years 9 months ago
2010
: In this paper I explain the benefits of projectional language workbenches for product line engineering. The ability to extend programming languages with domain specific concepts,...
BMCBI
2010
13 years 8 months ago
2010
Background: Efficient dissection of large proteins into their structural domains is critical for high throughput proteome analysis. So far, no study has focused on mathematically ...
SIGCOMM
2010
ACM
13 years 8 months ago
2010
ACM
Capabilities provide an access control model that can be used to construct systems where safety of protection can be precisely determined. However, in order to be certain of the s...
MODELS
2010
Springer
13 years 6 months ago
2010
Springer
An MDSD process is often organised as transformation chain. This can threaten the Separation of Concerns (SoC) principle, because information is replicated in, scattered over, and ...