1459 search results - page 42 / 292 » Tool Supported Development of Service-Based Systems |
EUROMICRO
2009
IEEE
15 years 6 months ago
2009
IEEE
—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...
CADE
2009
Springer
16 years 13 days ago
2009
Springer
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...
ATAL
2010
Springer
15 years 29 days ago
2010
Springer
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...
TOOLS
1998
IEEE
15 years 4 months ago
1998
IEEE
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...
CHI
2003
ACM
15 years 5 months ago
2003
ACM
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...