8 search results - page 1 / 2 » jisbd 2001 |
JISBD
1997
13 years 6 months ago
1997
JISBD
2000
13 years 6 months ago
2000
JISBD
2001
13 years 6 months ago
2001
The Itacio component model intends to bring a method of verifying software systems made up of ts. This method can be applied at different levels of abstraction, and to different f...
JISBD
2001
13 years 6 months ago
2001
In this paper we show how the formal specification of a system written in Maude can be easily connected to its Web-based distributed implementation using SOAP. In addition to the u...
JISBD
2001
13 years 6 months ago
2001
Migration of Legacy Systems to the Web is one of the main concerns of enterprises looking for more flexible distributed application environments. This migration process comprises t...