406 search results - page 50 / 82 » Semantic Modelling in Agent-Based Software Development |
114
click to vote
AMAST
2008
Springer
15 years 4 months ago
2008
Springer
Abstract. We present a static analysis technique for modeling and approximating the long-run resource usage of programs. The approach is based on a quantitative semantic framework ...
113
click to vote
IWFM
1998
15 years 3 months ago
1998
Models of software systems are built in Z and VDM using partial functions between sets and certain operations on these partial functions : extension ( ), restriction ( ), removal ...
147
Voted
AMAST
2010
Springer
14 years 9 months ago
2010
Springer
Abstract. We develop an algebraic modal logic that combines epistemic and dynamic modalities with a view to modelling information acquisition (learning) by automated agents in a ch...
138
click to vote
SCESM
2006
ACM
15 years 8 months ago
2006
ACM
Requirements models for large systems typically cannot be developed in a single step, but evolve in a sequence of iterations. We have developed such an iterative modeling process ...
122
Voted
METAINFORMATICS
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. The Model-Driven Development (MDD) describes and maintains models of the system under development. The Unified Modeling Language (UML) supports a set of semantics and no...