Title: Papers on system design and software engineering