Both agile development and User Centered Design stress collaboration between customers and product teams, but getting these methodologies to work well together is not easy. This p...
Abstract. Traditional wisdom in programming language design suggests that there is a trade-off between expressive power and static guarantees. We describe a novel schema for desig...
— We propose a methodology for Boolean matching under permutations of inputs and outputs (PP-equivalence checking problem) — a key step in incremental logic design that identif...
: In the creation of groupware systems, a good design of communication mechanisms, required by the group in order to carry out its work, is essential, since there are many other de...
Luis A. Guerrero, Sergio F. Ochoa, Oriel A. Herrer...
This work is devoted to present the design and implementation of Alfa-1, a simulated computer with educational purposes. The DEVS formalism was used to attack the complexity of th...