Learn More
Intensive mining and processing activities worldwide resulted in the generation of huge amounts of waste (tailings), generally characterized as toxic, radioactive, and/or hazardous. The exposure potential and, hence, the risk posed by such wastes is enhanced by a general lack of vegetation. Phytostabilization has proven to be efficient in reducing this(More)
In this paper we introduce a fUML based action language and describe its concrete syntax. The action language uses only elements allowed by the fUML standard for its abstract syntax. The concrete syntax resembles the syntax of existing structured programming languages, with some elements inspired by OCL. The action language is part of the ComDeValCo(More)
Service-oriented component models support the dynamic availability of components at run-time and offer the possibility to build dynamically adaptable applications. However, building service-oriented components is a complex task due to the complexity of service-oriented frameworks. In this context today frameworks try to simplify the component development by(More)
Behaviour-Driven Development (BDD) focuses all development activities on the delivery of behaviours-what a system should do, described such that developers and domain experts speak the same language. BDD frameworks allow users to represent the required system behaviour as executable user stories and the acceptance criteria as executable scenarios attached(More)
This work is part of a series referring to COMDEVALCO-a framework for Software Component Definition, Validation, and Composition. Its constituents are: a modeling language, a component repository and a set of tools. This is the first paper describing the object-oriented modeling language, which contains fine-grained constructions, aimed to give a precise(More)
Agile Model Driven Architecture (MDA) software development processes apply agile principles in the context of executable models. In this paper we present an agile MDA approach for constructing, running, and testing executable UML service-oriented components. This work is part of a series referring to COMDEVALCO - a framework for Software Component(More)
Two important principles that drive the agile MDA processes are immediate execution and test first development. This paper presents a component model, called iComponent, that allows the development of executable models based on agile principles and service orientation. In order to ensure simple and fast definition of component operations, we use a concrete(More)
Convergence of asynchronous block Newton methods for solving nonlinear systems of equations of the form F (x) = 0 are studied. Sufficient conditions to guarantee their local convergence are given. Our analysis emphasizes the connection between the conditions on F involved in local convergence theorems for sequential and synchronous block Newton's method,(More)