Sciweavers

2860 search results - page 266 / 572
» The Greenfoot Programming Environment
Sort
View
FSTTCS
2007
Springer
16 years 27 days ago
Safely Composing Security Protocols
Security protocols are small programs that are executed in hostile environments. Many results and tools have been developed to formally analyze the security of a protocol. However ...
Véronique Cortier, Jérémie De...
IRI
2005
IEEE
16 years 10 days ago
A grid oriented approach to reusing legacy code in ICENI framework
Legacy systems are valuable assets for organisations. They continuously evolve with new emerged technologies in rapidly changing business environment. ICENI provided an excellent ...
Jianzhi Li, Zhuopeng Zhang, Hongji Yang
SIGCSE
2004
ACM
94views Education» more  SIGCSE 2004»
16 years 5 days ago
Taming a professional IDE for the classroom
An important question that must be addressed in a coherent computing curriculum is which programming environments to use across the curriculum. For Java, currently the most widely...
Charles Reis, Robert Cartwright
ICSE
2009
IEEE-ACM
15 years 11 months ago
An Empirical Study of Testing File-System-Dependent Software with Mock Objects
Unit testing is a technique of testing a single unit of a program in isolation. The testability of the unit under test can be reduced when the unit interacts with its environment....
Madhuri R. Marri, Tao Xie, Nikolai Tillmann, Jonat...
DAC
1999
ACM
15 years 11 months ago
Distributed Application Development with Inferno
Distributed computing has taken a new importance in order to meet the requirements of users demanding information “anytime, anywhere.” Inferno facilitates the creation and sup...
Ravi Sharma