Sciweavers

2803 search results - page 25 / 561
» A Type System for Prototyping Languages
Sort
View
WER
2001
Springer
14 years 27 days ago
Requirements Elicitation Using a Combination of Prototypes and Scenarios
A survey of different types of prototypes and current prototyping methods is presented. Especially the usage of prototypes with use cases and scenarios is investigated, and an appr...
Markus Mannio, Uolevi Nikula
ICFP
2010
ACM
13 years 9 months ago
Security-typed programming within dependently typed programming
Several recent security-typed programming languages, such as Aura, PCML5, and Fine, allow programmers to express and enforce access control and information flow policies. Most of ...
Jamie Morgenstern, Daniel R. Licata
ESOP
2005
Springer
14 years 2 months ago
Towards a Type System for Analyzing JavaScript Programs
JavaScript is a popular language for client-side web scripting. It has a dubious reputation among programmers for two reasons. First, many JavaScript programs are written against a...
Peter Thiemann
LREC
2008
118views Education» more  LREC 2008»
13 years 10 months ago
A Flexible Wizard of Oz Environment for Rapid Prototyping
This paper presents a freely available, and flexible Wizard of Oz environment for rapid prototyping. The system is designed to investigate the required features of a dialog system...
Stefan Scherer, Petra-Maria Strauß
FOAL
2009
ACM
14 years 3 months ago
A type system for functional traversal-based aspects
We present a programming language model of the ideas behind Functional Adaptive Programming (AP-F) and our Java implementation, DemeterF. Computation in AP-F is encapsulated in se...
Bryan Chadwick, Karl J. Lieberherr