832 search results - page 48 / 167 » Declarative Specification of Software Architectures |
ER
2009
Springer
14 years 1 months ago
2009
Springer
Abstract. The UML-based Specification Environment (USE) tool supports the syntactic analysis, type checking, consistency checking, and dynamic validation of invariants and pre-/pos...
DASIP
2010
13 years 4 months ago
2010
Nowadays, the design flow of complex signal processing embedded systems starts with a specification of the application by means of a large and sequential program (usually in C/C++...
JWSR
2006
13 years 10 months ago
2006
The Semantic Web promises automated invocation, discovery, and composition of Web services by enhancing services with semantic descriptions. An upper ontology for Web services cal...
ACMDIS
2000
ACM
14 years 2 months ago
2000
ACM
Through a study of web site design practice, we observed that web site designers employ multiple representations of web sites as they progress through the design process, and that...
ATAL
2005
Springer
14 years 3 months ago
2005
Springer
Multi-agent systems are now being considered a promising architectural approach for building Internet-based applications. One of the most critical and important aspects of softwar...