Petri nets: an introduction
Communicating sequential processes
Communicating sequential processes
Executing temporal logic programs
Executing temporal logic programs
Safety analysis of timing properties in real-time systems
IEEE Transactions on Software Engineering - Special issue on reliability and safety in real-time process control
Systematic software development using VDM
Systematic software development using VDM
Temporal logic for real time systems
Temporal logic for real time systems
Predicate calculus and program semantics
Predicate calculus and program semantics
Modeling and Verification of Time Dependent Systems Using Time Petri Nets
IEEE Transactions on Software Engineering
Rule-Based Design Methodology for Solving Control Problems
IEEE Transactions on Software Engineering
Larch: languages and tools for formal specification
Larch: languages and tools for formal specification
A specification-oriented semantics for the refinement of real-time systems
Theoretical Computer Science
Communicating sequential processes
Communications of the ACM
The B Language and Method: A Guide to Practical Formal Development
The B Language and Method: A Guide to Practical Formal Development
Communication and Concurrency
A Discipline of Programming
A Formal Method for Software Maintenance
ICSM '96 Proceedings of the 1996 International Conference on Software Maintenance
An Overview of Temporal and Modal Logic Programming
ICTL '94 Proceedings of the First International Conference on Temporal Logic
TAM: A Formal Framework for the Development of Distributed Real-Time Systems
Proceedings of the Second International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems
Strongest postcondition semantics as the formal basis for reverse engineering
WCRE '95 Proceedings of the Second Working Conference on Reverse Engineering
Using ITL and Tempura for Large-Scale Specification and Simulation
PDP '96 Proceedings of the 4th Euromicro Workshop on Parallel and Distributed Processing (PDP '96)
A Method for Recovery and Maintenance of Software Architecture
PSI '02 Revised Papers from the 4th International Andrei Ershov Memorial Conference on Perspectives of System Informatics: Akademgorodok, Novosibirsk, Russia
Support software evolution with abstration rules and programming knowledge patterns
Focus on computational neurobiology
Hi-index | 0.00 |
This paper presents a short review of formal methods and their use in the re-engineering of computing systems. Five classes of formal notations and theories, namely state/model-based, logic-based, algebraic-based, process algebra and net-based formalisms together with combined formalisms are considered, analyzed and compared. Conclusions obtained focus on proposing an approach to building a practical re-engineering system.