4469 search results - page 651 / 894 » A Language for Role Specifications |
153
click to vote
SEFM
2005
IEEE
16 years 4 days ago
2005
IEEE
The formal description technique RT-LOTOS has been selected as intermediate language to add formality to a real-time UML profile named TURTLE. For this sake, an RT-LOTOS verificat...
158
click to vote
AOSD
2005
ACM
16 years 4 days ago
2005
ACM
Aspect-oriented programming (AOP) promises to benefit engineering by providing a layer of abstraction that can modularize system-level concerns. AOP is still a very young area of ...
160
click to vote
KCAP
2005
ACM
16 years 4 days ago
2005
ACM
For decades, researchers in knowledge representation (KR) have argued for and against various choices in KR formalisms, such as Rules, Frames, Semantic nets, and Formal logic. In ...
198
click to vote
ECWEB
2005
Springer
16 years 3 days ago
2005
Springer
We describe a methodology for assembling composite services based on three basic processes which are independent of the concrete implementation: Abstraction Process, Service Compos...
179
click to vote
EWSA
2005
Springer
16 years 3 days ago
2005
Springer
We propose a meta-framework called ‘Plastik’ which i) supports the specification and creation of runtime component-framework-based software systems and ii) facilitates and mana...