Sciweavers

665 search results - page 2 / 133
» Extending Software Development Methodologies to Support Trus...
Sort
View
QSIC
2005
IEEE
13 years 10 months ago
Tool Support for Agent Development using the Prometheus Methodology
We believe that tool support is very important for any methodology. In this paper we describe PDT (Prometheus Design Tool) which supports the design of an intelligent agent system...
Lin Padgham, John Thangarajah, Michael Winikoff
ASWEC
2001
IEEE
13 years 8 months ago
Extending the UML for Designing Jack Agents
Mainstreaming and industrialising agent technologies requires suitable methodological and technological support for the various engineering activities associated with managing the...
Michael Papasimeon, Clinton Heinze
FLAIRS
2000
13 years 6 months ago
Formal Software Development in the Verification Support Environment (VSE)
The paper presents a survey of the VSE system, a kind of CASE-tool for formal software development. It is a summary of a tutorial presentation describing methodology, formalisms, ...
Dieter Hutter, Georg Rock, Jörg H. Siekmann, ...
EDBTW
2010
Springer
13 years 12 months ago
Toward a software development methodology for anonymity applications
There are some software applications especially in privacy protection domain which they need anonymity support. Therefore lots of methods and protocols have been presented so far ...
Marzieh Ispareh, Behrouz Tork Ladani, Shirin Shari...
ARES
1998
Springer
13 years 9 months ago
Architecture-Centric Software Development Based on Extended Design Spaces
The realization of software projects can be significantly eased by extending the focus of reuse to architectural aspects instead of concentrating on separate software elements. Ye...
Lothar Baum, Lars Geyer, Georg Molter, Steffen Rot...