Abstract is missing.
- From Requirements to Design: Formalizing the Key StepsR. Geoff Dromey. 2 [doi]
- Supporting the Software Testing Process through Specification AnimationTim Miller, Paul A. Strooper. 14-23 [doi]
- Architecting Specifications for Test Case GenerationRichard O. Sinnott. 24 [doi]
- Weak Bisimulation for Probabilistic Timed Automata and Applications to SecurityRuggero Lanotte, Andrea Maggiolo-Schettini, Angelo Troina. 34-43 [doi]
- Refinement Operators and Information Flow SecurityAnnalisa Bossi, Riccardo Focardi, Carla Piazza, Sabina Rossi. 44-53 [doi]
- A Formal Model for Trust in Dynamic NetworksMarco Carbone, Mogens Nielsen, Vladimiro Sassone. 54 [doi]
- Taming Mobile Processes Using TypesDavide Sangiorgi. 64 [doi]
- Facilitating Program Verification with Dependent TypesHongwei Xi. 72-81 [doi]
- A Partial-Correctness Semantics for Modelling Assembler ProgramsGeoffrey Watson, Colin J. Fidge. 82-90 [doi]
- Program Verification Using Change InformationBernhard Beckert, Peter H. Schmitt. 91 [doi]
- Towards a Well-Founded UML-Based Development MethodEgidio Astesiano, Gianna Reggio. 102 [doi]
- Behavioral Consistency Validation of UML DiagramsBoris Litvak, Shmuel S. Tyszberowicz, Amiram Yehudai. 118-125 [doi]
- Component-Based Design and Analysis: A Case StudyYan Jin, Charles Lakos, Robert Esser. 126 [doi]
- Towards Formalizing UML State Diagrams in CSPMuan Yong Ng, Michael J. Butler. 138 [doi]
- Semantic Properties of mu-ChartsDoug Goldson, Greg Reeve. 148-155 [doi]
- The Fallacy of Spec-Based DesignRahul Bhatt, Dave LaFollette, Arjun Kapur. 156 [doi]
- Formalizing the Framework Design Language F-UMLNadia Bouassida, Hanêne Ben-Abdallah, Faïez Gargouri, Abdelmajid Ben Hamadou. 164-172 [doi]
- Modelling Java Concurrency with Object-ZRoger Duke, Luke Wildman, Brad Long. 173-181 [doi]
- Specification Matching of Object-Oriented ComponentsFrank Feiks, David Hemer. 182-190 [doi]
- Animation of Object-Z Specifications Using a Z AnimatorTim McComb, Graeme Smith. 191 [doi]
- Model Checking Visual Specification of RequirementsUlka Shrotri, Purandar Bhaduri, R. Venkatesh. 202-209 [doi]
- Formal Verification of ASM Designs Using the MDG ToolAmjad Gawanmeh, Sofiène Tahar, Kirsten Winter. 210-219 [doi]
- Light-Weight Theorem Proving for Debugging and Verifying Units of CodeDavid Déharbe, Silvio Ranise. 220-228 [doi]