File servers for network-based distributed systems
ACM Computing Surveys (CSUR)
Formal models of stepwise refinements of programs
ACM Computing Surveys (CSUR)
IEEE Transactions on Software Engineering
The art of computer programming, volume 3: (2nd ed.) sorting and searching
The art of computer programming, volume 3: (2nd ed.) sorting and searching
The new math of computer programming
Communications of the ACM
Princples of Computer Programming
Princples of Computer Programming
A Management Tool for Evaluation of Software Design
IEEE Transactions on Software Engineering
Systematic Formulation of Non-Functional Characteristics of Software
ICRE '98 Proceedings of the 3rd International Conference on Requirements Engineering: Putting Requirements Engineering to Practice
Putting non-functional requirements into software architecture
IWSSD '98 Proceedings of the 9th international workshop on Software specification and design
| Hi-index | 0.00 |