1288 search results - page 47 / 258 » Integrating formal models into the programming languages cou... |
IJCSA
2006
13 years 9 months ago
2006
The Dynamic Host Configuration Protocol (DHCP) is a widely used communication protocol. In this paper, a portion of the protocol is chosen for modeling and verification, namely th...
SAS
2007
Springer
14 years 3 months ago
2007
Springer
Introducing aspect orientation to a polymorphically typed functional language strengthens the importance of type-scoped advices; i.e., advices with their effects being harnessed b...
EMSOFT
2006
Springer
14 years 20 days ago
2006
Springer
Concurrent programming languages should be a good fit for embedded systems because they match the intrinsic parallelism of their architectures and environments. Unfortunately, typ...
SAS
2004
Springer
14 years 2 months ago
2004
Springer
Abstract. Programming language technology can contribute to the development and understanding of Systems Biology by providing formal calculi for specifying and analysing the dynami...
IFIP
1999
Springer
14 years 1 months ago
1999
Springer
This paper initiates a framework for improving product development processes. The starting point is the present gap between the theory of product and process models and their actu...