409 search results - page 76 / 82 » Approaching a Discrete-Continuous UML: Tool Support and Form... |
POPL
2005
ACM
14 years 10 months ago
2005
ACM
While a typical software component has a clearly specified (static) interface in terms of the methods and the input/output types they support, information about the correct sequen...
HICSS
1999
IEEE
14 years 2 months ago
1999
IEEE
In this paper, we motivate the importance of the field of mobile computing and survey current practical and formal approaches. We argue that the existing formalisms are not suffic...
POPL
2009
ACM
14 years 10 months ago
2009
ACM
We present a unified approach to type checking and property checking for low-level code. Type checking for low-level code is challenging because type safety often depends on compl...
ICFP
2005
ACM
14 years 9 months ago
2005
ACM
ML modules and Haskell type classes have proven to be highly effective tools for program structuring. Modules emphasize explicit configuration of program components and the use of...
KBSE
2005
IEEE
14 years 3 months ago
2005
IEEE
Visual Languages (VLs) play an important role in software system development. Especially when looking at well-defined domains, a broad variety of domain specific visual language...