1418 search results - page 31 / 284 » The Dynamic Complexity of Formal Languages |
117
click to vote
SELMAS
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. This paper presents an agent-oriented modelling language and environment CAMLE. It is based on the conceptual model of multi-agent systems (MAS) proposed and formally def...
132
click to vote
ECOOP
2010
Springer
15 years 3 months ago
2010
Springer
Developers using statically typed languages such as C and Java are increasingly having to interoperate with APIs and object models defined in dynamic languages. This impedance mis...
SAS
2004
Springer
15 years 7 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...
210
click to vote
ECOOP
2009
Springer
16 years 2 months ago
2009
Springer
The dynamic frames approach has proven to be a powerful formalism for specifying and verifying object-oriented programs. However, it requires writing and checking many frame annota...
122
click to vote
ECEASST
2006
15 years 1 months ago
2006
OCL is a standard specification language, which will probably be supported by most software modeling tools in the near future. Hence, it is important to OCL to have a solid formal ...