1418 search results - page 8 / 284 » The Dynamic Complexity of Formal Languages |
ATAL
2003
Springer
15 years 2 months ago
2003
Springer
Formal theories of multi-agent systems require a rich ontology for modelling the dynamics of social behaviour. In this paper a formal analysis of the social behaviour of individua...
EKAW
1994
Springer
15 years 1 months ago
1994
Springer
Formal knowledge modelling languages have a number of advantages over informal languages, such as their precise meaning and the possibility to derive propertiesthrough formal proof...
JUCS
2008
14 years 9 months ago
2008
Abstract: The abstract syntax and static semantics of UML, the widely-used generalpurpose graphical modeling language, have been standardized in a four-layer metamodeling framework...
71
Voted
SAC
2006
ACM
15 years 3 months ago
2006
ACM
ArchiTRIO is a formal language, which complements UML 2.0 concepts with a formal, logic-based notation that allows users to state system-wide properties, both static and dynamic, ...
ICSE
2001
IEEE-ACM
15 years 1 months ago
2001
IEEE-ACM
The design of complex systems requires powerful mechanisms for modeling state, concurrent events, and real-time behavior; as well as for visualising and structuring systems in ord...