Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Tim Clement |
Comparing Approaches to Data Reification. |
FME |
1994 |
DBLP DOI BibTeX RDF |
|
1 | Maurice Naftalin |
Informal Strategies in Design by Refinement. |
FME |
1994 |
DBLP DOI BibTeX RDF |
|
1 | Omar Cherkaoui |
Specification and Analysis of a Security Management System. |
FME |
1994 |
DBLP DOI BibTeX RDF |
Key-words Security management, Model-checking, Verification, Formal methods, Synthesis, Process algebra, Modal logic, CCS |
1 | Ursula Martin, Muffy Thomas |
Verification Techniques for LOTOS. |
FME |
1994 |
DBLP DOI BibTeX RDF |
|
1 | Colin O'Halloran |
Evaluation Semantics in Z. |
FME |
1994 |
DBLP DOI BibTeX RDF |
|
1 | Trevor King |
Formalising British Rail's Signalling Rules. |
FME |
1994 |
DBLP DOI BibTeX RDF |
|
1 | Roberto Souto Maior de Barros |
Deriving Relational Database Programs from Formal Specifications. |
FME |
1994 |
DBLP DOI BibTeX RDF |
|
1 | Matthias Anlauff, Stefan Jähnichen, Martin Simons 0001 |
An experimental support system for formal mathematical reasoning. |
FME |
1994 |
DBLP DOI BibTeX RDF |
tool support, proofs, logical frameworks, formal reasoning |
1 | Barbara Paech, Bernhard Rumpe |
A new Concept of Refinement used for Behaviour Modelling with Automata. |
FME |
1994 |
DBLP DOI BibTeX RDF |
|
1 | John A. Keane, Jin Sa, Brian Warboys |
Applying a Concurrent Formal Framework to Process Modelling. |
FME |
1994 |
DBLP DOI BibTeX RDF |
|
1 | Peter D. Mosses, Martin A. Musicante |
An Action Semantics for ML Concurrency Primitives. |
FME |
1994 |
DBLP DOI BibTeX RDF |
|
1 | Paul Mukherjee |
A Semantics for NewSpeak in VDM-SL. |
FME |
1994 |
DBLP DOI BibTeX RDF |
|
1 | Babak Dehbonei, Fernando Mejia |
Formal Methods in the Railways Signalling Industry. |
FME |
1994 |
DBLP DOI BibTeX RDF |
|
1 | Joshua D. Guttman, Dale M. Johnson |
Three Applications of Formal Methods at MITRE. |
FME |
1994 |
DBLP DOI BibTeX RDF |
|
1 | Yves Ledru |
Proof-Based Development of Specifications with KIDS/VDM. |
FME |
1994 |
DBLP DOI BibTeX RDF |
|
1 | Colin J. Fidge |
Adding Real Time to Formal Program Development. |
FME |
1994 |
DBLP DOI BibTeX RDF |
|
1 | Karen Seidel 0002 |
Case Study: Specification and Refinement of the PI-Bus. |
FME |
1994 |
DBLP DOI BibTeX RDF |
|
1 | Rodger Collinson |
A Critical Look at Functional Specifications. |
FME |
1994 |
DBLP DOI BibTeX RDF |
|
1 | Virgínia A. O. Cordeiro, Augusto Sampaio, Silvio Romero de Lemos Meira |
From MooZ to Eiffel - A Rigorous Approach to System Development. |
FME |
1994 |
DBLP DOI BibTeX RDF |
|
1 | Brian Ritchie, Juan Bicarregui, Howard P. Haughton |
Experiences in Using the Abstract Machine Notation in a GKS Case Study. |
FME |
1994 |
DBLP DOI BibTeX RDF |
|
1 | Kelvin J. Ross, Peter A. Lindsay |
A Precise Examination of the Behaviour of Process Models. |
FME |
1994 |
DBLP DOI BibTeX RDF |
formal methods, process modelling, configuration management, VDM |
1 | Farn Wang, Aloysius K. Mok |
RTL and Refutation by Positive Cycles. |
FME |
1994 |
DBLP DOI BibTeX RDF |
|
1 | Jorge Cuéllar, Isolde Wildgruber, Dieter Barnard |
Combining the Design of Industrial Systems with Effective Verification Techniques. |
FME |
1994 |
DBLP DOI BibTeX RDF |
|
1 | John S. Fitzgerald, T. M. Brookes, M. A. Green, Peter Gorm Larsen |
Formal and Informal Specifications of a Secure System Component: first results in a comparative study. |
FME |
1994 |
DBLP DOI BibTeX RDF |
|
1 | Andrew Simpson |
A Formal Specification of an Automatic Train Protection System. |
FME |
1994 |
DBLP DOI BibTeX RDF |
|
1 | Tom Mens, Kim Mens, Patrick Steyaert |
OPUS: a Formal Approach to Object-Orientation. |
FME |
1994 |
DBLP DOI BibTeX RDF |
|
1 | Jesper Gørtz |
Specifying Safety and Progress Properties with RSL. |
FME |
1994 |
DBLP DOI BibTeX RDF |
|
1 | Andy Evans |
Specifying & Verifying Concurrent Systems Using Z. |
FME |
1994 |
DBLP DOI BibTeX RDF |
|
1 | Ralph-Johan Back, Kaisa Sere |
From Action Systems to Modular Systems. |
FME |
1994 |
DBLP DOI BibTeX RDF |
|
1 | Daniel Jackson 0001 |
Abstract Model Checking of Infinite Specifications. |
FME |
1994 |
DBLP DOI BibTeX RDF |
|
1 | Matthias Weber |
Literate Mathematical Development of a Revision Management System. |
FME |
1994 |
DBLP DOI BibTeX RDF |
|
1 | Ian Maung, John Howse, Richard J. Mitchell |
Towards a Formalization of Programming-by-Difference. |
FME |
1994 |
DBLP DOI BibTeX RDF |
contravariance, inheritance, subtype, design-by-contract, incremental programming |
1 | François Erasmy, Emil Sekerinski |
Stepwise Refinement of Control Software - A Case Study Using RAISE. |
FME |
1994 |
DBLP DOI BibTeX RDF |
|
1 | Maurice Naftalin, B. Tim Denvir, Miquel Bertran (eds.) |
FME '94: Industrial Benefit of Formal Methods, Second International Symposium of Formal Methods Europe, Barcelona, Spain, October 24-18, 1994, Proceedings |
FME |
1994 |
DBLP DOI BibTeX RDF |
|
1 | Morten Elvang-Gøransson, Robert E. Fields |
An Extended VDM Refinement Relation. |
FME |
1994 |
DBLP DOI BibTeX RDF |
|
1 | Peter Gorm Larsen |
Evaluation of Underdetermined Explicit Definitions. |
FME |
1994 |
DBLP DOI BibTeX RDF |
|
1 | Peter A. Lindsay |
On transferring VDM verification techniques to Z. |
FME |
1994 |
DBLP DOI BibTeX RDF |
|
1 | Jonathan P. Bowen, Michael G. Hinchey |
Seven More Myths of Formal Methods. |
FME |
1994 |
DBLP DOI BibTeX RDF |
|
1 | Geoff Barrett |
Model Checking in Practice - The T9000 Virtual Channel Processor. |
FME |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Guillaume Doumenc, Jean-François Monin |
The Parallel Abstract Machine: A Common Execution Model for FDTs. |
FME |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Jeremy Dick, Alain Faivre |
Automating the Generation and Sequencing of Test Cases from Model-Based Specifications. |
FME |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Eugène Dürr, Liesbeth M. Dusink |
Role of VDM(++) in the Development of a Real-Time Tracking and Tracing System. |
FME |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Gonzalo León, Juan C. Yelmo, Carlos Sánchez 0002, F. Javier Carrasco, Juan J. Gil |
An Industrial Experience on LOTOS-Based Prototyping for Switching Systems Design. |
FME |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Thony van der Vloedt, Kees Bogaards |
Integrating SA/RT with LOTOS. |
FME |
1993 |
DBLP DOI BibTeX RDF |
|
1 | H. B. M. Jonkers |
An Overview of the SPRINT Method. |
FME |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Andrew Butterfield |
A VDM Study of Fault-Tolerant Stable Storage - Towards a Computer Engineering Mathematics. |
FME |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Joachim Fischer, Andreas Prinz 0001, Andreas Vogel 0003 |
Different FDT's Confronted with Different ODP-Viewpoints of the Trader. |
FME |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Antti Valmari, Jukka Kemppainen, Matthew Clegg, Mikko Levanto |
Putting Advanced Reachability Analysis Techniques Together: the "ARA" Tool. |
FME |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Debora Weber-Wulff |
Selling Formal Methods to Industry. |
FME |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Jim Woodcock 0001, Peter Gorm Larsen (eds.) |
FME '93: Industrial-Strength Formal Methods, First International Symposium of Formal Methods Europe, Odense, Denmark, April 19-23, 1993, Proceedings |
FME |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Dan Craigen, Susan L. Gerhart, Ted Ralston |
Formal Methods Reality Check: Industrial Usage. |
FME |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Kelvin J. Ross, Peter A. Lindsay |
Maintaining Consistency Under Changes to Formal Specifications. |
FME |
1993 |
DBLP DOI BibTeX RDF |
verification, formal methods, configuration management, VDM, change control |
1 | Anthony Boswell |
Specification and Validation of a Security Policy Model. |
FME |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Juan Bicarregui, Brian Ritchie |
Invariants, Frames and Postconditions: a Comparison of the VDM and B Notations. |
FME |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Liang Chen, Alistair Munro |
Applications of Modal Logic for the Specification of Real-Time Systems. |
FME |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Andrew P. Martin |
Encoding W: A Logic for Z in 2OBJ. |
FME |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Egidio Astesiano, Gianna Reggio |
A Metalanguage for the Formal Requirement Specification of Reactive Systems. |
FME |
1993 |
DBLP DOI BibTeX RDF |
|
1 | M. R. K. Krishna Rao, Paritosh K. Pandya, R. K. Shyamasundar |
Verification Tools in the Development of Provably Correct Compilers. |
FME |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Leonid A. Kalinichenko, Nikolaj S. Nikitchenko, Vladimir Zadorozhny |
Application of Composition Development Method for definition of SYNTHESIS information resource query language semantics. |
FME |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Simon Pickin 0001, Yan Yang, Wiet Bouma, Sylvie Simon, Tanja de Groot |
Process Instances in LOTOS Simulation. |
FME |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Graeme I. P. Parkin, Brian A. Wichmann |
Conformity Clause for VDM-SL. |
FME |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Mark Saaltink, Sentot Kromodimoeljo, Bill Pase, Dan Craigen, Irwin Meisels |
An EVES Data Abstraction Example. |
FME |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Cliff B. Jones |
Reasoning about Interference in an Object-Based Design Method. |
FME |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Bent Dandanell, Jesper Gørtz, Jan Storbank Pedersen, Eld Zierau 0001 |
Experience from Applications of RAISE. |
FME |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Mikael Hedlund |
The Integration of LOTOS with an Object Oriented Development Method. |
FME |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Naima Brown, Dominique Méry |
A Proof Environment for Concurrent Programs. |
FME |
1993 |
DBLP DOI BibTeX RDF |
formal specifications, concurrency, program verification, Automated theorem proving, B, Unity |
1 | Jonathan Jacky |
Specifying a Safety-Critical Control System in Z. |
FME |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Juan Bicarregui |
Algorithm Refinement with Read and Write Frames. |
FME |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Anne E. Haxthausen, Chris George |
A Concurrency Case Study Using RAISE. |
FME |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Fiona Polack, Mark Whiston, Keith Mander |
The SAZ Project: Integrating SSADM and Z.. |
FME |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Antonio Cau, Willem P. de Roever |
Using Relative Refinement for Fault Tolerance. |
FME |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Jonathan P. Bowen, Victoria Stavridou |
The Industrial Take-up of Formal Methods in Safety-Critical and Other Areas: A Perspective. |
FME |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Ing Widya, Gert-Jan van der Heijden |
Towards an Implementation-oriented Specification of TP Protocol in LOTOS. |
FME |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Colin J. Fidge |
Real-Time Refinement. |
FME |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Sam Owre, John M. Rushby, Natarajan Shankar, Friedrich W. von Henke |
Formal Verification for Fault-Tolerant Architectures: Some Lessons Learned. |
FME |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Nigel Ward |
Adding Specification Constructors to the Refinement Calculus. |
FME |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Kai Engelhardt, Willem P. de Roever |
Generalizing Abadi & Lamport's Method to Solve a Problem Posed by A. Pnueli. |
FME |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Thomas Günther, Klaus-Dieter Schewe, Ingrid Wetzel |
On the Derivation of Executable Database Programs from Formal Specifications. |
FME |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Farn Wang, Aloysius K. Mok, E. Allen Emerson |
Symbolic Model Checking for Distributed Real-Time Systems. |
FME |
1993 |
DBLP DOI BibTeX RDF |
|