Sciweavers

1459 search results - page 42 / 292
» Tool Supported Development of Service-Based Systems
Sort
View
EUROMICRO
2009
IEEE
16 years 21 days ago
Dynamic Software Architecture Development: Towards an Automated Process
—We propose a software engineering process to aid the development of Dynamic Software Architectures (DSAs). This process is based on the sequential application of a number of for...
Maurice H. ter Beek, Antonio Bucchiarone, Stefania...
CADE
2009
Springer
16 years 6 months ago
Progress in the Development of Automated Theorem Proving for Higher-Order Logic
The Thousands of Problems for Theorem Provers (TPTP) problem library is the basis of a well established infrastructure supporting research, development, and deployment of first-ord...
Chad E. Brown, Christoph Benzmüller, Frank Th...
ATAL
2010
Springer
15 years 7 months ago
Eclipse-based Prometheus design tool
The Prometheus Design Tool (PDT) is a graphical tool that is used to design a Multi-Agent System following the Prometheus Methodology. This paper describes the latest version of P...
Hongyuan Sun, John Thangarajah, Lin Padgham
TOOLS
1998
IEEE
15 years 10 months ago
Support for Object-Oriented Testing
Object-orientation has rapidly become accepted as the preferred paradigm for large scale system design. There is considerable literature describing approaches to object-oriented d...
Michael Kölling, John Rosenberg
CHI
2003
ACM
15 years 11 months ago
iCAP: an informal tool for interactive prototyping of context-aware applications
iCAP is a system that assists users in prototyping contextaware applications. iCAP supports sketching for creating input and output devices, and using these devices to design inte...
Timothy Sohn, Anind K. Dey