6581 search results - page 407 / 1317 » Formalizing Design Patterns |
234
click to vote
POPL
2008
ACM
16 years 5 months ago
2008
ACM
When scripts in untyped languages grow into large programs, maintaining them becomes difficult. A lack of types in typical scripting languages means that programmers must (re)disc...
154
click to vote
TCAD
2008
15 years 5 months ago
2008
Due to the increasing abstraction gap between the initial system model and a final implementation, the verification of the respective models against each other is a formidable task...
156
click to vote
SOFSEM
2007
Springer
15 years 11 months ago
2007
Springer
Digital technology is increasingly deployed in safety-critical situations. This calls for systematic design and verification methodologies that can cope with three major sources o...
169
click to vote
PERCOM
2008
ACM
15 years 5 months ago
2008
ACM
The pervasive computing environment will be composed of heterogeneous services. In this work, we have explored how a domain specific language for service composition can be implem...
141
click to vote
ENTCS
2007
15 years 5 months ago
2007
This paper promotes compositional reasoning in the context of safety-critical systems, and demonstrates a safety-oriented component model using an application from the automotive ...