298 search results - page 16 / 60 » An Analysis of Exponentiation Based on Formal Languages |
SAS
2004
Springer
14 years 1 months ago
2004
Springer
Abstract. We specify an information flow analysis for a simple imperative language, using a Hoare-like logic. The logic facilitates static checking of a larger class of programs t...
ECMDAFA
2009
Springer
14 years 2 months ago
2009
Springer
The need for a design language that is rigorous but accessible and intuitive is often at odds with the formal and mathematical nature of languages used for analysis. UML and Petri ...
UML
2004
Springer
14 years 1 months ago
2004
Springer
Being part of domain engineering, domain analysis enables identifying domains and capturing their ontologies in order to assist and guide system developers to design domain-specifi...
AIEDU
2005
13 years 7 months ago
2005
In this paper, we explore the problem of selecting appropriate interventions for students based on an analysis of their interactions with a tutoring system. In the context of the W...
IAT
2003
IEEE
14 years 1 months ago
2003
IEEE
Based on our previous work on the formal specification language SLABS as well as a methodology and modelling language for modelling and specifying multi-agent systems, we further ...