Abstract is missing.
- A Family of Mathematical Methods for Professional Software DocumentationDavid Lorge Parnas. 1-4 [doi]
- Generating Path Conditions for Timed SystemsSaddek Bensalem, Doron Peled, Hongyang Qu, Stavros Tripakis. 5-19 [doi]
- Software Model Checking: Searching for Computations in the Abstract or the ConcretePatrice Godefroid, Nils Klarlund. 20-32 [doi]
- Adaptive Techniques for Specification Matching in Embedded Systems: A Comparative StudyRobi Malik, Partha S. Roop. 33-52 [doi]
- State/Event Software Verification for Branching-Time SpecificationsSagar Chaki, Edmund M. Clarke, Orna Grumberg, Joël Ouaknine, Natasha Sharygina, Tayssir Touili, Helmut Veith. 53-69 [doi]
- Exp.Open 2.0: A Flexible Tool Integrating Partial Order, Compositional, and On-The-Fly Verification MethodsFrédéric Lang. 70-88 [doi]
- Chunks: Component Verification in CSP||BSteve A. Schneider, Helen Treharne, Neil Evans. 89-108 [doi]
- Agile Formal Method EngineeringRichard F. Paige, Phillip J. Brooke. 109-128 [doi]
- An Automated Failure Mode and Effect Analysis Based on High-Level Design Specification with Behavior TreesLars Grunske, Peter A. Lindsay, Nisansala Yatapanage, Kirsten Winter. 129-149 [doi]
- Enabling Security Testing from Specification to CodeShane Bracher, Padmanabhan Krishnan. 150-166 [doi]
- Development of Fault Tolerant Grid Applications Using Distributed BPontus Boström, Marina A. Waldén. 167-186 [doi]
- Formal Methods Meet Domain Specific LanguagesJean-Paul Bodeveix, Mamoun Filali, Julia L. Lawall, Gilles Muller. 187-206 [doi]
- Synthesizing B Specifications from EB:::3::: Attribute DefinitionsFrédéric Gervais, Marc Frappier, Régine Laleau. 207-226 [doi]
- CZT Support for Z ExtensionsTim Miller, Leo Freitas, Petra Malik, Mark Utting. 227-245 [doi]
- Embedding the Stable Failures Model of CSP in PVSKun Wei, James Heather. 246-265 [doi]
- Model-Based Prototyping of an Interoperability Protocol for Mobile Ad-Hoc NetworksLars Michael Kristensen, Michael Westergaard, Peder Christian Nørgaard. 266-286 [doi]
- Translating Hardware Process Algebras into Standard Process Algebras: Illustration with CHP and LOTOSGwen Salaün, Wendelin Serwe. 287-306 [doi]
- Formalising Interactive Voice Services with SDLKenneth J. Turner. 307-326 [doi]
- A Fixpoint Semantics of Event Systems With and Without Fairness AssumptionsHéctor Ruíz Barradas, Didier Bert. 327-346 [doi]
- Consistency Checking of Sequence Diagrams and Statechart Diagrams Using the pi-CalculusVitus S. W. Lam, Julian A. Padget. 347-365 [doi]
- An Integrated Framework for Scenarios and State MachinesBikram Sengupta, Rance Cleaveland. 366-385 [doi]
- Consistency in UML and B Multi-view SpecificationsDieu Donné Okalas Ossami, Jean-Pierre Jacquot, Jeanine Souquières. 386-405 [doi]