Information-flow and data-flow analysis of while-programs
ACM Transactions on Programming Languages and Systems (TOPLAS)
Program testing by specification mutation
Computer Languages
Software Engineering Journal - Special issue on Mascot 3
STATEMATE: A Working Environment for the Development of Complex Reactive Systems
IEEE Transactions on Software Engineering
The Z notation: a reference manual
The Z notation: a reference manual
Foundations for the study of software architecture
ACM SIGSOFT Software Engineering Notes
HRT-HOOD: a structured design method for hard real-time systems
Real-Time Systems
Fixed priority pre-emptive scheduling: an historical perspective
Real-Time Systems - Special issue: history of real-time systems
Software architecture: perspectives on an emerging discipline
Software architecture: perspectives on an emerging discipline
Software architecture in practice
Software architecture in practice
Reusing single system requirements from application family requirements
Proceedings of the 21st international conference on Software engineering
Comparing Architectural Design Styles
IEEE Software
Commonality and Variability in Software Engineering
IEEE Software
Priority Inheritance Protocols: An Approach to Real-Time Synchronization
IEEE Transactions on Computers
Putting fixed priority scheduling theory into engineering practice for safety critical applications
RTAS '96 Proceedings of the 2nd IEEE Real-Time Technology and Applications Symposium (RTAS '96)
Towards Industrially Applicable Formal Methods: Three Small Steps, and One Giant Leap
ICFEM '98 Proceedings of the Second IEEE International Conference on Formal Engineering Methods
Layered architecture(s): principles and practice in concurrent and distributed systems
ECBS'97 Proceedings of the 1997 international conference on Engineering of computer-based systems
A tactic language for reasoning about Z specifications
3FACS'98 Proceedings of the 3rd BCS-FACS conference on Northern Formal Methods
Hi-index | 0.00 |