1210 search results - page 24 / 242 » Formal Techniques for Java Programs |
102
click to vote
SOFSEM
2010
Springer
15 years 10 months ago
2010
Springer
Abstract. Formal methods are considered to be highly expensive. Therefore, they are currently applied almost only in high risk software development. In this paper, we show that for...
105
click to vote
PPPJ
2004
ACM
15 years 7 months ago
2004
ACM
All programmers should understand the concept of program families and know the techniques for constructing them. This paper describes a case study that can be used to introduce st...
198
click to vote
ECOOP
2009
Springer
16 years 2 months ago
2009
Springer
Contemporary refactoring tools for JAVA aiding in the restructuring of programs have problems with respecting access modifiers such as public and private: while some tools provide ...
IJACTAICIT
2010
14 years 11 months ago
2010
This paper have shown an expert system design by using optimization methods for the Focused ion beam FIB optical system, by mixing the dynamic programming procedure and artificial...
131
click to vote
ICALT
2003
IEEE
15 years 7 months ago
2003
IEEE
The “JavaTM Intelligent Tutoring System” (JITS) research project involves the development of a programming tutor designed for students in their first programming course in Jav...