1027 search results - page 37 / 206 » A Model for Java with Wildcards |
SAC
2010
ACM
15 years 6 months ago
2010
ACM
Scalability of software engineering methods can be improved by application of the methods to individual components instead of complete systems. This is, however, possible only if ...
111
click to vote
KBSE
2000
IEEE
15 years 3 months ago
2000
IEEE
The majority of work carried out in the formal methods community throughout the last three decades has (for good reasons) been devoted to special languages designed to make it eas...
AOSD
2007
ACM
15 years 3 months ago
2007
ACM
The primary implementations of AspectJ to date are based on a compile- or load-time weaving process that produces Java byte code. Although this implementation strategy has been cr...
103
click to vote
ICALT
2003
IEEE
15 years 4 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...
156
click to vote
B
2007
Springer
15 years 3 months ago
2007
Springer
Abstract. A recent contribution to the formal specification and verification of concurrent systems is the integration of the state- and event-based approaches B and CSP, specifical...