9455 search results - page 314 / 1891 » The Modelling Language Zinc |
127
click to vote
SIGCSE
2006
ACM
16 years 7 days ago
2006
ACM
We describe the implementation of “MARS,” a GUI, Java-based simulator for the MIPS assembly language. MIPS, the computer architecture underlying the simulated assembly languag...
145
click to vote
ICALT
2005
IEEE
15 years 12 months ago
2005
IEEE
Busy, active adults often do not have the time or ability to study in traditional, face-to-face classroom settings. In addition, adult learners may need access to content or exper...
151
click to vote
ESOP
2005
Springer
15 years 11 months ago
2005
Springer
: Fully abstract trace semantics for a core Java language. Alan Jeffrey 1,2 and Julian Rathke3 1 Bell Labs, Lucent Technologies, Chicago, IL, USA 2 DePaul University, Chicago, IL, ...
139
click to vote
SOCO
2005
Springer
15 years 11 months ago
2005
Springer
The programming languages of today are stuck in a deep rut that has developed over the past 50 years. Although we are faced with new challenges posed by enormous advances in hardwa...
167
click to vote
UML
2001
Springer
15 years 10 months ago
2001
Springer
Abstract: A mass market in reusable components demands a high level of component quality, testing being a crucial part of software quality assurance. For components modelled in UML...