2145 search results - page 8 / 429 » Architectural Specifications in CASL |
JOT
2008
13 years 7 months ago
2008
The principal contribution of this paper is a methodology for the support of developing domain-specific software agents and the development of a Reference architecture for agents ...
DAC
1998
ACM
14 years 8 months ago
1998
ACM
RCC
2002
13 years 7 months ago
2002
In recent years Arvind's Group at MIT has shown the usefulness of term rewriting theory for the specification of processor architectures. In their approach processors specifi...
RSP
1998
IEEE
13 years 11 months ago
1998
IEEE
This paper presents an algorithm for the automatic mapping of problem specifications to existing architecture templates. The proposed methodology supports the combination of exist...
ICSE
2003
IEEE-ACM
14 years 7 months ago
2003
IEEE-ACM
The large gap in the levels at which requirements are specified results in inadequate means for ensuring that business goals are properly supported. Architecture-level requirement...