Compilers: principles, techniques, and tools
Compilers: principles, techniques, and tools
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
Statecharts: A visual formalism for complex systems
Science of Computer Programming
Formal methods for the specification and design of real-time safety critical systems
Journal of Systems and Software
Specifying Message Passing and Time-Critical Systems with Temporal Logic
Specifying Message Passing and Time-Critical Systems with Temporal Logic
Formal Methods: Promises and Problems
IEEE Software
Hi-index | 0.00 |
As the requirements for system analysis and design become more complex, the need for a natural, yet formal way of specifying system analysis findings and design decisions are becoming more pressing. We propose the Object-Process Language as a textual natural language means for systems specification that is complementary to the graphic description through Object-Process Diagrams.