6201 search results - page 846 / 1241 » Implementation of Axiomatic Language |
163
click to vote
SEFM
2005
IEEE
16 years 14 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...
169
click to vote
SEFM
2005
IEEE
16 years 14 days ago
2005
IEEE
Developing safe multithreaded software systems is difficult due to the potential unwanted interference among concurrent threads. This paper presents a flexible methodology for o...
172
click to vote
WSE
2005
IEEE
16 years 14 days ago
2005
IEEE
We explore the evolution benefits of adopting aspects in a J2EE setting by studying crosscutting concerns in a typical J2EE application. To identify these concerns, we take a top...
166
click to vote
AOSD
2005
ACM
16 years 14 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 ...
165
click to vote
KCAP
2005
ACM
16 years 13 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 ...