3429 search results - page 562 / 686 » Modelling the Operational Semantics of Domain-Specific Model... |
104
click to vote
DS
2001
15 years 3 months ago
2001
We show how quantified constraints expressed in a sub-language of first-order logic, againstashareddatamodelthatisfreetoevolve, provideanexcellentwayof transporting domain-specific...
119
click to vote
ISTA
2003
15 years 3 months ago
2003
: A new approach of building enterprise distributed applications for layer of business rules as standard part of architecture is proposed in this paper. The approach uses symbolic ...
159
click to vote
LMO
2000
15 years 3 months ago
2000
The development of flexible and reusable concurrent object-oriented programming ions has suffered from the inherent problem that reusability and extensibility is limited due to pos...
152
click to vote
EDOC
2008
IEEE
15 years 2 months ago
2008
IEEE
This paper presents an approach for embodying nonfunctional requirements (NFRs) into software architecture using architectural tactics. Architectural tactics are reusable architec...
125
click to vote
ENTCS
2010
15 years 2 months ago
2010
This paper presents a formal framework for compositional reasoning about secure systems. A key insight is to view a trusted system in terms of the interfaces that the various comp...