Sciweavers

2625 search results - page 35 / 525
» The development of the Emerald programming language
Sort
View
VL
2009
IEEE
128views Visual Languages» more  VL 2009»
14 years 2 months ago
Language-based support for computational thinking
This paper explores the potential for simplified programming languages to support the development of computational thinking skills in non-programmers. We suggest that novice progr...
Katherine Howland, Judith Good, Keiron Nicholson
CSMR
2005
IEEE
14 years 1 months ago
An XML-Based Framework for Language Neutral Program Representation and Generic Analysis
XML applications are becoming increasingly popular to define structured or semi-structured constrained data in XML for special application areas. In pursuit there is a growing mom...
Raihan Al-Ekram, Kostas Kontogiannis
JSS
2006
110views more  JSS 2006»
13 years 7 months ago
Beyond source code: The importance of other artifacts in software development (a case study)
Current software systems contain increasingly more elements that have not usually been considered in software engineering research and studies. Source artifacts, understood as the...
Gregorio Robles, Jesús M. González-B...
HASKELL
2006
ACM
14 years 1 months ago
Running the manual: an approach to high-assurance microkernel development
We propose a development methodology for designing and prototyping high assurance microkernels, and describe our application of it. The methodology is based on rapid prototyping a...
Philip Derrin, Kevin Elphinstone, Gerwin Klein, Da...
MODELS
2010
Springer
13 years 5 months ago
Transforming Process Models: Executable Rewrite Rules versus a Formalized Java Program
Abstract. In the business process management community, transformations for process models are usually programmed using imperative languages (such as Java). The underlying mapping ...
Pieter Van Gorp, Rik Eshuis