3689 search results - page 447 / 738 » A Language with Distributed Scope |
138
Voted
ESOP
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. We present PacLang: an imperative, concurrent, linearlytyped language designed for expressing packet processing applications. PacLang’s linear type system ensures that ...
140
click to vote
IFM
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. We describe how CSP-OZ, an integrated formal method combining the process algebra CSP with the specification language Object-Z, can be linked to standard software engine...
137
click to vote
OOPSLA
2004
Springer
15 years 10 months ago
2004
Springer
Generics offer significant software engineering benefits since they provide code reuse without compromising type safety. Thus generics will be added to the Java language in the...
166
Voted
UML
2004
Springer
15 years 10 months ago
2004
Springer
This paper discusses a model-based design flow for requirements in distributed embedded software development. Such requirements are specified using a language similar to Linear T...
139
Voted
ACSD
2003
IEEE
15 years 10 months ago
2003
IEEE
Modelling complex concurrent systems is often difficult and error-prone, in particular when new concepts coming from advanced practical applications are considered. These new appl...