6740 search results - page 281 / 1348 » Using Classification as a Programming Language |
124
Voted
FMCAD
2000
Springer
15 years 6 months ago
2000
Springer
Abstract. Since the advent of model checking it is becoming more common for languages to be given a semantics in terms of transition systems. Such semantics allow to model check pr...
111
click to vote
ECEASST
2008
15 years 2 months ago
2008
Executable UML allows precisely describing the software system at level of abstraction. The executable models can be translated to a less programming language completely or execute...
122
Voted
C5
2004
IEEE
15 years 6 months ago
2004
IEEE
The Japanese government has been promoting IT education, including programming, at elementary and secondary (K12) schools since 2002. We have developed Dolittle, an object-oriente...
120
click to vote
FMICS
2006
Springer
15 years 6 months ago
2006
Springer
Formal specifications are more useful and easier to develop if they are executable. In this work, we describe a system for executing specifications written in the Java Modeling Lan...
135
click to vote
SLP
1994
15 years 3 months ago
1994
Most of the research, to date, on optimizing program transformations for declarative languages has focused on sequential execution strategies. In this paper, we consider a class o...