1676 search results - page 225 / 336 » Describing Software Architecture with UML |
190
click to vote
WETICE
2008
IEEE
16 years 19 days ago
2008
IEEE
This paper describes WOLF, a development environment for WADE-based applications. WADE is a software platform, based on JADE, a popular Open Source framework, for the development ...
175
click to vote
WOSP
2005
ACM
15 years 11 months ago
2005
ACM
The evolution towards IP-aware access networks creates the possibility (and, indeed, the desirability) of additional network services, like firewalling or NAT, integrated into th...
169
click to vote
SIGSOFT
2003
ACM
15 years 11 months ago
2003
ACM
Model checking is an automated technique for verifying that a system satisfies a set of required properties. Such properties are typically expressed as temporal logic formulas, in...
160
click to vote
COBUILD
1999
Springer
15 years 10 months ago
1999
Springer
The goal of OWL (Object-Oriented Workplace Laboratory) is to provide an object-oriented and component-based framework that supports the engineering of applications for the design, ...
154
click to vote
ARES
1998
Springer
15 years 10 months ago
1998
Springer
The product line for software systems (PL) approach has been touted recently as one of the most promising development approach for gains in product quality, time to market and cost...