Measuring and Analyzing Real-Time Performance
IEEE Software
Developing Real-Time Tasks With Predictable Timing
IEEE Software
An Accurate Worst Case Timing Analysis for RISC Processors
IEEE Transactions on Software Engineering
FME '93 Proceedings of the First International Symposium of Formal Methods Europe on Industrial-Strength Formal Methods
Adding Real Time to Formal Program Development
FME '94 Proceedings of the Second International Symposium of Formal Methods Europe on Industrial Benefit of Formal Methods
Integrating Real-Time Scheduling Theory and Program Refinement
FME '96 Proceedings of the Third International Symposium of Formal Methods Europe on Industrial Benefit and Advances in Formal Methods
Refinement of Parallel and Reactive Programs
Refinement of Parallel and Reactive Programs
Coercing real-time refinement: a transmitter
1FACS'96 Proceedings of the 1st BCS-FACS conference on Northern Formal Methods
Blending Object-Z and Timed CSP: an introduction to TCOZ
Proceedings of the 20th international conference on Software engineering
IEEE Transactions on Software Engineering
Software Engineering for Parallel and Distributed Systems: Callenges and Opportunities
IEEE Parallel & Distributed Technology: Systems & Technology
Evaluating real-time software specification languages
Computer Standards & Interfaces
Software development: processes and performance
IBM Systems Journal
| Hi-index | 0.00 |
The Quartz method treats time and functional behavior with equal importance in the development process. By modeling program development in a unified framework, argue the authors, we can increase our confidence in the correctness of real-time, concurrent code.