2860 search results - page 52 / 572 » The Greenfoot Programming Environment |
TACAS
2010
Springer
14 years 9 months ago
2010
Springer
Software model checkers are being used mostly to discover specific types of errors in the code, since exhaustive verification of complex programs is not possible due to state explo...
ICSE
2010
IEEE-ACM
15 years 3 months ago
2010
IEEE-ACM
Today’s integrated development environments (IDEs) are hampered by their dependence on files and file-based editing. We propose a novel user interface that is based on collectio...
DAGSTUHL
2008
15 years 1 months ago
2008
We present some examples of extensions for C-XSC that have been developed lately. Among these are extensions that give access to further hardware and software environments as well ...
WSC
1990
15 years 1 months ago
1990
This paper provides an overview of a simulation support environment and presents a discussion of a number of issues related to the generation of a simulation model. The need for a...
JASIS
2007
2007
Visualization of the citation impact environments of scientific journals: An online mapping exercise
14 years 11 months ago
Aggregated journal-journal citation networks based on the Journal Citation Reports 2004 of the Science Citation Index (5968 journals) and the Social Science Citation Index (1712 j...