4469 search results - page 127 / 894 » A Language for Role Specifications |
151
click to vote
ENTCS
2008
15 years 4 months ago
2008
Automatic generation of formal specifications from requirement reduces cost and complexity of formal models creation. Thus, the generated formal model brings the possibility to ca...
136
click to vote
AI
2005
Springer
15 years 4 months ago
2005
Springer
We present a compiler that translates a problem specification into a propositional satisfiability test (SAT). Problems are specified in a logic-based language, called NP-SPEC, whi...
153
click to vote
RCC
2002
15 years 4 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...
119
click to vote
SOCO
2010
Springer
15 years 2 months ago
2010
Springer
Context-oriented programming (COP) introduces dedicated abstractions for the modularization and dynamic composition of crosscutting context-specific functionality. While existing C...
157
click to vote
COOPIS
2003
IEEE
15 years 9 months ago
2003
IEEE
This paper discusses some of the implications of introducing the dynamic object role concept into object-oriented metamodels on both implementational and conceptual modeling levels...