853 search results - page 49 / 171 » A supporting system for verification among models of the UML |
ATAL
2008
Springer
13 years 10 months ago
2008
Springer
There is an increasing number of agent-oriented programming languages that have working interpreters and platforms, with significant progress in the quality of such platforms over...
ER
2003
Springer
14 years 1 months ago
2003
Springer
Abstract. We review the definition of entity types derived by symbolgenerating rules. These types appear frequently in conceptual schemas. However, up to now they have received ver...
ICSM
2009
IEEE
14 years 2 months ago
2009
IEEE
To improve the ability of predicting the impact scope of a given change, we present two approaches applicable to the maintenance of object-oriented software systems. Our first ap...
WONTO
2008
13 years 9 months ago
2008
Agents are becoming a popular technology for the development of distributed, heterogeneous and always available systems. In those systems, interactions are essential, but semantic ...
SIMUTOOLS
2008
13 years 9 months ago
2008
Model checking is a suitable formal technique to analyze parallel programs' execution in an industrial context because automated tools can be designed and operated with very ...