ICECCS
2005
IEEE
13 years 10 months ago
2005
IEEE
Mobile code systems provide an infrastructure that supports autonomous mobile components, called mobile agents. The infrastructure implements services for the transfer, execution,...
ICECCS
2005
IEEE
13 years 10 months ago
2005
IEEE
We take here a broad view of model engineering as encompassing different approaches such as the OMG MDA™ proposal [9], the Microsoft Software Factories view [5], and many others...
ICECCS
2005
IEEE
13 years 10 months ago
2005
IEEE
When designing a complex system, Object-Z is a powerful logic-based language for modeling the system state aspects, and Timed Automata is an excellent graph-based notation for cap...
ICECCS
2005
IEEE
13 years 10 months ago
2005
IEEE
For Model Driven Development approaches to succeed, there is a need for model validation techniques. This paper presents an approach to testing designs described by UML class diag...
ICECCS
2005
IEEE
13 years 10 months ago
2005
IEEE