Abstract is missing.
- Performance analysis based upon complete profilesJoan Krone, William F. Ogden, Murali Sitaraman. 3-10 [doi]
- Performance modeling of a JavaEE component application using layered queuing networks: revised approach and a case studyAlexander Ufimtsev, Liam Murphy 0001. 11-18 [doi]
- Soundness and completeness warnings in ESC/Java2Joseph R. Kiniry, Alan E. Morkan, Barry Denby. 19-24 [doi]
- Early detection of JML specification errors using ESC/Java2Patrice Chalin. 25-32 [doi]
- Experiments in the use of τ-simulations for the components-verification of real-time systemsFrançoise Bellegarde, Jacques Julliand, Hassan Mountassir, Emilie Oudot. 33-40 [doi]
- JML-based verification of liveness properties on a class in isolationJulien Groslambert, Jacques Julliand, Olga Kouchnarenko. 41-48 [doi]
- Using resemblance to support component reuse and evolutionAndrew McVeigh, Jeff Kramer, Jeff Magee. 49-56 [doi]
- Simplifying reasoning about objects with TakoGregory Kulczycki, Jyotindra Vasudeo. 57-64 [doi]
- VC generation for functional behavior and non-interference of iteratorsBart Jacobs 0002, Frank Piessens, Wolfram Schulte. 67-70 [doi]
- Specifying java iterators with JML and Esc/Java2David R. Cok. 71-74 [doi]
- SAVCBS 2006 challenge: specification of iteratorsBruce W. Weide. 75-77 [doi]
- Iterator specification with typestatesKevin Bierhoff. 79-82 [doi]
- Reasoning about iterators with separation logicNeelakantan R. Krishnaswami. 83-86 [doi]
- Automatic data environment construction for static device drivers analysisHendrik Post, Wolfgang Küchlin. 89-92 [doi]