Sciweavers

7404 search results - page 139 / 1481
» New Tools in Education
Sort
View
CORR
2004
Springer
115views Education» more  CORR 2004»
15 years 6 months ago
Jartege: a Tool for Random Generation of Unit Tests for Java Classes
This paper presents Jartege, a tool which allows random generation of unit tests for Java classes specified in JML. JML (Java Modeling Language) is a specification language for Ja...
Catherine Oriat
ETS
2002
IEEE
87views Hardware» more  ETS 2002»
15 years 6 months ago
Web-based Corporate Learning in Siberia: Reflections on an American Model
Educational theorists have long associated distance education with self-study. In recent years, however, increasingly advanced technologies have made it possible to conduct distan...
Richard Schreck
CORR
2010
Springer
133views Education» more  CORR 2010»
15 years 6 months ago
PSIM: A tool for analysis of device pairing methods
Wireless networks are a common place nowadays and almost all of the modern devices support wireless communication in some form. These networks differ from more traditional computi...
Yasir Arfat Malkani, Lachhman Das Dhomeja
CORR
2006
Springer
178views Education» more  CORR 2006»
15 years 6 months ago
A tool set for the quick and efficient exploration of large document collections
: We are presenting a set of multilingual text analysis tools that can help analysts in any field to explore large document collections quickly in order to determine whether the do...
Camelia Ignat, Bruno Pouliquen, Ralf Steinberger, ...
CORR
2010
Springer
176views Education» more  CORR 2010»
15 years 6 months ago
Bus Protocols: MSC-Based Specifications and Translation into Program of Verification Tool for Formal Verification
Message Sequence Charts (MSCs) are an appealing visual formalism mainly used in the early stages of system design to capture the system requirements. However, if we move towards a...
Kamrul Hasan Talukder