Sciweavers

132 search results - page 12 / 27
» Scala for generic programmers
Sort
View
IFL
2005
Springer
103views Formal Methods» more  IFL 2005»
14 years 27 days ago
The Implementation of iData
The iData Toolkit is a toolkit that allows programmers to create interactive, type-safe, dynamic web applications with state on a high level of abstraction. The key element of this...
Rinus Plasmeijer, Peter Achten
FLOPS
2006
Springer
13 years 11 months ago
iData for the World Wide Web - Programming Interconnected Web Forms
Abstract. In this paper we present the iData Toolkit. It allows programmers to create interactive, dynamic web applications with state on evel of abstraction. The key element of th...
Rinus Plasmeijer, Peter Achten
ACE
2004
153views Education» more  ACE 2004»
13 years 8 months ago
Developing and Implementing a Professional Doctorate in Computing
This paper describes the processes involved in developing and implementing the Doctor of Computing (DComp) programme at UNITEC Institute of Technology. It is the first professiona...
Donald Joyce, Alison Young
ACSAC
1999
IEEE
13 years 11 months ago
Tools to Support Secure Enterprise Computing
Secure enterprise programming is a difficult and tedious task. Programmers need tools that support t levels of abstraction and that track all the components that participate in di...
Myong H. Kang, Brian J. Eppinger, Judith N. Frosch...
SAC
2009
ACM
14 years 2 months ago
Specifying and checking protocols of multithreaded classes
In the Design By Contract (DBC) approach, programmers specify methods with pre and postconditions (also called contracts). Earlier work added protocols to the DBC approach to desc...
Clément Hurlin