4258 search results - page 306 / 852 » Languages and Interactive Software Development |
248
click to vote
SAC
2008
ACM
15 years 6 months ago
2008
ACM
The Java Modeling Language (JML) is a behavioral interface specification language (BISL) designed for Java. It was developed to improve functional software correctness of Java app...
140
click to vote
SLE
2009
Springer
16 years 1 months ago
2009
Springer
We present a domain-specific language embedded within the Haskell programming language to build scripts in a declarative and typesafe manner. We can categorize script components i...
226
click to vote
CHI
2010
ACM
15 years 3 months ago
2010
ACM
Teaching is inherently a social interaction between teacher and student. Despite this knowledge, many educational tools, such as vocabulary training programs, still model the inte...
178
click to vote
CEEMAS
2005
Springer
16 years 6 days ago
2005
Springer
In the AOSE (Agent-Oriented Software Engineering) area, several research efforts are underway to develop appropriate meta-models for agent-oriented methodologies. Meta-models are ...
190
click to vote
SIGPLAN
1998
15 years 6 months ago
1998
DrScheme provides a graphical user interface for editing and interactively evaluating Scheme programs on all major graphical platforms (Windows 95/nt, MacOs, Unix/X). The environm...