Abstract is missing.
- In Memoriam Armando Martín Haeberer: 4 January 1947 - 11 February 2003T. S. E. Maibaum. 1-25 [doi]
- UNU and UNU/IISTZhou Chaochen. 26-33 [doi]
- Contract-Based TestingBernhard K. Aichernig. 34-48 [doi]
- The Development of the RAISE ToolsChris George. 49-64 [doi]
- An Algebraic Approach to the VERILOG ProgrammingJifeng He. 65-80 [doi]
- Real-Time Systems Development with Duration Calculi: An OverviewDang Van Hung. 81-96 [doi]
- X2Rel: An XML Relation Language with Formal SemanticsTomasz Janowski. 97-114 [doi]
- Where, Exactly, Is Software Development?Michael Jackson. 115-131 [doi]
- From Formal Techniques to Well-Founded Software Development MethodsEgidio Astesiano, Gianna Reggio, Maura Cerioli. 132-150 [doi]
- Towards the Verifying CompilerC. A. R. Hoare. 151-160 [doi]
- A Grand Challenge Proposal for Formal Methods: A Verified StackJ. Strother Moore. 161-172 [doi]
- What Is an Infrastructure? Towards an Informatics AnswerDines Bjørner. 173-190 [doi]
- A Formal Basis for Some Dependability NotionsCliff B. Jones. 191-206 [doi]
- Multi-view Modeling of Software SystemsManfred Broy. 207-225 [doi]
- An Executable Specification Language Based on Message Sequence ChartsAbhik Roychoudhury, P. S. Thiagarajan. 226-241 [doi]
- Graph-Based Models of Internetworking SystemsGian Luigi Ferrari, Ugo Montanari, Emilio Tuosto. 242-266 [doi]
- Software Development by RefinementDusko Pavlovic, Douglas R. Smith. 267-286 [doi]
- Formal Methods within a Totally Functional Approach to ProgrammingPaul A. Bailes, Colin J. M. Kemp. 287-307 [doi]
- Coordination Technologies for Just-in-Time IntegrationJosé Luiz Fiadeiro. 308-321 [doi]
- Real-Time Process Algebra and Its ApplicationsYingxu Wang. 322-336 [doi]
- Making Timed Automata CommunicateJing Chen, Huimin Lin. 337-351 [doi]
- A Tool Architecture for the Next Generation of UppaalAlexandre David, Gerd Behrmann, Kim Guldstrand Larsen, Wang Yi. 352-366 [doi]
- Verification by AbstractionNatarajan Shankar. 367-380 [doi]
- Combining Decision ProceduresZohar Manna, Calogero G. Zarba. 381-422 [doi]
- A Theory of Hints in Model CheckingMarkus Kaltenbach, Jayadev Misra. 423-438 [doi]
- Type Systems for Concurrent ProgramsNaoki Kobayashi. 439-453 [doi]