BITS: a smartcard protected operating system

This publication has 10 references indexed in Scilit:

• Representing open requirements with a fragment-based specification
  IEEE Transactions on Systems, Man, and Cybernetics, 1993
• No Silver Bullet Essence and Accidents of Software Engineering
  Computer, 1987
• Domain-Specific Automatic Programming
  IEEE Transactions on Software Engineering, 1985
• The operational versus the conventional approach to software development
  Communications of the ACM, 1984
• Software Technology in the 1990's: Using a New Paradigm
  Computer, 1983
• PSL/PSA: A Computer-Aided Technique for Structured Documentation and Analysis of Information Processing Systems
  IEEE Transactions on Software Engineering, 1977
• Structured design
  IBM Systems Journal, 1974
• On the criteria to be used in decomposing systems into modules
  Communications of the ACM, 1972
• A technique for software module specification with examples
  Communications of the ACM, 1972
• The structure of the “THE”-multiprogramming system
  Communications of the ACM, 1968