Abstract is missing.
- From Informal Requirements to COOP: A Concurrent Automata ApproachPascal Poizat, Christine Choppy, Jean-Claude Royer. 939-962 [doi]
- A Framework for Defining Object-CalculiFrédéric Lang, Pierre Lescanne, Luigi Liquori. 963-982 [doi]
- A Translation of Statecharts to EsterelSanjit A. Seshia, R. K. Shyamasundar, A. K. Bhattacharjee, S. D. Dhodapkar. 983-1007 [doi]
- An Operational Semantics for Timed RAISEXia Yong, Chris George. 1008-1027 [doi]
- Data Abstraction for CSP-OZHeike Wehrheim. 1028-1047 [doi]
- Systems Development Using Z GenericsFiona A. C. Polack, Susan Stepney. 1048-1067 [doi]
- A Brief Summary of VSPECPerry Alexander, Murali Rangarajan, Phillip Baraona. 1068-1086 [doi]
- Enhancing the Pre- and Postcondition Technique for More Expressive SpecificationsGary T. Leavens, Albert L. Baker. 1087-1106 [doi]
- On Excusable and Inexcusable FailuresMarkus Müller-Olm, Andreas Wolf. 1107-1127 [doi]
- Interfacing Program Construction and VerificationRichard Verhoeven, Roland Carl Backhouse. 1128-1146 [doi]
- Software Verification Based on Linear ProgrammingS. Dellacherie, Samuel Devulder, Jean-Luc Lambert. 1147-1165 [doi]
- Sensors and Actuators in TCOZBrendan P. Mahony, Jin Song Dong. 1166-1185 [doi]
- The UniForM Workbench, a Universal Development Environment for Formal MethodsBernd Krieg-Brückner, Jan Peleska, Ernst-Rüdiger Olderog, Alexander Baer. 1186-1205 [doi]
- Integrating Formal Description TechniquesBernhard Schätz, Franz Huber. 1206-1225 [doi]
- A More Complete TLAStephan Merz. 1226-1244 [doi]
- Formal Justification of the Rely-Guarantee Paradigm for Shared-Variable Concurrency: A Semantic ApproachFrank S. de Boer, Ulrich Hannemann, Willem P. de Roever. 1245-1265 [doi]
- Relating Z and First-Order LogicAndrew Martin. 1266-1280 [doi]
- Formal Modeling of the Enterprise JavaBeans:::TM::: Component Integration FrameworkJoão Pedro Sousa, David Garlan. 1281-1300 [doi]
- Developing Components in the Presence of Re-entranceLeonid Mikhajlov, Emil Sekerinski, Linas Laibinis. 1301-1320 [doi]
- Communication and Synchronisation Using Interaction ObjectsH. B. M. Jonkers. 1321-1342 [doi]
- Modelling Microsoft COM Using pi-CalculusLoe M. G. Feijs. 1343-1363 [doi]
- Validation of Mixed SIGNAL-ALPHA Real-Time Systems through Affine Calculus on Clock Synchronisation ConstraintsIrina M. Smarandache, Thierry Gautier, Paul Le Guernic. 1364-1383 [doi]
- Combining Theorem Proving and Continuous Models in Synchronous DesignSimin Nadjm-Tehrani, Ove Åkerlund. 1384-1399 [doi]
- ParTS: A Partitioning Transformation SystemJuliano Iyoda, Augusto Sampaio, Leila Silva. 1400-1419 [doi]
- A Behavioral Model for Co-designJifeng He. 1420-1438 [doi]
- A Weakest Precondition Semantics for an Object-Oriented Language of RefinementAna Cavalcanti, David A. Naumann. 1439-1459 [doi]
- Reasoning About Interactive SystemsRalph-Johan Back, Anna Mikhajlova, Joakim von Wright. 1460-1476 [doi]
- Non-atomic Refinement in ZJohn Derrick, Eerke Boiten. 1477-1496 [doi]
- Refinement Semantics and Loop RulesEric C. R. Hehner, Andrew M. Gravell. 1497-1510 [doi]
- Lessons from the Application of Formal Methods to the Design of a Storm Surge Barrier Control SystemMichel R. V. Chaudron, Jan Tretmans, Klaas Wijbrans. 1511-1526 [doi]
- The Value of Verification: Positive Experience of Industrial ProofSteve King, Jonathan Hammond, Roderick Chapman, Andy Pryor. 1527-1545 [doi]
- Formal Development and Verification of a Distributed Railway Control SystemAnne Elisabeth Haxthausen, Jan Peleska. 1546-1563 [doi]
- Safety Analysis in Formal SpecificationKaisa Sere, Elena Troubitsyna. 1564-1583 [doi]
- Formal Specification and Validation of a Vital Communication ProtocolAlessandro Cimatti, P. L. Pieraccini, Roberto Sebastiani, Paolo Traverso, Adolfo Villafiorita. 1584-1604 [doi]
- Incremental Design of a Power Transformer Station Controller Using a Controller Synthesis MethodologyHervé Marchand, Mazen Samaan. 1605-1624 [doi]
- Verifying Behavioural Specifications in CafeOBJ EnvironmentAkira Mori, Kokichi Futatsugi. 1625-1643 [doi]
- Component-Based Algebraic Specification and Verification in CafeOBJRazvan Diaconescu, Kokichi Futatsugi, Shusaku Iida. 1644-1663 [doi]
- Using Algebraic Specification Techniques in Development of Object-Oriented FrameworksShin Nakajima. 1664-1683 [doi]
- Maude as a Formal Meta-toolManuel Clavel, Francisco Durán, Steven Eker, José Meseguer, Mark-Oliver Stehr. 1684-1703 [doi]
- Hiding More of Hidden AlgebraJoseph A. Goguen, Grigore Rosu. 1704-1719 [doi]
- A Termination Detection Algorithm: Specification and VerificationRobert Eschbach. 1720-1737 [doi]
- Logspace Reducibility via Abstract State MachinesErich Grädel, Marc Spielmann. 1738-1757 [doi]
- Formal Methods for Extensions to CASMartin Dunstan, Tom Kelsey, Ursula Martin, Steve Linton. 1758-1777 [doi]
- An Algebraic Framework for Higher-Order ModulesRosa M. Jiménez, Fernando Orejas. 1778-1797 [doi]
- Applying Formal Proof Techniques to Avionics Software: A Pragmatic ApproachFamantanantsoa Randimbivololona, Jean Souyris, Patrick Baudin, Anne Pacalet, Jacques Raguideau, Dominique Schoen. 1798-1815 [doi]
- Secure Synthesis of Code: A Process Improvement ExperimentP. Garbett, J. P. Parkes, M. Shackleton, S. Anderson. 1816-1835 [doi]
- Cronos: A Separate Compilation Toolset for Modular Esterel ApplicationsOlivier Hainque, Laurent Pautet, Yann Le Biannic, Eric Nassor. 1836-1853 [doi]
- Tool Support for Production Use of Formal TechniquesJohn C. Knight, P. Thomas Fletcher, Brian R. Hicks. 1854 [doi]
- Modeling Aircraft Mission Computer Task RatesJin Song Dong, Brendan P. Mahony, Neale Fulton. 1855 [doi]
- A Study of Collaborative Work: Answers to a Test on Formal Specification in BHenri Habrias, Pascal Poizat, Jean-Yves Lafaye. 1856-1857 [doi]
- Archived Design Steps in Temporal LogicPertti Kellomäki, Tommi Mikkonen. 1858 [doi]
- A PVS-Based Approach for Teaching Constructing Correct IterationsMichel Levy, Laurent Trilling. 1859-1860 [doi]
- A Minimal Framework for Specification TheoryBernd Baumgarten. 1861 [doi]
- A Model of Specification-Based Testing of Interactive SystemsIan MacColl, David A. Carrington. 1862 [doi]
- Algebraic Aspects of the Mapping between Abstract Syntax Notation One and CORBA IDLRadu Ocica, Dan Ionescu. 1863 [doi]
- RetrenchmentRichard Banach, Michael Poppleton. 1864-1865 [doi]
- Proof Preservation in Component GeneralizationAnamaria Martins Moreira. 1866 [doi]
- Formal Modelling and Simulation of Train Control Systems Using Petri NetsMichael Meyer zu Hörste, Eckehard Schnieder. 1867 [doi]
- Formal Specification of a Voice Communication System Used in Air Traffic ControlJohann Hörl, Bernhard K. Aichernig. 1868 [doi]
- Model-Checking the Architectural Design of a Fail-Safe Communication System for Railway Interlocking SystemsBettina Buth, Mike Schrönen. 1869 [doi]
- Analyzing the Requirements of an Access Control Using VDMTools and PVSGeorg Droschl. 1870 [doi]
- Cache Coherence Verification with TLA+Homayoon Akhiani, Damien Doligez, Paul Harter, Leslie Lamport, Joshua Scheid, Mark R. Tuttle, Yuan Yu. 1871-1872 [doi]