共 50 条
- [31] An enhancement to Java']Java for programming with assertions INTERNATIONAL CONFERENCE ON PARALLEL AND DISTRIBUTED PROCESSING TECHNIQUES AND APPLICATIONS, VOLS I-IV, PROCEEDINGS, 1998, : 42 - 49
- [34] Java']Java as a functional programming language TYPES FOR PROOFS AND PROGRAMS, 2002, 2646 : 279 - 298
- [35] Programming Coordinated Behavior in Java']Java ECOOP 2010: OBJECT-ORIENTED PROGRAMMING, 2010, 6183 : 250 - +
- [37] Java']Java-MOP: A monitoring oriented programming environment for Java']Java TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS, PROCEEDINGS, 2005, 3440 : 546 - 550
- [38] JS']JSetL: a Java']Java library for supporting declarative programming in Java']Java SOFTWARE-PRACTICE & EXPERIENCE, 2007, 37 (02): : 115 - 149
- [39] Magnetic levitation system:: A virtual lab in "easy Java']Java simulation" PROCEEDINGS OF THE 2004 AMERICAN CONTROL CONFERENCE, VOLS 1-6, 2004, : 3215 - 3220
- [40] Simulation in Java']Java with SSJ Proceedings of the 2005 Winter Simulation Conference, Vols 1-4, 2005, : 611 - 620