1752 search results - page 10 / 351 » Application Specific Processing: A Tools Approach |
ZUM
1998
Springer
13 years 11 months ago
1998
Springer
Abstract. We present a new combination CSP-OZ-DC of three well researched formal techniques for the specification of processes, data and time: CSP [17], Object-Z [36], and Duration...
CBSE
2009
Springer
14 years 3 days ago
2009
Springer
A challenge of componentizing legacy applications is to extract behavior specification of suggested components. It is desirable to preserve a relation between the original structur...
ICMCS
2005
IEEE
14 years 1 months ago
2005
IEEE
The paper presents an MPEG-7 Multimedia Description Schemes (MDS)-based metadata and user profile model used within an enhanced DTV environment for semantic annotation and person...
UML
2005
Springer
14 years 28 days ago
2005
Springer
Abstract. Domain-Specific Languages (DSL) offer many advantages over general languages, but their narrow scope makes them really effective only in very focused domains, for example...
SNPD
2003
13 years 8 months ago
2003
In particular for safety critical systems it is necessary to make sure that the non-functional properties imposed by a system architecture meet the corresponding requirements as e...