Sciweavers

7366 search results - page 35 / 1474
» Development of the Information Systems Implementation Resear...
Sort
View
134
Voted
EDOC
2003
IEEE
15 years 8 months ago
Integrating CBSE, SoC, MDA, and AOP in a Software Development Method
Component-Based Software Engineering, Separation of Concerns, Model-Driven Architecture, and Aspect-Oriented Programming are four active research areas that have been around for s...
Raul Silaghi, Alfred Strohmeier
134
Voted
IEEECIT
2010
IEEE
15 years 2 months ago
Research on Case Learning System for Engineering Subject - Software Engineering as an Example
—The great appliance of engineering makes it different from other common subjects in teaching methods. This paper puts forward a concept of case learning that is constructed with...
Zhaocheng Wang, Cheng Yang
104
Voted
HICSS
2009
IEEE
98views Biometrics» more  HICSS 2009»
15 years 10 months ago
Methodological Approaches to Measuring the Effects of Implementation of Health Information Technology (HIT)
The research design, evaluation methodology, and statistical analysis of the clinical efficacy of healthcare information technology (HIT) implementation can be a challenging task....
Lance Roberts, Marcia M. Ward, Jane M. Brokel, Dou...
122
Voted
LICS
2006
IEEE
15 years 9 months ago
Provable Implementations of Security Protocols
for reasoning about abstract models of protocols. The work on informal methods attempts to discern common patterns in the extensive record of flawed protocols, and to formulate po...
Andrew D. Gordon
117
Voted
FM
2003
Springer
102views Formal Methods» more  FM 2003»
15 years 8 months ago
Lessons Learned from a Successful Implementation of Formal Methods in an Industrial Project
This paper describes the lessons we learned over a thirteen year period while helping to develop the shutdown systems for the nuclear generating station at Darlington, Ontario, Can...
Alan Wassyng, Mark Lawford