Sold Out
Book Categories |
From Action Systems to Modular Systems | 1 | |
Formal Methods in the Railways Signalling Industry | 26 | |
Formal and Informal Specifications of a Secure System Component: First Results in a Comparative Study | 35 | |
Formalising British Rail's Signalling Rules | 45 | |
Three Applications of Formal Methods at MITRE | 55 | |
Specification and Analysis of a Security Management System | 66 | |
Verification Techniques for LOTOS | 83 | |
Experiences in Using the Abstract Machine Notation in a GKS Case Study | 93 | |
Seven More Myths of Formal Methods: Dispelling Industrial Prejudices | 105 | |
Comparing Approaches to Data Reification | 118 | |
Towards a Formalization of Programming-by-Difference | 134 | |
A New Concept of Refinement used for Behaviour Modelling with Automata | 154 | |
An Extended VDM Refinement Relation | 175 | |
On Transferring VDM Verification Techniques to Z | 190 | |
Proof-Based Development of Specifications with KIDS/VDM | 214 | |
Evaluation of Underdetermined Explicit Definitions | 233 | |
A Precise Examination of the Behaviour of Process Models | 251 | |
A Theory of Presentations | 271 | |
Applying a Concurrent Formal Framework to Process Modelling | 291 | |
From MooZ to Eiffel - A Rigorous Approach to System Development | 306 | |
OPUS: a Formal Approach to Object-Orientation | 326 | |
A Strategy for the Production of Verifiable Code Using the B Method | 346 | |
Specifying and Verifying Concurrent Systems Using Z | 366 | |
A Critical Look at Functional Specifications | 381 | |
Informal Strategies in Design by Refinement | 401 | |
An Experimental Support System for Formal Mathematical Reasoning | 421 | |
Literate Mathematical Development of a Revision Management System | 441 | |
An Action Semantics for ML Concurrency Primitives | 461 | |
A Semantics for NewSpeak in VDM-SL | 480 | |
Evaluation Semantics in Z | 502 | |
Abstract Model Checking of Infinite Specifications | 519 | |
Case Study: Specification and Refinement of the PI-Bus | 532 | |
Stepwise Refinement of Control Software - A Case Study Using RAISE | 547 | |
Specifying Safety and Progress Properties with RSL | 567 | |
Validation of a Railway Interlocking Model | 582 | |
A Formal Specification of an Automatic Train Protection System | 602 | |
Adding Real Time to Formal Program Development | 618 | |
Combining the Design of Industrial Systems with Effective Verification Techniques | 639 | |
RTL and Refutation by Positive Cycles | 659 | |
Formalising the Semantics of Ward/Mellor SA/RT Essential Models Using a Process Algebra | 681 | |
Deriving Relational Database Programs from Formal Specifications | 703 |
Login|Complaints|Blog|Games|Digital Media|Souls|Obituary|Contact Us|FAQ
CAN'T FIND WHAT YOU'RE LOOKING FOR? CLICK HERE!!! X
You must be logged in to add to WishlistX
This item is in your Wish ListX
This item is in your CollectionFME '94: Industrial Benefit of Formal Methods
X
This Item is in Your InventoryFME '94: Industrial Benefit of Formal Methods
X
You must be logged in to review the productsX
X
X
Add FME '94: Industrial Benefit of Formal Methods, , FME '94: Industrial Benefit of Formal Methods to the inventory that you are selling on WonderClubX
X
Add FME '94: Industrial Benefit of Formal Methods, , FME '94: Industrial Benefit of Formal Methods to your collection on WonderClub |