832 search results - page 13 / 167 » Declarative Specification of Software Architectures |
102
click to vote
UML
2000
Springer
15 years 3 months ago
2000
Springer
The purpose of this paper is to first showcase the concept of an operation schema--a precise form of system-level operation specification--and secondly show how operation schemas e...
99
Voted
DAC
2002
ACM
16 years 21 days ago
2002
ACM
This paper addresses the problem of automatic generation of implementation software from high-level functional specifications in the context of embedded system on chip designs. So...
ADBIS
2005
Springer
15 years 5 months ago
2005
Springer
In today’s integrating information systems data fusion, i.e., the merging of multiple tuples about the same real-world object into a single tuple, is left to ETL tools and other ...
103
click to vote
JSS
2010
14 years 6 months ago
2010
During software development, architecture decisions should be documented so that quality attributes guaranteed by these decisions and required in the software specification could ...
CAISE
1997
Springer
15 years 3 months ago
1997
Springer
OO-Method is an OO Methodology that blends the use of formal specification systems with conventional OO methodologies based on practice. In contrast to other approaches in this fi...