19 search results - page 3 / 4 » Reuse- and Aspect-Oriented Courseware Development |
FMOODS
2007
13 years 7 months ago
2007
In this paper we present a formalization of Abadi’s and Cardelli’s theory of objects in the interactive theorem prover Isabelle/HOL. Our motivation is to build a mechanized HOL...
IEEEARES
2007
IEEE
14 years 17 days ago
2007
IEEE
Adding security functions in existing Web application servers is now vital for the IS of companies and organizations. Writing crosscutting functions in complex software should tak...
ICIW
2008
IEEE
14 years 21 days ago
2008
IEEE
— Model-Driven Architecture (MDA) is introduced to shorten the software development time, produce better quality of code and promote the reuse of software artifacts. On the other...
OTM
2005
Springer
13 years 11 months ago
2005
Springer
Courseware increasingly consists of generic information and communication tools. These offer a plethora of functionalities, but their usefulness to a particular learning community ...
EDOC
2007
IEEE
14 years 18 days ago
2007
IEEE
Dependable software systems are difficult to develop because developers must understand and address several interdependent and pervasive dependability concerns. Features that addr...