237 search results - page 24 / 48 » Modular Monad Transformers |
ICCD
2000
IEEE
14 years 4 months ago
2000
IEEE
el of abstraction by integrating a high-level estimation step. This results in a design loop which is tight led on high level of abstraction (called estimation loop in figure 1). ...
AOSE
2005
Springer
14 years 1 months ago
2005
Springer
Abstract. Current Agent-Oriented Software Engineering (AOSE) methodologies adopt a model-based approach for analysis and design, but, in order to become of practical use, they shou...
GPC
2010
Springer
13 years 11 months ago
2010
Springer
Abstract. Large-scale distributed computing applications require concurrent programming models that support modular and compositional software development. The actor model supports...
FASE
2009
Springer
14 years 2 months ago
2009
Springer
Abstract. E-government services usually process large amounts of confidential data. Therefore, security requirements for the communication between components have to be adhered in...
GPCE
2009
Springer
14 years 9 days ago
2009
Springer
This paper describes a language and framework that allow coordinated transformations driven by invariants to be specified declaratively, as invariant rules, and applied automatic...