611 search results - page 72 / 123 » A Formal Contract Language for Plugin-based Software Enginee... |
159
click to vote
AC
2000
Springer
15 years 8 months ago
2000
Springer
In these notes, we give an overview of the join calculus, its semantics, and its equational theory. The join calculus is a language that models distributed and mobile programming. ...
121
click to vote
ICESS
2007
Springer
15 years 10 months ago
2007
Springer
Embedded software requires concurrency formalisms other than threads and mutexes used in traditional programming languages like C. Actor-oriented design presents a high level abstr...
238
click to vote
POPL
2007
ACM
16 years 4 months ago
2007
ACM
In recent years we have seen great progress made in the area of automatic source-level static analysis tools. However, most of today's program verification tools are limited ...
137
click to vote
SIGSOFT
2009
ACM
16 years 4 months ago
2009
ACM
System specifications have long been expressed through automata-based languages, enabling verification techniques such as model checking. These verification techniques can assess ...
121
click to vote
SAC
2009
ACM
15 years 10 months ago
2009
ACM
Formalization is a necessary precondition for the specification of precise and unambiguous use case models, which serve as reference points for the design and implementation of so...