Abstract is missing.
- Specialising in Software EngineeringMichael Jackson. 3 [doi]
- Verification of C Programs Using Automated ReasoningDavid Crocker, Judith Carlton. 7-14 [doi]
- Problem Oriented Software Engineering: A design-theoretic framework for software engineeringJon G. Hall, Lucia Rapanotti, Michael Jackson. 15-24 [doi]
- Formalising Design Patterns in Predicate LogicIan Bayley. 25-36 [doi]
- Retrenchment and the Atomicity PatternRichard Banach, Czeslaw Jeske, Anthony Hall, Susan Stepney. 37-46 [doi]
- Verifying the Mondex Case StudyPeter H. Schmitt, Isabel Tonin. 47-58 [doi]
- Model-driven architecture for cancer researchRadu Calinescu, Steve Harris, Jeremy Gibbons, Jim Davies, Igor Toujilov, Sylvia B. Nagl. 59-68 [doi]
- Modeling and Verification of TTCAN Startup Protocol Using Synchronous CalendarIndranil Saha, Suman Roy, Kuntal Chakraborty. 69-79 [doi]
- How to Test Program Generators? A Case Study using flexPrahladavaradan Sampath, A. C. Rajeev, K. C. Shashidhar, S. Ramesh. 80-92 [doi]
- Proving Termination by DivergenceDomagoj Babic, Alan J. Hu, Zvonimir Rakamaric, Byron Cook. 93-102 [doi]
- Supporting Proof in a Reactive Development EnvironmentFarhad Mehta. 103-112 [doi]
- Sound reasoning about unchecked exceptionsBart Jacobs 0002, Peter Müller, Frank Piessens. 113-122 [doi]
- The Rôle of Abstract Interpretation in Formal MethodsPatrick Cousot. 135-140 [doi]
- A Dynamic Logic for Deductive Verification of Concurrent ProgramsBernhard Beckert, Vladimir Klebanov. 141-150 [doi]
- An ought-to-do deontic logic for reasoning about fault-tolerance: the diarrheic philosophersPablo F. Castro, T. S. E. Maibaum. 151-160 [doi]
- An Integrated Specification Framework for Embedded SystemsMarius C. Bujorianu, Manuela L. Bujorianu. 161-172 [doi]
- A Thread-tag Based Semantics for Sequence DiagramsHaitao Dan, Robert M. Hierons, Steve Counsell. 173-182 [doi]
- An AOP Extended Lambda-CalculusDima Alhadidi, Nadia Belblidia, Mourad Debbabi, Prabir Bhattacharya. 183-194 [doi]
- ASN1-light: A Verified Message Encoding for Security ProtocolsHolger Grandy, Robert Bertossi, Kurt Stenzel, Wolfgang Reif. 195-204 [doi]
- Recovery from DoS Attacks in MIPv6: Modeling and ValidationManish C. Kumar, K. Gopinath. 205-214 [doi]
- Protocol Conformance Testing a SIP Registrar: an Industrial Application of Formal MethodsBernhard K. Aichernig, Bernhard Peischl, Martin Weiglhofer, Franz Wotawa. 215-226 [doi]
- Testing conformance on Stochastic Stream X-MachinesMercedes G. Merayo, Manuel Núñez. 227-236 [doi]
- Specification-based testing for refinementTemesghen Kahsai, Markus Roggenbach, Bernd-Holger Schlingloff. 237-246 [doi]
- Hardness for Explicit State Software Model Checking BenchmarksNeha Rungta, Eric G. Mercer. 247-256 [doi]
- Model Checking RAISE Applicative SpecificationsJuan Ignacio Perna, Chris George. 257-268 [doi]
- Automatically Proving Concurrent Programs CorrectByron Cook. 269-272 [doi]
- Towards A Case-Optimal Symbolic Execution Algorithm for Analyzing Strong Properties of Object-Oriented ProgramsXianghua Deng, Robby, John Hatcliff. 273-282 [doi]
- Verification of Object Relational MapsKrishna K. Mehra, Sriram K. Rajamani, A. Prasad Sistla, Sumit Kumar Jha. 283-292 [doi]
- Formal Specification using Interaction DiagramsK. Lano. 293-304 [doi]
- Disciplining Orchestration and Conversation in Service-Oriented ComputingIvan Lanese, Francisco Martins, Vasco Thudichum Vasconcelos, António Ravara. 305-314 [doi]
- Algebraic Approach to Linking the Semantics of Web ServicesHuibiao Zhu, Jifeng He, Jing Li, Jonathan P. Bowen. 315-328 [doi]
- Formal verification of tamper-evident storage for e-votingDominique Cansell, J. Paul Gibson, Dominique Méry. 329-338 [doi]
- A Scalable Lock-Free Stack Algorithm and its VerificationRobert Colvin, Lindsay Groves. 339-348 [doi]
- Verifying Security Properties of Cryptoprotocols: A Novel ApproachMohamed Saleh, Mourad Debbabi. 349-360 [doi]
- Configurable Proof Obligations in the Frog ToolkitSimon Fraser, Richard Banach. 361-370 [doi]
- Feature RefinementSteve Reeves, David Streader. 371-380 [doi]
- Run-time Composition and Adaptation of Mismatching Behavioural TransactionsJavier Cámara, Gwen Salaün, Carlos Canal. 381-390 [doi]
- Flexible Behavioural Compatibility and Substitutability for Component Protocols: A Formal SpecificationNabil Hameurlain. 391-400 [doi]