1669 search results - page 45 / 334 » Modeling ODP Computational Specifications Using UML |
JUCS
2010
13 years 4 months ago
2010
: This paper formalizes UML class diagrams and structural patterns as mathematical objects and provides a precise notion of conformance of a structural model specified as a class d...
POLICY
2004
Springer
14 years 3 months ago
2004
Springer
As the interest in using policy-based approaches for systems management grows, it is becoming increasingly important to develop methods for performing analysis and refinement of p...
CONCUR
1989
Springer
14 years 2 months ago
1989
Springer
In summary, RDL is an intuitionistic temporal logic for the specification of requirements and design of time-dependent systems. Coverage of RDL includes a backward chaining theore...
SAC
2003
ACM
14 years 3 months ago
2003
ACM
Design patterns capture the distilled experience of expert designers. The compositions of design patterns may reuse design experience and solve a set of problems. Design patterns ...
EDOC
2008
IEEE
14 years 4 months ago
2008
IEEE
Service-Oriented Architectures (SOAs) have become an important cornerstone of the development of enterprise-scale software applications. Although a range of domain-specific langua...