Functional documents for computer systems
Science of Computer Programming
Deriving specifications from requirements: an example
Proceedings of the 17th international conference on Software engineering
Four dark corners of requirements engineering
ACM Transactions on Software Engineering and Methodology (TOSEM)
The Village Telephone System: A Case Study in Formal Software Engineering
Proceedings of the 11th International Conference on Theorem Proving in Higher Order Logics
Hi-index | 0.00 |