Modelado de la agregación de portlets por medio de statecharts.

Oscar Díaz Arantza Irastorza Maider Azanza Felipe M. Villoria

Published in: JISBD (2006)

Keyphrases

agent oriented
class diagrams
conceptual modeling
reactive systems
test generation
database
description language
model checker
machine learning
artificial intelligence
software engineering
model checking
regression testing