2245 search results - page 209 / 449 » A Case Study Implementing Features Using AspectJ |
150
click to vote
TOPNOC
2008
15 years 6 months ago
2008
"How can we make sure our students learn what we want them to?" is the number one question in teaching. This paper is intended to provide the reader with: i) a general a...
157
click to vote
AI
1998
Springer
15 years 6 months ago
1998
Springer
We argue that the situation calculus is a natural formalism for representing and reasoning about control and strategic information. As a case study, in this paper we provide a sit...
187
click to vote
ENTCS
2007
15 years 6 months ago
2007
Abstract. Model-based testing has been proposed as a technique to automatically verify that a system conforms to its specification. A popular approach is to use a model-checker to...
188
click to vote
HICSS
2007
IEEE
16 years 17 days ago
2007
IEEE
Enterprise resource planning (ERP) systems integrate companies’ multiple information systems and help adapt best practices for business processes. ERP systems are in most cases ...
180
click to vote
PADL
2004
Springer
15 years 11 months ago
2004
Springer
The wide practice of objected oriented programming (OOP) in current software practice is evident. Despite extensive studies on typing programming objects, it is still undeniably a ...