Domain-Specific Automatic Programming
IEEE Transactions on Software Engineering - Special issue on artificial intelligence and software engineering
IEEE Transactions on Software Engineering
IEEE Transactions on Software Engineering
TEDIUM and the software process
TEDIUM and the software process
Software engineering: a holistic view
Software engineering: a holistic view
Object-oriented software construction (2nd ed.)
Object-oriented software construction (2nd ed.)
The operational versus the conventional approach to software development
Communications of the ACM
A technique for software module specification with examples
Communications of the ACM
On the criteria to be used in decomposing systems into modules
Communications of the ACM
The structure of the “THE”-multiprogramming system
Communications of the ACM
Logical Construction of Systems
Logical Construction of Systems
Domain Analysis and Software Systems Modeling
Domain Analysis and Software Systems Modeling
The Specification of Complex Systems
The Specification of Complex Systems
Structured Analysis and System Specification
Structured Analysis and System Specification
Zero-interaction authentication
Proceedings of the 8th annual international conference on Mobile computing and networking
Outbound Authentication for Programmable Secure Coprocessors
ESORICS '02 Proceedings of the 7th European Symposium on Research in Computer Security
SAFE-OPS: An approach to embedded software security
ACM Transactions on Embedded Computing Systems (TECS)
Protecting file systems with transient authentication
Wireless Networks
Establishing the genuinity of remote computer systems
SSYM'03 Proceedings of the 12th conference on USENIX Security Symposium - Volume 12
Trusted Computing: Security and Applications
Cryptologia
Foundations of security analysis and design IV
| Hi-index | 48.22 |