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)
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)
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)
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)
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)
Java-based tuplespaces provide a simple infrastructure for scientific distributed computing. There are several classes of problems that are not efficiently solvable in JavaSpaces model of computation while efficiently solv-able in other tuplespace implementation. JavaSpaces can be used for high performance computing if viewed less strictly in the heritage(More)
In this paper we present a rapid prototyping development approach fordeveloping service-oriented applications on OSGi platform that combinesincremental and evolutionary prototyping.Prototypes are defined as executable UML models.In order to ensure simple and fast definition of UML models, we applythe DRY (``don't repeat yourself'') principle and the concept(More)