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)
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 finegrained constructions, aimed to give a precise(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 solvable in other tuplespace implementation. JavaSpaces can be used for high performance computing if viewed less strictly in the heritage of(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)
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)
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)
The importance of requirements engineering for web systems is increasing today. Only few methodologies provides a systematic approach for the specification of web systems through requirements models. New results that address model transformation from requirements to web system design were recently obtained in the context of using QVT language. In this paper(More)
Some service-oriented component models support the dynamic availability of components at runtime and offer the possibility to build dynamically adaptable applications. However, building serviceoriented components is a complex task due to the complexity of service-oriented frameworks. In this context today frameworks try to simplify the component development(More)